Rust 1.98.0 发布了什么：代数浮点方法、稳定性边界与升级核对

Rust 1.98.0 已在 2026 年 8 月 20 日进入稳定版。这个版本最值得开发者单独做一次核对的变化，不是“所有浮点计算都变快”，而是 f32 和 f64 新增了一组允许代数重排的方法；同时，整数类型新增了面向缓冲区的 format_into。前者可能改变数值结果的复现方式，后者更像一次明确的格式化路径优化。

先准备一个可回退的 Rust 1.98.0 实验环境

正式项目不要直接替换全局唯一工具链。先开独立分支或者用单独构建机确认版本状态，记录好基线测试和核心基准数据就行。Rust 官方给出的稳定通道升级方式是：

rustup update stable
rustc --version
cargo test --workspace

如果仓库使用 rust-toolchain.toml，还要看文件里的 channel 是否固定。只执行 rustup update stable，并不能证明当前项目真的用上了 1.98.0；CI 镜像、缓存目录和开发机可能各自指向不同工具链。

algebraic_add 为什么会改变浮点求和结果

普通浮点加法本来就不满足结合律。下面两段代码看起来都在做四项求和，但第一段必须严格遵循表达式的左结合顺序，第二段把“允许代数重排”的权限明确交给编译器：

let normal = ((a + b) + c) + d;

let relaxed = a
    .algebraic_add(b)
    .algebraic_add(c)
    .algebraic_add(d);

algebraic_add 的重点不是一个新的高精度算法，而是给优化器更宽的数学假设。编译器可以把部分加法重新组合，甚至为向量化创造机会；代价是不同优化选择可能得到不同的最后几位。官方说明也强调，这类结果具有不确定性，但不会因此变成未定义行为。

你可以把它理解成一条明确的业务契约：只有允许误差存在、不要求逐位结果完全复现的场景，才能使用代数方法。先做一个小范围验证实验：

fn sum_relaxed(values: &[f32]) -> f32 {
    values.iter().copied().reduce(|left, right| left.algebraic_add(right)).unwrap_or(0.0)
}

#[test]
fn result_stays_inside_error_budget() {
    let values = [0.1_f32, 0.2, 0.3, 0.4];
    let value = sum_relaxed(&values);
    if (value - 1.0).abs() >= 0.00001 {
        panic!("sum is outside the error budget");
    }
}

测试的核心不是把某个二进制浮点结果硬编码写死，而是先把允许误差整理成可评审的预算项。图像场景里提到的“可重排”与“误差预算”是同一个判断维度，两者应该同步记录到评审归档里。

哪些计算不要因为新 API 就改成代数模式

涉及金额分、计费账单、数字签名摘要、协议回放、跨机器一致性校验的代码，最看重结果确定性。哪怕测试机与生产机都使用 Rust 1.98.0，优化级别、目标 CPU 和构建参数的差异，也可能让最终结果的最后几位出现偏差。

format_into 怎么减少整数格式化的中间开销

Rust 1.98.0 为原始整数类型提供了 format_into。它接收一个可复用的 NumBuffer，返回借用自该缓冲区的字符串切片。最小用法可以写成：

use std::fmt::Write;

fn render_id(id: u64) -> String {
    let mut number = std::num::NumBuffer::new();
    let text = id.format_into(&mut number);
    let mut output = String::with_capacity(text.len() + 4);
    output.write_str("id=").unwrap();
    output.push_str(text);
    output
}

这里的边界很容易被忽略：返回的 &str 借用了 number，不能把它脱离缓冲区长期保存。若要跨越当前作用域，就像上面这样立即复制到拥有所有权的 String；如果只是拼接一段短日志，则可以在缓冲区仍然有效时消费它。

升级后的最小验收清单

版本宣传里的“稳定版可用”要落到代码仓库的实际边界里。建议把下面几项放进升级分支的检查清单：

1. 工具链：记录 rustc --version --verbose、目标三元组和构建参数。
2. 浮点回归：对允许误差的模块使用区间断言，对要求逐位一致的模块保留精确比较逻辑。
3. 格式化输出：检查负数、零、最大整数和 Unicode 拼接附近的输出结果；确认借用没有逃逸。
4. 性能基线：用同一输入跑升级前后的基准测试，分别记录吞吐、延迟和二进制体积。
5. 回退路径：保留旧版本锁文件或容器镜像，确认切回上一稳定工具链后所有测试仍可正常执行。

不要把“编译通过”当成全部验收标准。Rust 1.98.0 的两个核心改动，一个改变优化器可使用的数学假设范围，一个调整整数文本的借用方式，对应的回归项本来就不属于同一层级。

相关问题

algebraic_add 会让结果变成未定义行为吗？

不会。它允许编译器利用更宽泛的代数假设进行优化，结果可能因优化选择不同而变化，但官方明确说明不把这种变化定义为未定义行为。

format_into 能直接返回长期保存的字符串吗？

不能直接这样理解。返回的文本借用 NumBuffer，需要在缓冲区有效期间使用；要长期保存，应复制到 String 或其他拥有所有权的容器。

升级到 Rust 1.98.0 必须改代码吗？

不一定。已有代码可以先保持不动，先升级工具链跑完整测试，再按明确的误差预算或格式化性能目标挑选新 API。

把版本新闻变成一次可控的小实验

Rust 1.98.0 有不少值得关注的特性，但不适合把新 API 当作全局替换开关。先隔离工具链版本，再用小批量输入验证数值边界和缓冲区生命周期；只有基准、回归与回退记录都齐了，才把改动带进生产分支。