当前位置：首页 > article >正文

2311rust,到38版本更新

article 2024/12/27 5:40:25

`1.35.0`稳定版

此版本亮点是分别为Box<dyn FnOnce>,Box<dyn FnMut>和Box<dyn Fn>实现了FnOnce,FnMut和Fn闭包特征.
此外,现在可按不安全的函数指针转换闭包.现在也可无参调用dbg!.

为`Box<dyn Fn>`实现`Fn`装饰特征.

以前,如果要调用在盒子闭包中存储的函数,因为Box<dyn FnOnce>等实例没有实现相应的Fn*特征,则必须使用FnBox.

此版本中,可使用盒子函数.
以下代码现在可工作了:

fn foo(x: Box<dyn Fn(u8) -> u8>) -> Vec<u8> {
    vec![1, 2, 3, 4].into_iter().map(x).collect()
}

此外,现在可直接调用Box<dyn FnOnce>对象:

fn foo(x: Box<dyn FnOnce()>) {
    x()
}

强制`闭包`为不安全的`fn`指针

从Rust1.19.0开始,可把未从环境中抓的闭包转换为函数指针.如,可编写:

fn twice(x: u8, f: fn(u8) -> u8) -> u8 {
    f(f(x))
}
fn main() {
    assert_eq!(42, twice(0, |x| x + 21));
}

但是,并未扩展到不安全函数指针.有了该版本的Rust,现在可以这样做了.如:

//安全不变量是传递的"`不安全 fn"`指针的不变量.
unsafe fn call_unsafe_fn_ptr(f: unsafe fn()) {
    f()
}
fn main() {
    //安全性:没有不变量.装饰静态禁止不安全.
    unsafe {
        call_unsafe_fn_ptr(|| {
            dbg!();
        });
    }
}

无参调用`dbg!()`

该宏允许用环境快速检查某些式的值.如,运行时:

fn main() {
    let mut x = 0;
    if dbg!(x == 1) {
        x += 1;
    }
    dbg!(x);
}
...会看见:
[src/main.rs:4] x == 1 = false
[src/main.rs:8] x = 0

如上,调用call_unsafe_fn_ptr高级函数,现在也可不传递参数调用dbg!.在跟踪应用选取分支时非常有用.如,用:

fn main() {
    let condition = true;
    if condition {
        dbg!();
    }
}
 ...你会看到:
[src/main.rs:5]

稳定库

复制浮点数的A符号到B符号上
本版本中,已添加copysign新方法到f32和f64浮点原语类型中:

f32::copysign
f64::copysign

即,可用它复制A数字的符号到B数字上.如:

fn main() {
    assert_eq!(3.5_f32.copysign(-0.42), -3.5);
}

检查`Range`是否包含值

Rust1.35.0在Range类型上包含了一些新创建方法:

Range::contains
RangeFrom::contains
RangeTo::contains
RangeInclusive::contains
RangeToInclusive::contains

现在,可轻松检查给定值是否在某个域内.如,可编写:

fn main() {
    if (0..=10).contains(&5) {
        println!("Five is included in zero to ten.");
    }
}

把借用的`RefCell`值映射并拆分为`两部分`

现在可为借入数据的不同组件,映射并拆分多个借用值,来借用RefCell值:

Ref::map_split
RefMut::map_split

通过闭包替换`RefCell`的值

在RefCell上replace_with的方便方法:

RefCell::replace_with

有了它,可舒适映射和替换单元格的当前值,并因取回旧值.

按地址(而不是值)哈希处理指针或引用

引入了:

ptr::hash

此函数取原始指针并哈希处理它.使用ptr::hash,可避免哈希引用值,而是哈希地址.

复制`Option<&T>`的内容

从Rust1.0.0开始,Option<&T>的Option::cloned方法和Option<&mutT>就允许你在Some(_)时克隆内容.
然而,克隆有时很贵,而opt.cloned()方法没有提供提示.
在该版本的Rust中:
对Option<&T>和Option<&mut;T>,引入了Option::copied.
opt.copied()的功能与opt.cloned()的功能相同.但是,调用该方法需要T:Copy.使用此方法,可确保在T不再实现Copy时,代码停止编译.

更改`Clippy`

Clippy添加了一个新的drop_bounds检查.把绑定的T:Drop添加到泛型函数时,会触发此检查.如:

fn foo<T: Drop>(x: T) {}

绑定T:Drop几乎总是个错误,因为它排除了有很简单胶水的u8等类型.此外,T:Drop并没有直接考虑像String类没有有趣析构器行为的类型,而是按嵌入类型(如Vec<u8>)等有有趣的析构器行为.

除了drop_bounds之外,此版本的Clippy还将lintredundant_closure拆分为redundant_closure和redundant_closure_for_method_calls.

`1.36.0`稳定版

在Rust1.36.0中,稳定了Future!

稳定了未来,给重要的crate,库和生态系统时间来准备async/.await.
alloc是稳定的
在1.36.0之前,标准库由std,core和proc_macro仓库组成.核心仓库提供了Iterator和Copy等核心功能,也可在#![no_std]环境中用,因为它没有强加要求.

同时,std仓库提供了Box<T>和OS功能等类型,但要求全局分配器和其他OS功能为基础.

从Rust1.36.0开始,依赖全局分配器的std部分,如Vec<T>,现在可在alloc仓库中使用.
然后,标准仓库会重新导出这些部件.虽然#![no_std]使用alloc的二进制文件仍需要每晚的Rust,#![no_std]库可在稳定的Rust中使用alloc仓库.

同时,普通没有#![no_std]的二进制文件,可依赖此仓库.来支持用alloc支持#![no_std].

#![no_std]
extern crate alloc;
use alloc::vec::Vec;

`MaybeUninit<T>`而不是`mem::uninitialized`

已稳定下来MaybeUninit<T>类型.它不应假设MaybeUninit<T>是正确初化的T.

因此,可更安全地渐进式初化,并在确定maybe_t:MaybeUninit<T>包含初化的T后最终使用.assume_init().

因为MaybeUninit<T>更安全,将弃用mem::uninitialized函数.

`Rust2015`的`NLL`

如,你现在可编写:

fn main() {
    let mut x = 5;
    let y = &x;
    let z = &mut x; //在`1.31.0`之前禁止这样做.
}

新的`HashMap<K,V>`实现

基于SwissTable设计的hashbrown中的实现已取代HashMap<K,V>的实现.虽然接口相同,但HashMap<K,V>实现,现在平均速度更快,内存成本更低.

新的Cargo标志已稳定:--offline.

更改库

dbg!宏现在支持多个参数.
此外,多个API变成常:

Layout::from_size_align_unchecked
mem::needs_drop
NonNull::dangling
NonNull::cast

新的API已稳定,包括:
1,task::Waker和task::Poll
2,VecDeque::rotate_left和VecDeque::rotate_right
3,Read::read_vectored和Write::write_vectored
4,Iterator::copied
5,串的BorrowMut<str>
6,str::as_mut_ptr

`1.37.0`稳定版

通过类型别名引用枚举变体

现在可用类型别名来引用枚举变体.如:

type ByteOption = Option<u8>;
fn increment_or_zero(x: ByteOption) -> u8 {
    match x {
        ByteOption::Some(y) => y + 1,
        ByteOption::None => 0,
    }
}

实现中,Self行为类似类型别名.因此,现在也可用Self::Variant来引用枚举变体:

impl Coin {
    fn value_in_cents(&self) -> u8 {
        match self {
            Self::Penny => 1,
            Self::Nickel => 5,
            Self::Dime => 10,
            Self::Quarter => 25,
        }
    }
}

Rust现在允许通过"类型相关解析来引用枚举变体.

对宏使用未命名的`const`项

现在,可用_创建无名常量项.如,在rustc编译器中,发现:

///类型大小断定,第一个参数是类型,第二个参数是期望大小.
#[macro_export]
macro_rules! static_assert_size {
    ($ty:ty, $size:expr) => {
        const _: [(); $size] = [(); ::std::mem::size_of::<$ty>()];
        //注意此处的下划线.
    }
}
static_assert_size!(Option<Box<String>>, 8); //1.
static_assert_size!(usize, 8); //2.

注意第二个static_assert_size!(..):因为使用了无名常量,可在无名字冲突时,定义新项目.

按配置文件优化

rustc编译器现在通过-C profile-generate和-C profile-use标志支持按配置文件优化(PGO).
PGO允许编译器根据实际工作负载来优化代码.工作原理是编译器分两步优化:
1,首先,通过传递-C profile-generate标志给rustc来,用编译器插入的检测来构建程序.
然后,对示例数据运行检测程序,并写入配置文件.
2,然后,再次构建程序,这次使用-Cprofile-use标志收集的分析数据喂给rustc.使编译器更好放置代码,内联和其他优化.

在[package]部分中声明键时,如果未传递--bin标志,cargo run默认为选二进制文件.

在枚举上`#[repr(align(N))]]`

#[repr(align(N))]属性可用来提高类型定义的对齐方式.以前,只允许在结构和联上使用该属性.现在也可在枚举中定义.

如,Align16类型期望按16位对齐,而没有#[repr(align(16))]的自然对齐方式将为4:

#[repr(align(16))]
enum Align16 {
    Foo { foo: u32 },
    Bar { bar: u32 },
}

在枚举上使用#[repr(align(N))的语义与定义有该对齐的包装结构AlignN<T>然后使用AlignN<MyEnum>的语义相同:

#[repr(align(N))]
struct AlignN<T>(T);

更改库

稳定了许多标准库:

BufReader::buffer和BufWriter::buffer
Cell::from_mut
Cell::as_slice_of_cells
DoubleEndedIterator::nth_back
Option::xor
{i,u}{8,16,32,64,128,size}::reverse_bits and Wrapping::reverse_bits
slice::copy_within