linuxsir首页 LinuxSir.Org | Linux、BSD、Solaris、Unix | 开源传万世,因有我参与欢迎您!
网站首页 | 设为首页 | 加入收藏
您所在的位置:主页 > Linux基础建设 >

Rust 1.26新增存在类型支持

时间:2018-06-04  来源:未知  作者:admin666

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

友情链接
  • Mozilla发布Firefox 67.0.4,修复沙箱逃逸漏洞
  • 蚂蚁金服正式成为CNCF云原生计算基金会黄金会员
  • Firefox 68将采用Microsoft BITS安装更新
  • OpenSSH增加对存储在RAM中的私钥的保护
  • 谷歌想实现自己的curl,为什么?
  • Raspberry Pi 4发布:更快的CPU、更大的内存
  • Firefox的UA将移除CPU架构信息
  • Ubuntu放弃支持32位应用程序实属乌龙,Steam会否重回Ubuntu怀抱
  • Qt 5.13稳定版发布:引入glTF 2.0、改进Wayland以及支持Lottie动
  • 红帽企业Linux 7现已内置Redis 5最新版
  • Slack进入微软内部禁用服务清单,GitHub也在其列?
  • 安全的全新编程语言V发布首个可用版本
  • Windows Terminal已上架,快尝鲜
  • 阿里巴巴微服务开源生态报告No.1
  • 面世两年,Google地球将支持所有基于Chromium的浏览器
  • 推进企业容器化持续创新,Rancher ECIC千人盛典完美收官
  • CentOS 8.0最新构建状态公布,或于数周后发布
  • Debian移植RISC
  • 微软拆分操作系统的计划初现雏形
  • Oracle发布基于VS Code的开发者工具,轻松使用Oracle数据库
  • Ubuntu 19.10停止支持32位的x86架构
  • 微软为Windows Terminal推出全新logo
  • 联想ThinkPad P系列笔记本预装Ubuntu系统
  • 微软发布适用于Win7/8的Microsoft Edge预览版
  • 启智平台发布联邦学习开源数据协作项目OpenI纵横
  • 经过六个多月的延迟,微软终于推出Hyper
  • ZFS On Linux 0.8.1 发布,Python可移植性工作
  • DragonFly BSD 5.6.0 发布,HAMMER2状态良好
  • Linux Kernel 5.2
  • CentOS 8.0 看起来还需要几周的时间
  • 百度网盘Linux版正式发布
  • PCIe 6.0宣布:带宽翻倍 狂飙至256GB/s
  • PHP 7.4 Alpha 发布,FFI扩展,预加载Opcache以获得更好的性能
  • Canonical将在未来的Ubuntu版本中放弃对32位架构的支持
  • Scala 2.13 发布,改进的编译器性能
  • 微软的GitHub收购了Pull Panda,并且使所有订阅完全免费
  • Windows Subsystem for Linux 2 (WSL 2)现在适用于Windows 10用
  • Debian 10 “Buster”的RISC
  • MariaDB宣布发布MariaDB Enterprise Server 10.4
  • DXVK 1.2.2 发布,带来微小的CPU开销优化
  • DragonFlyBSD 5.6 RC1 发布,VM优化,默认为HAMMER2
  • PrimeNG 8.0.0 发布,支持Angular 8,FocusTrap等
  • GIMP 2.10.12 发布,一些有用的改进
  • 清华大学Anaconda 镜像服务即将恢复
  • Debian GNU/Linux 10 “Buster” 操作系统将于2019年7月6日发布
  • 时时彩论坛
  • 五星体育斯诺克
  • 北单比分直播
  • 河北11选5走势图
  • 福建体彩36选7开奖结果
  • 九龙图库下载