写点什么

Rust 新增存在类型支持

  • 2018-05-31
  • 本文字数:1093 字

    阅读完需:约 4 分钟

看新闻很累?看技术新闻更累?试试下载 InfoQ 手机客户端,每天上下班路上听新闻,有趣还有料!

Rust 1.26 版本增加“存在类型(existential type)”支持、改进后的 match绑定、切片模式及一些实用的语法糖。Rust 编译器也变得更快了,并且支持 128 位整数了。

存在类型是通过impl Trait实现的。这使得开发人员可以指定函数的返回类型,而不必指出具体是哪一种类型。例如:

复制代码
fn foo() -> impl Trait {
// ...
}

在上述代码中,foo被声明为一个函数,它的返回类型实现了“特型(trait)”Trait,而不是具体的类型。这和下面的声明有些类似:

复制代码
fn foo() -> Box<Trait> {
// ...
}

不过,使用Box<Trait>意味着动态分配,我们并非总是希望或需要这样,而impl Trait确保了静态分配。这种方法使foo仅能返回同样的类型。此外,impl Trait语法的胶水代码更少,如下例所示:

复制代码
trait Trait {
fn method(&self);
}
impl Trait for i32 {
// 在这里实现
}
impl Trait for f32 {
// 在这里实现
}
fn new_foo() -> impl Trait {
5 // 我们可以仅返回一个 i32 类型的值
}
fn old_foo() -> Box<Trait> {
Box::new(5) as Box<Trait> // 这很繁琐
}

在定义返回闭包的函数时,新的impl Trait语法就格外亮眼了,它实现了特型Fn

复制代码
fn foo() -> impl Fn(i32) -> i32 {
|x| x + 1
}

impl Trait语法还可以用于替代泛型类型的声明,如下例所示,虽然在这种情况下,它定义了一个通用类型,而不是存在类型:

复制代码
// 之前
fn foo<T: Trait>(x: T) {
// 之后
fn foo(x: impl Trait) {

不管是对有经验的程序员而言,还是对 Rust 编程新手而言,另外一项改进都减轻了他们的工作,那就是更为智能的match绑定,它所需要的对编译器内部构件的了解少了。例如,下面的代码现在合法了:

复制代码
fn hello(arg: &Option<String>) {
match arg {
Some(name) => println!("Hello {}!", name),
None => println!("I don't know who you are."),
}
}

在 Rust 之前的版本中,你应该需要添加一些样板文件来满足编译器的需要,即使你的匹配意图很明确:

复制代码
match arg {
&Some(ref name) => println!("Hello {}!", name),
&None => println!("I don't know who you are."),
}
}

谈到匹配,Rust 1.26 还支持数组切片匹配,如下例所示:

复制代码
fn foo(s: &[u8]) {
match s {
[1, x] => "Starts with one and has 2 elements",
[a, b, c] => "Has three elements",
_ => "Everything else",
}
}

Rust 1.26 还提供了两个相对较小的特性,一个是从main返回Result,一个是定义闭区间,如1..=3

要了解 Rust 1.26 的所有新增特性,请查阅官方发布说明

查看英文原文 Rust Has Got Existential Types

2018-05-31 12:151669
用户头像

发布了 1008 篇内容, 共 384.4 次阅读, 收获喜欢 342 次。

关注

评论

发布
暂无评论
发现更多内容

ISDP发布伙伴体验中心正式发布,华为盛邀伙伴探索数智化未来

轶天下事

一个屋子里必须要有多少人,才能让某人和你生日相同的概率至少为1/2? 必须要有多少人,才能让至少两个人生日为 7月 4 日的概率大于 1/2?

福大大架构师每日一题

ChatGPT 福大大架构师每日一题

软件测试 | Selenium基础

测吧(北京)科技有限公司

测试

C语言编程—递归

芯动大师

递归 C语言 6 月 优质更文活动

2023-06-11:redis中,如何在100个亿URL中快速判断某URL是否存在?

福大大架构师每日一题

redis 福大大架构师每日一题

微服务容器化的运维

穿过生命散发芬芳

微服务 6 月 优质更文活动

PoseiSwap的趋势性如何体现?

大瞿科技

企业作业数字化转型,选择平台要重点考虑哪几点?选哪个平台?

轶天下事

C语言编程—递归

夜猫西街

企业作业数字化转型需要什么工具,华为ISDP有话说

轶天下事

软件测试 | Selenium-RC工作原理

测吧(北京)科技有限公司

测试

Docker化Spring Boot应用

越长大越悲伤

Docker Docker Swarm

PoseiSwap的趋势性如何体现?

西柚子

Sparkplug 规范中涉及 MQTT Broker 的 5 个关键概念

EMQ映云科技

通信协议 mqtt 工业物联网

分布式流处理组件-理论篇:Broker

谢先生F

kafka Java' 分布式消息流平台

Nautilus Chain全球行分享会,上海站圆满举办

西柚子

ISDP发布伙伴体验中心,与合作伙伴共创数智化未来

轶天下事

深度学习应用篇-计算机视觉-OCR光学字符识别[7]:OCR综述、常用CRNN识别方法、DBNet、CTPN检测方法等、评估指标、应用场景

汀丶人工智能

人工智能 深度学习 计算机视觉 OCR 6 月 优质更文活动

深度学习应用篇-计算机视觉-视频分类[8]:时间偏移模块(TSM)、TimeSformer无卷积视频分类方法、注意力机制

汀丶人工智能

人工智能 深度学习 计算机视觉 视频分类 6 月 优质更文活动

C语言编程—错误处理

芯动大师

C语言 错误 6 月 优质更文活动

用Python白嫖WPS付费功能:把PPT转为 1张 长图,1行代码搞定

程序员晚枫

Python 图片 PPT

华为云618活动来袭,精选CDN和视频云产品限时低价秒杀0.6折起

轶天下事

一些对程序员有用的网站

小万哥

程序员 程序人生 运维 前端 后端

PoseiSwap的趋势性如何体现?

BlockChain先知

PoseiSwap的趋势性如何体现?

鳄鱼视界

Service Mesh的主要实现原理

穿过生命散发芬芳

Service Mesh 6 月 优质更文活动

关于验收标准,你需要知道的一切(译)

Bruce Talk

Scrum 敏捷

STM32读取MQ2烟雾浓度数据判断烟雾是否超标

DS小龙哥

6 月 优质更文活动

PoseiSwap的趋势性如何体现?

股市老人

PoseiSwap的趋势性如何体现?

威廉META

Rust新增存在类型支持_语言 & 开发_Sergio De Simone_InfoQ精选文章