Rust中如何处理f64等浮点数运算的溢出问题

你的代码无法直接运行，核心问题有两个：

• f64::checked_add 返回的是 Option<f64>，和你定义的 Result<f64, OverflowError> 类型不兼容，? 运算符无法直接在此使用。
• 浮点数的溢出逻辑和整数不同：checked_add 只会在结果是 NaN（比如无穷加负无穷）时返回 None，而加法溢出得到正/负无穷时，它会直接返回 Some(f64::INFINITY) 或 Some(f64::NEG_INFINITY)，不会触发 None。

基础实现方案 #

要检测浮点数加法的溢出（即结果变为无穷大的情况），可以先执行加法，再检查结果状态：

use std::num::OverflowError;

fn add(a: f64, b: f64) -> Result<f64, OverflowError> {
    let sum = a + b;
    if sum.is_infinite() {
        Err(OverflowError::default())
    } else if sum.is_nan() {
        // 若需要把NaN也视为错误，可在此返回对应错误
        Err(OverflowError::default())
    } else {
        Ok(sum)
    }
}

进阶优化：区分错误类型 #

如果需要明确区分溢出和NaN两种错误场景，可以自定义错误枚举：

#[derive(Debug)]
enum FloatCalcError {
    Overflow,
    InvalidResultNaN,
}

fn add(a: f64, b: f64) -> Result<f64, FloatCalcError> {
    let sum = a + b;
    match sum {
        s if s.is_infinite() => Err(FloatCalcError::Overflow),
        s if s.is_nan() => Err(FloatCalcError::InvalidResultNaN),
        _ => Ok(sum),
    }
}

注意事项 #

• std::num::OverflowError 原本为整数溢出设计，用在浮点数场景时可通过 default() 构造实例，或用 OverflowError::new() 传入自定义错误信息。
• 浮点数溢出符合IEEE 754标准，默认加法溢出会得到无穷大，不会触发panic，因此需要手动检测该状态来返回错误。

内容的提问来源于stack exchange，提问作者Doruk