Rust 1.13 带来新的错误处理操作符,并改进了性能

  • 2016-11-17
  • 本文字数:1050 字

    阅读完需:约 3 分钟

在 1.13 版本中,Rust 核心团队的主要工作是通过引入新操作符?改进该语言的错误处理语法、优化编译时间以及新增对类型级宏的支持。

当本地策略是沿着调用链向上传播错误时,Rust 新操作符?可以简化错误处理。换句话说,如果你有一个可以返回错误的函数,那么你要使用类似下面这样的代码片段调用它,以防调用失败:

let result = foo();
let mut result = match result {
        Ok(val) => val,
        Err(e) => return Err(e),
}

// 或者,你可以使用try操作符

let mut result = try!(foo());

新操作符?可以看作是上述try语法的简写,可以让代码更简洁:

let mut result = foo()?;

新语法的好处是,让函数调用链更明显,如下所示:

try!(try!(try!(foo()).bar()).baz())

// 变成:

foo()?.bar()?.baz()?

据 Rust 核心团队介绍,操作符?被定义为一个 Rust 宏。关于 Rust 如何在不影响语言底层特性的情况下提供新的语法,这就是一个例子。

Rust 1.13 还对编译器进行了几项新的优化,可以在多个场景中将编译时间缩减 50%。下图就是个很好的说明,它展示了在 1.13 开发过程中编译时间在 Rust 基准测试中的变化:

在 9 月份,在其中两项基准测试中,编译时间出现了陡降,1 处是源自改进了关联类型的缓存,在此之前,每次需要它们时都要计算。

编译器的另一项改进是优化了函数内联处理,只有当Crate 真得调用了内联函数时才会进行。关于这项改进所带来的好处,有一个极端的例子是尚未发布的Crate winapi–0.3 ,因为这项改进,rustc 只会生成中间 MIR 表示供其他 Crate 使用,而不会生成任何机器代码。

要了解更多有关编译器的优化,请点击这里

Rust 1.13 还带来了其他一些值得注意的变化:

 macro_rules! Tuple { { $A:ty,$B:ty } => { ($A, $B) } }
 let x: Tuple!(i32, i32) = (1, 2);
 

当进行类型级编程(即计算类型)时,开发人员可以借此表示递归和选择。

 // 对单个语句应用 lint 属性
 #[allow(uppercase_variable)] let BAD_STYLE = List::new();  
 

除了 lint 属性外,开发人员还可以指定条件编译属性以及作为外部工具注解的自定义属性。

以 ARM 作为目标平台的开发人员应该注意,Rust 1.13 包含一个严重的代码生成Bug ,你们应该使用1.14 Beta 版。

在150 多名贡献者的努力下,Rust 1.13 还带来了许多其他的变化,感兴趣的读者可以阅读发布说明

查看英文原文 Rust 1.13 Brings New ? Error Handling Operator, Performance Improvements, and More