Rust 1.85.0 和 Rust 2024 版本发布：全新特性与更新详解

发布日期：2025 年 2 月 20 日
作者：Rust 发布团队

Rust 团队欣喜地宣布推出 Rust 编程语言的新版本 Rust 1.85.0，并正式稳定 Rust 2024 版本。 Rust 是一款赋予开发者构建可靠、高效软件能力的编程语言。 本文将详细介绍如何升级至 Rust 1.85.0、Rust 2024 的主要更新内容以及迁移指南。

如何升级到 Rust 1.85.0

如果您已通过 rustup 安装了 Rust，只需运行以下命令即可升级到 1.85.0：

rustup update stable

如果您尚未安装 rustup，请访问 Rust 官方网站的相关页面获取安装程序， 并查看 Rust 1.85.0 详细发布说明。

想参与未来版本的测试？您可以本地切换到 beta 或 nightly 通道：

• Beta 通道：rustup default beta
• Nightly 通道：rustup default nightly

欢迎报告您发现的任何问题！

Rust 1.85.0 稳定版亮点：Rust 2024 正式发布

Rust 2024 版本概览

我们激动地宣布 Rust 2024 版本 现已稳定！Rust 的“版本”（Edition）机制允许开发者选择性采用可能影响向后兼容性的更改。 详情请参阅版本指南，了解实现方式及迁移步骤。

Rust 2024 是迄今为止我们发布的最大版本。 以下是主要更新总结，具体细节可参考版本指南：

语言特性更新

1. RPIT 生命周期捕获规则
   • 当未使用 use<..> 时，impl Trait 类型的默认参数捕获规则发生变化。
2. if let 临时变量作用域
   • if let 表达式的临时变量作用域调整。
3. 尾表达式临时变量作用域
   • 块中尾部表达式的临时变量作用域调整。
4. Match 人体工程学预留
   • 禁止某些模式组合，以避免混淆并为未来改进预留空间。
5. 不安全的外部块
   • extern 块现需使用 unsafe 关键字。
6. 不安全属性
   • export_name、link_section 和 no_mangle 属性需标记为 unsafe。
7. unsafe_op_in_unsafe_fn 警告
   • 该 lint 现默认警告，需在不安全函数中使用显式的 unsafe {} 块。
8. 禁止引用 static mut
   • 对 static mut 项的引用现默认生成错误。
9. Never 类型回退调整
   • ! 类型强制转换规则调整，never_type_fallback_flowing_into_unsafe lint 级别改为“拒绝”。
10. 宏片段说明符
    • macro_rules! 宏中的 expr 片段说明符现也匹配 const 和 _ 表达式。
11. 缺少宏片段说明符
    • missing_fragment_specifier lint 现为硬性错误，拒绝未指定片段类型的宏元变量。
12. gen 关键字预留
    • 为未来添加生成器块预留 gen 关键字。
13. • 预留语法
      为未来解析受保护字符串字面量预留 #\"foo\"# 样式字符串和 ## 标记。

标准库更新

1. 预导入模块调整
   • Future 和 IntoFuture 添加至预导入模块。
2. Box<[T]> 实现 IntoIterator
   • 调整 boxed 切片与迭代器的交互方式。
3. 新增不安全函数
   • std::env::set_var、std::env::remove_var 和 std::os::unix::process::CommandExt::before_exec 现为不安全函数。

Cargo 更新

1. Rust 版本感知解析器
   • 默认依赖解析器行为调整，考虑 rust-version 字段。
2. 表和键名一致性
   • 移除部分过时的 Cargo.toml 键。
3. 拒绝未使用的继承默认特性
   • 调整 default-features = false 与继承工作区依赖的交互。

Rustdoc 更新

1. 合并测试
   • 文档测试现合并为单个可执行文件，显著提升性能。
2. 嵌套 include! 调整
   • 嵌套 include! 文件的相对路径行为变更。

Rustfmt 更新

1. 样式版本
   • 引入“样式版本”概念，允许独立控制格式化版本与 Rust 版本。
2. 格式化修复
   • 大量修复针对不同情况的格式化问题。
3. 原始标识符排序
   • 调整 r#foo 标识符的排序方式。
4. 版本排序
   • 调整包含整数的标识符排序方式。

如何迁移至 Rust 2024

版本指南 提供了所有新功能的迁移说明及现有项目升级至新版本的通用步骤。 许多情况下，cargo fix 可自动完成必要更改，甚至您的代码可能无需任何变动即可适配 Rust 2024！

需要注意的是，cargo fix 的自动修复非常保守，避免更改代码语义。 您可能希望保留原有代码并使用 Rust 2024 的新语义，例如继续使用 expr 宏匹配器， 或忽略条件语句的转换以采用新的 2024 丢弃顺序语义。cargo fix 的结果仅为保守转换，不代表推荐做法。

感谢众多贡献者共同打造这一版本！

异步闭包（Async Closures）

Rust 现支持异步闭包，例如 async || {}，调用时返回 future。 这类似于 async fn，可以捕获局部环境变量，类似于普通闭包与函数的区别。 标准库预导入中新增三个相关 trait：AsyncFn、AsyncFnMut 和 AsyncFnOnce。

过去，您可能通过普通闭包和异步块（如 || async {}）实现类似效果， 但内部块返回的 future 无法借用闭包捕获的值。 而异步闭包解决了这一问题：

let mut vec: Vec<String> = vec![];

let closure = async || {
    vec.push(ready(String::from("")).await);
};

此外，异步闭包还支持使用 AsyncFn trait 表达高阶函数签名，返回 Future：

use core::future::Future;

async fn f<Fut>(_: impl for<'a> Fn(&'a u8) -> Fut)
where
    Fut: Future<Output = ()>,
{ todo!() }

async fn f2(_: impl for<'a> AsyncFn(&'a u8))
{ todo!() }

async fn main() {
    async fn g(_: &u8) { todo!() }
    f(g).await; // 类型不匹配错误
    f2(g).await; // 正常运行！
}

异步闭包为这些问题提供了优雅的解决方案！ 详情请参阅 RFC 3668 和稳定报告。

从诊断中隐藏 trait 实现

新增 #[diagnostic::do_not_recommend] 属性，提示编译器不在诊断信息中显示指定的 trait 实现。 这对库作者很有用，可避免编译器提出无用或误导性的建议。 例如：

pub trait Foo {}
pub trait Bar {}

#[diagnostic::do_not_recommend]
impl<T: Foo> Bar for T {}

struct MyType;

fn main() {
    let _object: &dyn Bar = &MyType;
}

添加此属性后，错误信息将更清晰，不再提及无关的 Foo 建议。 详情请参阅 RFC 2397。

元组的 FromIterator 和 Extend 支持

Rust 1.85.0 扩展了对元组的支持，新增从单一 (T,) 到 12 项 (T1, T2, ..., T12) 的 FromIterator 和 Extend 实现。

例如：

use std::collections::{LinkedList, VecDeque};

fn main() {
    let (squares, cubes, tesseracts): (Vec<_>, VecDeque<_>, LinkedList<_>) =
        (0i32..10).map(|i| (i * i, i.pow(3), i.pow(4))).collect();
    println!("{squares:?}");
    println!("{cubes:?}");
    println!("{tesseracts:?}");
}

输出：

[0, 1, 4, 9, 16, 25, 36, 49, 64, 81]
[0, 1, 8, 27, 64, 125, 216, 343, 512, 729]
[0, 1, 16, 81, 256, 625, 1296, 2401, 4096, 6561]

std::env::home_dir() 更新

std::env::home_dir() 已弃用多年，因其在某些 Windows 配置下可能返回意外结果。 现调整其行为作为 bug 修复，后续版本将移除弃用警告。

稳定化的 API

以下 API 已稳定并支持 const 上下文：

• BuildHasherDefault::new
• ptr::fn_addr_eq
• io::ErrorKind::QuotaExceeded
• io::ErrorKind::CrossesDevices
• {float}::midpoint
• Unsigned {integer}::midpoint
• NonZeroU*::midpoint
• 元组（1 到 12 元）的 std::iter::Extend 和 FromIterator<(A, ...)>
• std::task::Waker::noop
• mem::size_of_val
• mem::align_of_val
• Layout::for_value 等

其他更新

查看 Rust、 Cargo 和 Clippy 的完整变更日志。