diff --git a/src/SUMMARY.md b/src/SUMMARY.md index 4712f45e..74f19930 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -393,3 +393,5 @@ - [1.84](appendix/rust-versions/1.84.md) - [1.85](appendix/rust-versions/1.85.md) - [1.86](appendix/rust-versions/1.86.md) + - [1.87](appendix/rust-versions/1.87.md) + - [1.88](appendix/rust-versions/1.88.md) diff --git a/src/appendix/rust-versions/1.86.md b/src/appendix/rust-versions/1.86.md index 6a4b69ce..6af9186f 100644 --- a/src/appendix/rust-versions/1.86.md +++ b/src/appendix/rust-versions/1.86.md @@ -1,6 +1,6 @@ # Rust 新版解读 | 1.86 | Trait upcasting -> Rust 1.86 官方 release doc: [Announcing Rust 1.86.0 | Rust Blog](https://blog.rust-lang.org/2025/04/03/Rust-1.86.0.html) +> Rust 1.86 官方 release doc: [Announcing Rust 1.86.0 | Rust Blog](https://blog.rust-lang.org/2025/04/03/Rust-1.86.0/) 通过 [rustup](https://www.rust-lang.org/tools/install) 安装的同学可以使用以下命令升级到 1.86 版本: diff --git a/src/appendix/rust-versions/1.87.md b/src/appendix/rust-versions/1.87.md new file mode 100644 index 00000000..ee73ce35 --- /dev/null +++ b/src/appendix/rust-versions/1.87.md @@ -0,0 +1,127 @@ +# Rust 新版解读 | 1.87 | 十周年🎉 + +[Rust 1.0](https://blog.rust-lang.org/2015/05/15/Rust-1.0/) 十周年🎉 + +> Rust 1.87 官方 release doc: [Announcing Rust 1.87.0 | Rust Blog](https://blog.rust-lang.org/2025/05/15/Rust-1.87.0/) + +通过 [rustup](https://www.rust-lang.org/tools/install) 安装的同学可以使用以下命令升级到 1.87 版本: + +```shell +$ rustup update stable +``` + +## 匿名管道 + +1.87 版本为标准库添加了匿名管道支持,包括与 `std::process::Command` 输入/输出方法的集成。例如,现在可以相对简单地合并标准输出和标准错误流,如下所示,而过去需要额外线程或平台特定函数才能实现。 + +```rust +use std::process::Command; +use std::io::Read; + +let (mut recv, send) = std::io::pipe()?; + +let mut command = Command::new("path/to/bin") + // 标准输出和标准错误都会写入同一个管道,实现合并 + .stdout(send.try_clone()?) + .stderr(send) + .spawn()?; + +let mut output = Vec::new(); +recv.read_to_end(&mut output)?; + +// 必须在进程退出前读取管道内容,避免程序输出过多时填满系统缓冲区 +assert!(command.wait()?.success()); +``` + +## 安全的架构内置函数 + +大多数仅因需要启用目标特性而被标记为不安全的 `std::arch` 内置函数,现在可以在已启用相应特性的安全代码中调用。例如,以下使用手动内置函数实现数组求和的示例程序,现在核心循环可以使用安全代码。 + +```rust +#![forbid(unsafe_op_in_unsafe_fn)] + +use std::arch::x86_64::*; + +fn sum(slice: &[u32]) -> u32 { + #[cfg(target_arch = "x86_64")] + { + if is_x86_feature_detected!("avx2") { + // 安全性:我们已检测到运行时启用了该特性,因此调用此函数是安全的 + return unsafe { sum_avx2(slice) }; + } + } + + slice.iter().sum() +} + +#[target_feature(enable = "avx2")] +#[cfg(target_arch = "x86_64")] +fn sum_avx2(slice: &[u32]) -> u32 { + // 安全性:__m256i 和 u32 具有相同的有效性 + let (prefix, middle, tail) = unsafe { slice.align_to::<__m256i>() }; + + let mut sum = prefix.iter().sum::(); + sum += tail.iter().sum::(); + + // 在 1.87 中核心循环现在是完全安全的代码,因为内置函数要求与函数定义匹配的目标特性 (avx2) + let mut base = _mm256_setzero_si256(); + for e in middle.iter() { + base = _mm256_add_epi32(base, *e); + } + + // 安全性:__m256i 和 u32 具有相同的有效性 + let base: [u32; 8] = unsafe { std::mem::transmute(base) }; + sum += base.iter().sum::(); + + sum +} +``` + +## `asm!` 跳转到 Rust 代码 + +内联汇编 (`asm!`) 现在可以跳转到 Rust 代码中的 labeled 代码块。这为底层编程提供了更大灵活性,例如在操作系统内核中实现优化控制流,或更高效地与硬件交互。 + +- `asm!` 宏现在支持 label 标签语法,作为跳转目标 +- label 必须是返回类型为 `()` 或 `!` 的块表达式 +- 跳转时会执行该块,然后继续执行 `asm!` 块之后的代码 +- 在同一 `asm!` 里使用调用中使用 output 和 label 仍处于[unstable](https://github.com/rust-lang/rust/issues/119364)的 + +```rust +unsafe { + asm!( + "jmp {}", + label { + println!("从汇编跳转而来!"); + } + ); +} +``` + +更多细节请参阅[参考文档](https://doc.rust-lang.org/nightly/reference/inline-assembly.html#r-asm.operand-type.supported-operands.label)。 + +## 特征定义中 `impl Trait` 的精确捕获 (`+ use<...>`) + +本版本稳定了在特征定义中使用 `impl Trait` 返回类型时指定具体捕获的泛型类型和生命周期的功能。这扩展了 [1.82](https://blog.rust-lang.org/2024/10/17/Rust-1.82.0/#precise-capturing-use-syntax) 版本中对非特征函数的稳定支持。 + +一些示例解语法: + +```rust +trait Foo { + fn method<'a>(&'a self) -> impl Sized; + + // ... 解语法后类似: + type Implicit1<'a>: Sized; + fn method_desugared<'a>(&'a self) -> Self::Implicit1<'a>; + + // ... 而使用精确捕获时 ... + fn precise<'a>(&'a self) -> impl Sized + use; + + // ... 解语法后类似: + type Implicit2: Sized; + fn precise_desugared<'a>(&'a self) -> Self::Implicit2; +} +``` + +## Others + +其它更新细节,和稳定的 API 列表,参考[原Blog](https://blog.rust-lang.org/2025/05/15/Rust-1.87.0/#stabilized-apis) diff --git a/src/appendix/rust-versions/1.88.md b/src/appendix/rust-versions/1.88.md new file mode 100644 index 00000000..18f0c3c4 --- /dev/null +++ b/src/appendix/rust-versions/1.88.md @@ -0,0 +1,68 @@ +# Rust 新版解读 | 1.88 | let_chains + +> Rust 1.88 官方 release doc: [Announcing Rust 1.88.0 | Rust Blog](https://blog.rust-lang.org/2025/06/26/Rust-1.88.0/) + +通过 [rustup](https://www.rust-lang.org/tools/install) 安装的同学可以使用以下命令升级到 1.88 版本: + +```shell +$ rustup update stable +``` + +## let 链式表达式 + +该特性允许在 `if` 和 `while` 条件中使用 `&&` 连接的 `let` 语句,甚至可以与布尔表达式混合使用,从而减少 `if`/`if let` 和 `while`/`while let` 之间的差异。`let` 子表达式中的模式可以是不可反驳或可反驳的,绑定变量可以在链式后续部分和代码体中使用。 + +例如,以下代码片段组合了多个条件,之前需要嵌套 `if let` 和 `if` 块才能实现: + +```rust +if let Channel::Stable(v) = release_info() + && let Semver { major, minor, .. } = v + && major == 1 + && minor == 88 +{ + println!("`let_chains` 在此版本中已稳定"); +} +``` + +由于一些边界场景难以兼容,let 链式表达式仅在 Rust 2024 版本中可用,因为该特性依赖于 [`if let` 临时作用域](https://doc.rust-lang.org/edition-guide/rust-2024/temporary-if-let-scope.html) 变更以实现更一致的析构顺序。 + +## 裸函数 + +Rust 现在支持编写没有编译器生成的收尾代码和序言的裸函数,允许完全控制特定函数的生成汇编代码。这是在 `global_asm!` 块中定义函数的更符合人体工程学的替代方案。裸函数使用 `#[unsafe(naked)]` 属性标记,其函数体由单个 `naked_asm!` 调用组成。 + +例如: + +```rust +#[unsafe(naked)] +pub unsafe extern "sysv64" fn wrapping_add(a: u64, b: u64) -> u64 { + // 等同于 `a.wrapping_add(b)`。 + core::arch::naked_asm!( + "lea rax, [rdi + rsi]", + "ret" + ); +} +``` + +手写的汇编块定义了整个函数体:与非裸函数不同,编译器不会对参数或返回值添加任何特殊处理。裸函数用于 Rust 的 [compiler-builtins](https://github.com/rust-lang/compiler-builtins)、操作系统和嵌入式应用程序等场景。 + +## 布尔配置 + +`cfg` 谓词现在支持布尔字面量 `true` 和 `false`,分别作为始终启用或禁用的配置。这适用于 Rust 的[条件编译](https://doc.rust-lang.org/reference/conditional-compilation.html)中的 `cfg` 和 `cfg_attr` 属性以及内置的 `cfg!` 宏,也适用于 Cargo `[target]` 表中的[配置](https://doc.rust-lang.org/cargo/reference/config.html#target)和[清单](https://doc.rust-lang.org/cargo/reference/specifying-dependencies.html#platform-specific-dependencies)。 + +此前,空谓词列表可以用于无条件配置,例如 `cfg(all())` 用于启用,`cfg(any())` 用于禁用,但这种含义相当隐式且容易搞反。`cfg(true)` 和 `cfg(false)` 提供了一种更直接的方式来表达你的意图。 + +具体背景细节可以参考 [RFC-3695](https://rust-lang.github.io/rfcs/3695-cfg-boolean-literals.html) + +## Cargo 自动缓存清理 + +从 1.88.0 开始,Cargo 将自动对其主目录中的缓存运行垃圾回收! + +构建时,Cargo 会下载并缓存所需的依赖项。历史上,这些下载的文件永远不会被清理,导致 Cargo 主目录中的磁盘使用量无限增长。在此版本中,Cargo 引入了垃圾回收机制来自动清理旧文件(例如 `.crate` 文件)。Cargo 将删除从网络下载且 3 个月内未访问的文件,以及从本地系统获取且 1 个月内未访问的文件。请注意,如果在离线状态下运行(使用 `--offline` 或 `--frozen`),则不会进行此自动垃圾回收。 + +Cargo 1.78 以后会跟踪所需的访问信息以进行此垃圾回收。这是在实际清理开始之前引入的,以减少仍使用早期版本的用户的缓存更换。如果你经常使用比 1.78 版本更早的 Cargo 版本,并且希望某些仅由旧版本访问的 crate 不被重新下载,你可以在 Cargo 配置中设置 `cache.auto-clean-frequency = "never"`,如[文档](https://doc.rust-lang.org/nightly/cargo/reference/config.html#cache)所述。 + +有关更多信息,请参阅此功能的原始[不稳定公告](https://blog.rust-lang.org/2023/12/11/cargo-cache-cleaning/)。该设计的某些部分仍不稳定,例如 [cargo#13060](https://github.com/rust-lang/cargo/issues/13060) 中跟踪的 `gc` 子命令,因此仍有更多值得期待的内容! + +## Others + +其它更新细节,和稳定的 API 列表,参考[原Blog](https://blog.rust-lang.org/2025/06/26/Rust-1.88.0/#stabilized-apis)