Rust语言新版本1.80.0发布。Rust是一种赋予每个人构建可靠和高效软件的编程语言。
以下是一些关于Rust 1.80.0版本的要点：
1、LazyCell和LazyLock
这些类型延迟数据的初始化直到首次访问。它们类似于在1.70版本中稳定的OnceCell和OnceLock，但初始化函数包含在Cell单元内。
LazyLock 是线程安全选项，因此适用于静态值等地方。 例如，无论是 spawn 线程还是主作用域，都会看到下面完全相同的持续时间，因为 LAZY_TIME 会被首先访问静态值的线程初始化一次。 与 OnceLock::get_or_init() 不同的是，两者都不需要知道如何初始化它。
use std::sync::LazyLock;
use std::time::Instant;
static LAZY_TIME: LazyLock<Instant> = LazyLock::new(Instant::now);
fn main() {
let start = Instant::now();
std::thread::scope(|s| {
s.spawn(|| {
println!("Thread lazy time is {:?}", LAZY_TIME.duration_since(start));
});
println!("Main lazy time is {:?}", LAZY_TIME.duration_since(start));
});
}
|
LazyCell 在没有线程同步的情况下做同样的事情，所以它没有实现静态所需的 Sync，但它仍可用于线程_本地！静态（每个线程有不同的初始化）。 根据线程安全的需要，这两种类型也可用于其他数据结构，因此懒初始化在任何地方都可用！
2、cfg名称和值的检查：
在1.79版本中，rustc稳定了一个--check-cfg标志，现在Cargo 1.80启用了对所有cfg名称和值的检查。
fn main() {
println!("Hello, world!");
#[cfg(feature = "crayon")]
rayon::join(
|| println!("Hello, Thing One!"),
|| println!("Hello, Thing Two!"),
);
}
warning: unexpected <code>cfg</code> condition value: <code>crayon</code>
--> src/main.rs:4:11
|
4 | #[cfg(feature = "crayon")]
| ^^^^^^^^^^--------
| |
| help: there is a expected value with a similar name: <code>"rayon"</code>
|
= note: expected values for <code>feature</code> are: <code>rayon</code>
= help: consider adding <code>crayon</code> as a feature in <code>Cargo.toml</code>
= note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
= note: <code>#[warn(unexpected_cfgs)]</code> on by default
|
无论是否启用实际的rayon 功能，都会报告同样的警告。
下面Cargo.toml 清单中的 [lints] 表也可用于扩展自定义 cfg 的已知名称和值列表，rustc 会自动提供警告中使用的语法。
[lints.rust]
unexpected_cfgs = { level = "warn", check-cfg = ['cfg(foo, values("bar"))'] }
|
3、模式中的独占范围：
Rust的模式现在可以使用独占端点，写为a..b或..b，类似于Range和RangeTo表达式类型。
pub fn size_prefix(n: u32) -> &'static str {
const K: u32 = 10u32.pow(3);
const M: u32 = 10u32.pow(6);
const G: u32 = 10u32.pow(9);
match n {
..K => "",
K..M => "k",
M..G => "M",
G.. => "G",
}
}
|
以前，模式中只允许包含范围（a...=b 或 ..=b）或开放范围（a...），因此像这样的代码需要为包含端点（如 K - 1）设置单独的常量。
包含范围作为一项不稳定的功能已经实施了很长时间，但阻塞的原因是它们可能会增加混乱，并增加模式中出现偏差错误的几率。
为此，我们增强了穷尽性检查功能，以更好地检测模式匹配中的间隙，而新的非连续范围端点（non_contiguous_range_endpoints）和重叠范围端点（overlapping_range_endpoints）将有助于检测在哪些情况下需要将排他性模式切换为包含性模式，反之亦然。
4、稳定的API
包括多个Rc和Arc类型的Default实现，Box的IntoIterator和FromIterator实现，以及NonNull、Duration、Option、Seek等类型的新方法。
检查Rust、Cargo和Clippy中发生的所有变化。