From 1508aa0df4069008cd516ca61e6f730aac285558 Mon Sep 17 00:00:00 2001 From: Eucalypt Date: Fri, 10 Jan 2025 14:51:46 +0800 Subject: [PATCH] translation(appendix/rust-versions) : 1.84 --- src/SUMMARY.md | 1 + src/appendix/rust-versions/1.84.md | 69 ++++++++++++++++++++++++++++++ 2 files changed, 70 insertions(+) create mode 100644 src/appendix/rust-versions/1.84.md diff --git a/src/SUMMARY.md b/src/SUMMARY.md index 142b5b8e..1c93120a 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -390,3 +390,4 @@ - [1.81](appendix/rust-versions/1.81.md) - [1.82](appendix/rust-versions/1.82.md) - [1.83](appendix/rust-versions/1.83.md) + - [1.84](appendix/rust-versions/1.84.md) diff --git a/src/appendix/rust-versions/1.84.md b/src/appendix/rust-versions/1.84.md new file mode 100644 index 00000000..339749db --- /dev/null +++ b/src/appendix/rust-versions/1.84.md @@ -0,0 +1,69 @@ +# Rust 新版解读 | 1.84 | Const 能力拓展 + +> Rust 1.84 官方 release doc: [Announcing Rust 1.84.0 | Rust Blog](https://blog.rust-lang.org/2025/01/09/Rust-1.84.0.html) + +通过 [rustup](https://www.rust-lang.org/tools/install) 安装的同学可以使用以下命令升级到 1.84 版本: + +```shell +$ rustup update stable +``` + +## Cargo 在依赖版本选择中考虑 Rust 版本 + +1.84.0 稳定了支持最低 Rust 版本（MSRV, minimum supported Rust version）的解析器，该解析器优先选择与项目声明的 MSRV （`Cargo.toml` 里的 `package.rust_version`） 兼容的依赖版本。通过支持 MSRV 的版本选择，维护者可以减少支持旧工具链的工作量，因为不再需要为每个依赖手动选择旧版本。 + +你可以通过 `.cargo/config.toml` 启用支持 MSRV 的解析器： + +```toml +[resolver] +incompatible-rust-versions = "fallback" +``` + +然后在添加依赖时： + +```bash +$ cargo add clap + Updating crates.io index +warning: ignoring clap@4.5.23 (which requires rustc 1.74) to maintain demo's rust-version of 1.60 + Adding clap v4.0.32 to dependencies + Updating crates.io index + Locking 33 packages to latest Rust 1.60 compatible versions + Adding clap v4.0.32 (available: v4.5.23, requires Rust 1.74) +``` + +在 CI 中[验证最新依赖](https://doc.rust-lang.org/cargo/guide/continuous-integration.html#verifying-latest-dependencies)时，你可以覆盖此行为： + +```bash +$ CARGO_RESOLVER_INCOMPATIBLE_RUST_VERSIONS=allow cargo update + Updating crates.io index + Locking 12 packages to latest compatible versions + Updating clap v4.0.32 -> v4.5.23 +``` + +你也可以通过在 `Cargo.toml` 清单文件中设置 [`package.resolver = "3"`](https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions) 来启用此功能，但这需要将 MSRV 提升到 1.84。对于使用 Rust 2024 的项目（将在 1.85 中稳定），新的解析器将默认启用。 + +这为库作者在决定采用新 Rust 工具链功能的策略时提供了更大的灵活性。以前，库采用新 Rust 工具链的功能会迫使使用旧 Rust 版本的下游用户要么升级工具链，要么手动选择与工具链兼容的旧版本库（并避免运行 `cargo update`）。现在，这些用户将能够自动使用与其旧工具链兼容的旧库版本。 + +有关决定 MSRV 策略时的更多注意事项，请参阅[文档](https://doc.rust-lang.org/cargo/reference/rust-version.html#setting-and-updating-rust-version)。 + +## 新 trait 求解器的迁移开始 + +Rust 编译器正在迁移到新的 trait 求解器实现。下一代 trait 求解器是 Rust 类型系统核心组件的重新实现。它不仅负责检查 trait 边界（例如 `Vec: Clone`）是否成立，还被类型系统的许多其他部分使用，例如规范化（确定 ` as IntoIterator>::Item` 的基础类型）和类型等价（检查 `T` 和 `U` 是否相同）。 + +在 1.84 中，新求解器用于检查 trait 实现的一致性。从高层次来看，一致性负责确保在考虑其他 crate 中尚未编写或不可见的代码时，给定类型的 trait 实现最多只有一个。 + +此稳定化修复了旧实现中的一些主要理论上的正确性问题，导致可能会报告以前未报告的“trait 冲突实现”错误。根据 [Crater](https://github.com/rust-lang/crater/) 对可用代码的评估，我们预计受影响的模式非常罕见。此次稳定版本还提高了我们证明实现不重叠的能力，在某些情况下允许编写更多代码。 + +有关更多详细信息，请参阅之前的[博客文章](https://blog.rust-lang.org/inside-rust/2024/12/04/trait-system-refactor-initiative.html)和[稳定报告](https://github.com/rust-lang/rust/pull/130654)。 + +## 严格来源 API + +在 Rust 中，[指针不仅仅是“整数”或“地址”](https://rust-lang.github.io/rfcs/3559-rust-has-provenance.html)。例如，“释放后使用”是未定义行为，即使你“幸运”并且在读取/写入之前重新分配了释放的内存。另一个例子是，通过从 `&i32` 引用派生的指针写入是未定义行为，即使通过不同指针写入同一地址是合法的。这里的底层模式是，指针的计算方式很重要，而不仅仅是计算结果的地址。因此，我们说指针具有**来源**：要完全描述 Rust 中与指针相关的未定义行为，我们不仅需要知道指针指向的地址，还需要跟踪它是从哪些其他指针“派生”的。 + +大多数情况下，程序员不需要过多担心来源，指针的派生方式非常清晰。然而，当将指针转换为整数并返回时，结果指针的来源是不明确的。在此版本中，Rust 添加了一组 API，可以在许多情况下替代整数指针转换的使用，从而避免此类转换固有的歧义。特别是，现在可以在不将指针转换为整数(或反方向将整数转换成指针)的情况下实现使用对齐指针的最低有效位存储额外信息的模式。这使得代码更易于推理，更易于编译器分析，并且还有益于像 [Miri](https://github.com/rust-lang/miri) 这样的工具和像 [CHERI](https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/) 这样的架构，旨在检测和诊断指针滥用。 + +有关更多详细信息，请参阅标准库中关于[来源](https://doc.rust-lang.org/std/ptr/index.html#provenance)的文档。 + +## Others + +其它更新细节，和稳定的 API 列表，包括上述 `provenance` 相关 API，参考[原Blog](https://blog.rust-lang.org/2025/01/09/Rust-1.84.0.html#stabilized-apis)