1.76.0稳定版

此版本较小

ABI兼容更新

函数指针文档中新增的ABI兼容部分介绍了函数签名与ABI兼容的意义.大部分是参数类型和返回类型的兼容,及在当前Rust中兼容的列表.文档仅描述现有兼容的状态.

一个新增功能是,现在保证符和u32是ABI兼容的.它们一直有相同大小和对齐方式,但现在即使在调用函数的ABI中,与上面文档一致,它们也是等价的.

引用中的类型名

为了调试,从Rust1.38开始,就可用any::type_name::<T>()返回T类型的串描述,但这需要一个显式的类型参数.
指定该类型会有点难,尤其是对无法命名的类型(如闭包)或不透明的返回类型.

新的any::type_name_of_val(&T)可从类型引用中取描述性名字.

fn get_iter() -> impl Iterator<Item = i32> {[1, 2, 3].into_iter()
}
fn main() {let iter = get_iter();let iter_name = std::any::type_name_of_val(&iter);let sum: i32 = iter.sum();println!("The sum of the `{iter_name}` is {sum}.");
}

当前打印:
'core::array::iter::IntoIter<i32,3>'的和是6.

稳定的API

Arc::unwrap_or_clone
Rc::unwrap_or_clone
Result::inspect
Result::inspect_err
Option::inspect
type_name_of_val
ptr::{from_ref, from_mut}
ptr::addr_eq

std::hash::{DefaultHasher,RandomState}这些以前只能通过std::collections::hash_map取得.

1.77.0稳定版

此版本较小.

C串字面

Rust现在支持在&'static CStr内存类型中,扩展到按nul字节终止的串的的C串字面(c"abc").这样更易编写与需要nul结尾串的外部接口互操作的代码,并在编译时检查所有相关的错误(如,缺少内部nul字节).

支持异步fn中的递归

因为编译器限制,以前异步函数无法调用自身.在1.77中,已取消该限制,因此只要使用间接以避免无穷大小的函数状态,就允许递归调用.
即像此代码现在可以工作了:

async fn fib(n: u32) -> u32 {match n {0 | 1 => 1,_ => Box::pin(fib(n-1)).await + Box::pin(fib(n-2)).await}
}

offset_of!

对构字段,1.77.0稳定了可访问结构的相关公字段的字节偏移的offset_of!.当在没有类型的现成实例,但需要字段的偏移时,此宏最有用.

用户现在可用offset_of!(StructName, field)访问公字段的偏移,它从结构开头开始按字节用偏移扩展到usize式.

默认,在发布配置文件中允许去掉

未在输出中允许调试信息的cargo配置文件(如,debug=0)默认允许strip="debuginfo".

主要是因为(预编译的)标准库附带了调试信息,即即使本地编译没有显式请求调试信息,但静态链接的结果包含了标准库的调试信息.
需要调试信息的用户可用相关Cargo配置文件中的调试标志显式允许它.

Stabilized APIs
array::each_ref
array::each_mut
core::net
f32::round_ties_even
f64::round_ties_even
mem::offset_of!
slice::first_chunk
slice::first_chunk_mut
slice::split_first_chunk
slice::split_first_chunk_mut
slice::last_chunk
slice::last_chunk_mut
slice::split_last_chunk
slice::split_last_chunk_mut
slice::chunk_by
slice::chunk_by_mut
Bound::map
File::create_new
Mutex::clear_poison
RwLock::clear_poison

1.78.0稳定版

诊断属性

Rust现在支持#[diagnostic]属性名字空间,来影响编译器错误消息.按不要求编译器用的提示对待这些,提供编译器无法识别的诊断也不是错误.

该灵活性使得即使并非所有,无论是不同版本还是完全不同实现的编译器,都支持它们,源码提供诊断.

此名字空间带有第一个支持的#[diagnostic::on_unimplemented]属性,需要该特征但尚未在类型上实现时,可在特征上放置它以自定义消息.

考虑稳定化拉请中给出的示例:

#[diagnostic::on_unimplemented(message = "My Message for `ImportantTrait<{A}>` is not implemented for `{Self}`",label = "My Label",note = "Note 1",note = "Note 2"
)]
trait ImportantTrait<A> {}
fn use_my_trait(_: impl ImportantTrait<i32>) {}
fn main() {use_my_trait(String::new());
}

以前,编译器会给出如下内置错误:
错误[E0277]:不满足'String:ImportantTrait<i32>'的特征约束.
–>src/main.rs:12:18
|
12|use_my_trait(String::new());
|------------^^^^^^^^^^^^^未为'串'实现'ImportantTrait<i32>'特征
|此调用引入的约束的必需.

使用#[diagnostic::on_unimplemented],其自定义消息填充主错误行,在源输出上放置其自定义标签.仍按帮助输出写入原标签,且也会写入自定义注解.

这些确切细节可能会变化.
错误[E0277]:未为'串'实现'ImportantTrait<i32>'的消息
–>src/main.rs:12:18
|
12|use_my_trait(String::new());
|------------^^^^^^^^^^^^^我的标签
|由此调用引入的约束必需
=帮助:未为'串'实现'ImportantTrait<i32>'特征
=注:注1
=注:注2

对特征作者来说,如果可提供更好的提示,而不仅是谈论缺失的实现自身,则该诊断会更有用.如,这是标准库中的删节示例:

#[diagnostic::on_unimplemented(message = "the size for values of type `{Self}` cannot be known at compilation time",label = "doesn't have a size known at compiletime"
)]
pub trait Sized {}

断定不安全的前提条件

Rust标准库有许多不安全函数的前提条件的断定,但历史上它们只在标准库的#[cfg(debug_assertions)]构建中允许,以避免影响发布性能.

然而,因为一般是在发布模式下编译和分发的标准库,因此大多数Rust开发者并不检查这些.

现在,延迟到生成代码,才执行这些断定的条件,因此根据用户自己的设置来检查调试断定,在调试和测试构建中默认允许.

尽管检查的量的细节一般不稳定,此更改可帮助用户在其代码中抓未定义行为.

如,slice::from_raw_parts要求一个对齐的非无效指针.以下故意的未对齐指针有未定义行为,虽然如果你运气不佳,在过去可能"有效",但调试断定现在可以抓住它:

fn main() {let slice: &[u8] = &[1, 2, 3, 4, 5];let ptr = slice.as_ptr();//从对齐总是与`'u16'`的正确方式相差1个的`'针'`创建一个偏移let i = usize::from(ptr as usize & 1 == 0);let slice16: &[u16] = unsafe { std::slice::from_raw_parts(ptr.add(i).cast::<u16>(), 2) };dbg!(slice16);
}

在library/core/src/panicking.rs:220:5处'main'线程出现紧急情况:
违反了不安全的前提条件:slice::from_raw_parts要求指针对齐且非无效,且切片的总大小不超过'isize::MAX'

注意:使用'RUST_BACKTRACE=1'环境变量运行以显示追踪追踪
线程导致非展开崩溃.中止.

确定性重新对齐

标准库有一些可改变指针和切片的对齐方式的函数,但是如果严格遵守他们的文档,它们以前有一些注意,这样,实际上难以依赖它们.

这些警告主要是为了对冲常求值,但,它们只对非常使用是稳定的.现在,他们承诺根据其实际输入,有一致的运行时行为.

pointer::align_offset计算,要按给定对齐更改指针需要的偏移.如果不行,它会返回usize::MAX,但以前允许总是返回usize::MAX,现在已删除该行为.

slice::align_to和slice::align_to_mut都按对齐的中间切片和剩余的未对齐的头和尾切片转换切片.

这些方法现在承诺返回尽量大的中间部分,而不是允许实现返回次优的,如按头片返回所有内容.
稳定的API
对多个std::error::Error,接受相关实现的非'static生命期

impl Read for &Stdin
Makeimpl<Fd:AsFd>impltakeSized
implFrom<TryReserveError>forio::Error

这些API现在在常环境中是稳定的:
Barrier::new()

兼容说明

如前,Rust1.78已要求其最低提高到窗口10,以实现以下目标:

x86_64-pc-windows-msvc
i686-pc-windows-msvc
x86_64-pc-windows-gnu
i686-pc-windows-gnu
x86_64-pc-windows-gnullvm
i686-pc-windows-gnullvm

Rust1.78的LLVM已升级到18版本,完成了已声明的针对x86-32和x86-64目标的u128/i128ABI更改.

1.79.0稳定版

内联常式

常{...}块现在在式位置上是稳定的,允许无需额外的声明(如,在特征上定义常项或关联的常)的,显式进入常环境.

与常项(const ITEM:...=...)不同,内联常可使用域内的泛型,并推导其类型而不是显式写出来,这样,对内联代码片特别有用.如,像此模式:

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]
}

这样,代码更加简洁并易于阅读.

关联类型位置的约束

Rust1.79稳定了关联项的约束语法,这允许在其他约束内的关联类型位置中放置约束,即T:Trait<Assoc:Bounds...>.

这样就不需要显式泛型类型来约束关联类型.

此功能允许在一些以前不可能或要施加额外,不必要的限制的地方,指定约束:
where子句,在此,相当于将约束分割为两个(或多个),where子句.
如,where T:Trait<Assoc:Bound>等价于where T:Trait,<T as Trait>::Assoc:Bound.

1,超级特征,与where子句不同,使用特征时,通过新语法隐式指定约束.示例语法:

trait CopyIterator: Iterator<Item: Copy> {}

2,关联类型项约束,允许约束与特征的关联类型关联的嵌套刚性投影.如,

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

3,不透明类型约束(RPIT,TAIT),允许无需命名不透明类型,约束与不透明类型关联的关联类型.如,impl Iterator<Item:Copy>定义一个项为复制的迭代器,不必实际将该项叫约束.

扩展自动临时生命期

现在在匹配和如构造中,自动扩展在构造中立即引用的临时的生命期.这与块结构中扩展临时对象的生命期一样.
如:

let a = if true {..;&temp() //过去错误,但现在扩展了生命期
} else {..;&temp() //过去错误,但现在扩展了生命期
};
//而
let a = match () {_ => {..;&temp() //过去错误,但现在扩展了生命期}
};

现在与之前行为一致:

let a = {..;&temp() //扩展生命期
};

因为这些程序过去编译失败,此行为后向兼容.

在标准库构建中允许帧指针

标准库现在使用-Cforce-frame-pointers=yes编译分发Rust项,使下游用户可更轻松地分析他们的程序.注意,尽管在Cargo的发布配置文件中默认去掉它,标准库还继续提供了行级调试信息(如,DWARF).

稳定的API

{integer}::unchecked_add
{integer}::unchecked_mul
{integer}::unchecked_sub
<[T]>::split_at_unchecked
<[T]>::split_at_mut_unchecked
<[u8]>::utf8_chunks
str::Utf8Chunks
str::Utf8Chunk
<*const T>::is_aligned
<*mut T>::is_aligned
NonNull::is_aligned
<*const [T]>::len
<*mut [T]>::len
<*const [T]>::is_empty
<*mut [T]>::is_empty
NonNull::<[T]>::is_empty
CStr::count_bytes
io::Error::downcast
num::NonZero<T>
path::absolute
proc_macro::Literal::byte_character
proc_macro::Literal::c_string

这些API现在在常环境中是稳定的:

Atomic*::into_inner
io::Cursor::new
io::Cursor::get_ref
io::Cursor::position
io::empty
io::repeat
io::sink
panic::Location::caller
panic::Location::file
panic::Location::line
panic::Location::column