Rust 1.79.0发布


Rust 1.79.0发布 ,此版本中的一些主要新功能和改进:

内联 const 表达式
内联表达式(例如块)现在在表达式位置上是稳定的,允许显式输入 const 上下文而无需额外声明。这使得涉及常量的代码更加简洁和可读,尤其是在通用上下文中。

以前:

const EMPTY: Option<Vec<u8>> = None;
let foo = [EMPTY; 100];

现在:

let foo = [const { None }; 100];

值得注意的是,这对于通用上下文也是如此,以前需要使用关联常量的详细特征声明:

fn create_none_array<T, const N: usize>() -> [Option<T>; N] {
    [const { None::<T> }; N]
}

这使得代码更加简洁,更易于阅读。


关联类型位置的Bound
Rust 1.79 稳定了在其他特征bound边界内直接指定关联类型边界bound的能力:
T: Trait<Assoc: Bounds...>

例如。这样就避免了仅仅为了约束关联类型而需要额外的泛型类型。

这一功能允许在一些地方指定界限,而在以前,这些地方要么是不可能的,要么是对使用施加了额外的、不必要的限制:

where 子句
在这个位置上,相当于将边界分成两个(或多个)where 子句。
例如,

where T:Trait<Assoc: Bound>

相当于
where T:Trait, <T as Trait>::Assoc: Bound


Supertraits 
与 where 子句不同,在使用trait 时,通过新语法指定的约束是隐含的。

语法示例:

trait CopyIterator: Iterator<Item: Copy> {}.


关联类型项边界(Associated type item bounds)
这允许对与 trait 关联类型相关联的嵌套刚性投影进行约束,例如

trait Trait { type Assoc: Trait2<Assoc2: Copy>; }


不透明类型边界(RPIT、TAIT)
可以约束与不透明类型相关联的关联类型,而无需命名不透明类型。例如, impl Iterator<Item:Copy> 定义了一个迭代器,它的项是 Copy,而无需实际命名该项绑定。

延长自动临时寿命延长
在构造中被立即引用的暂时项现在会在match 和 if 构造中自动进行生命周期扩展。这与块构造中暂时项的生命周期扩展行为相同。

if 构造

let a = if true {
    ..;
    &temp() // used to error, but now gets lifetime extended
} else {
    ..;
    &temp() // used to error, but now gets lifetime extended
};

match构造

let a = match () {
    _ => {
        ..;
        &temp() // used to error, but now gets lifetime extended
    }
};

现在

let a = {
    ..;
    &temp() // lifetime is extended
};

这种行为是向后兼容的,因为以前这些程序会出现编译失败。

为标准库启用框架指针
标准库现在默认编译时启用了框架指针,从而可以更轻松地分析使用它的程序。

Rust 项目发布的标准库现在在编译时使用了 -Cforce-frame-pointers=yes,这样下游用户就能更轻松地配置自己的程序。需要注意的是,标准库还会继续提供行级调试信息(如 DWARF),不过 Cargo 发布的配置文件默认会删除这些信息。