如何安全将i128转换为f64并处理转换错误？

标准库默认没有为i128到f64的转换实现TryInto trait，但我们可以通过手动范围检查实现安全转换——因为f64只能精确表示**-2^53到253**之间的整数，超出这个范围的i128值转换为f64会丢失精度。

方案一：实现TryInto trait #

自定义错误类型并实现TryInto，就能像你期望的那样使用try_into()?语法：

use std::convert::TryInto;

#[derive(Debug)]
struct ExactConversionError;

impl std::fmt::Display for ExactConversionError {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "i128 值超出 f64 可精确表示的整数范围")
    }
}

impl std::error::Error for ExactConversionError {}

impl TryInto<f64> for i128 {
    type Error = ExactConversionError;

    fn try_into(self) -> Result<f64, Self::Error> {
        // f64 能精确表示的整数边界
        const MIN_EXACT: i128 = -(1i128 << 53);
        const MAX_EXACT: i128 = (1i128 << 53) - 1;

        if self >= MIN_EXACT && self <= MAX_EXACT {
            Ok(self as f64)
        } else {
            Err(ExactConversionError)
        }
    }
}

// 使用示例
fn main() -> Result<(), Box<dyn std::error::Error>> {
    let nb: i128 = 1337;
    let converted: f64 = nb.try_into()?;
    println!("转换结果：{}", converted); // 输出 1337

    // 超出范围的数值会触发错误
    let big_nb: i128 = 1i128 << 60;
    let _ = big_nb.try_into()?;
    Ok(())
}

方案二：直接做范围检查（无需实现trait） #

如果不需要全局的TryInto实现，也可以写一个工具函数直接处理：

fn i128_to_exact_f64(nb: i128) -> Result<f64, &'static str> {
    const MIN_EXACT: i128 = -(1i128 << 53);
    const MAX_EXACT: i128 = (1i128 << 53) - 1;

    if nb >= MIN_EXACT && nb <= MAX_EXACT {
        Ok(nb as f64)
    } else {
        Err("i128 值超出 f64 可精确表示的整数范围")
    }
}

// 使用示例
fn main() -> Result<(), &'static str> {
    let nb = 1337i128;
    let converted = i128_to_exact_f64(nb)?;
    println!("转换结果：{}", converted);

    let big_nb = 1i128 << 60;
    let _ = i128_to_exact_f64(big_nb)?; // 触发错误
    Ok(())
}

补充说明 #

f64的尾数部分有52位，加上隐含的1位有效位，总共能精确表示53位的整数。如果你的业务场景可以接受近似值（比如超出范围时允许精度丢失），直接用as转换即可；但如果要求转换后数值完全精确，就必须通过上述方式做范围校验。

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