如何将serde_json::Value::Number中零小数部分转为整数表示

我的目标是处理serde_json::Value::Number类型的值：若数值以非整数形式存储但小数部分为0.0，则将其转换为存储等效整数表示的serde_json::Value::Number。

我尝试了以下代码片段：

use serde_json::{Number, Value};

fn trim_trailing_zeros(val: Value) -> Value {
    match val {
        Value::Number(n) => Value::Number({
            match n.as_f64() {
                Some(m) => {
                    if m.fract() == 0.0 {
                        Number::from(m as i64)
                    } else {
                        n
                    }
                }
                _ => n,
            }
        }),
        var => var,
    }
}

这段代码存在问题：如果数值无法精确转换为f64，输出会与输入不一致。由于Number的字段是私有的，我只能使用其公开方法，而as_f64似乎难以避免，其他方法对此问题无用。

请问是否有其他实现方式？能否将Value::Number转为字符串后进行无精度损失的解析？

编辑： 正如评论指出，先通过is_i64()或is_f64()检查Number存储的是i64还是f64，再尝试as_f64()理论上也可能存在转换问题。

针对你的需求，这里提供两种无精度损失的实现方式：

方式一：基于数值类型检查的精确转换 #

利用serde_json::Number的公开方法，先判断数值类型，再验证浮点值是否能精确转为整数，避免f64精度丢失问题：

use serde_json::{Number, Value};

fn trim_trailing_zeros(val: Value) -> Value {
    match val {
        Value::Number(n) => {
            // 已是整数类型，直接返回
            if n.is_i64() || n.is_u64() {
                Value::Number(n)
            } else if let Some(f) = n.as_f64() {
                if f.is_integer() {
                    // 验证转换为i64是否精确
                    if let Some(int_val) = (f as i64 as f64 == f).then(|| f as i64) {
                        Value::Number(Number::from(int_val))
                    } 
                    // 验证转换为u64是否精确
                    else if let Some(uint_val) = (f as u64 as f64 == f).then(|| f as u64) {
                        Value::Number(Number::from(uint_val))
                    } 
                    // 超出整数范围，保留原浮点
                    else {
                        Value::Number(n)
                    }
                } else {
                    Value::Number(n)
                }
            } else {
                Value::Number(n)
            }
        }
        other => other,
    }
}

核心逻辑是通过(f as i64 as f64 == f)确认转换无精度损失，避免直接强制转换带来的误差。

方式二：字符串转解析法 #

将Number转为字符串后重新解析，依赖serde_json自身的解析逻辑自动处理.0结尾的浮点值，确保精度完全一致：

use serde_json::{Number, Value};
use std::str::FromStr;

fn trim_trailing_zeros(val: Value) -> Value {
    match val {
        Value::Number(n) => {
            let num_str = n.to_string();
            // 解析字符串时，serde_json会自动将".0"结尾的数值转为整数类型
            Value::Number(Number::from_str(&num_str).unwrap_or(n))
        }
        other => other,
    }
}

这种方法代码更简洁，且完全利用官方解析逻辑，无需手动处理精度判断。

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