C# Protobuf中浮点值按位比较的优势及精度疑问

在C#中比较proto文件生成的同类型对象时，直接用Equals()方法就行——因为gRPC Protobuf已经重写了这个方法，会逐一比较每个字段。但针对float和double类型的字段，Protobuf还提供了ProtobufEqualityComparers类，里面包含BitwiseDoubleEqualityComparer和BitwiseSingleEqualityComparer这两个位比较器。我疑惑的是，这些比较器存在的意义是什么？我觉得它们根本解决不了浮点数的精度问题啊。

/// <summary>
/// 提供一个集中实现相等性比较的地方，主要用于浮点数（float/double）的位级相等比较。
/// </summary>
public static class ProtobufEqualityComparers
{
    /// <summary>
    /// 返回适用于Protobuf相等性比较的<typeparamref name="T"/>类型相等比较器。
    /// 通常就是该类型的默认相等比较器，但浮点数会使用位级比较。
    /// </summary>
    /// <typeparam name="T">要返回的相等比较器的类型。</typeparam>
    /// <returns>相等比较器。</returns>
    public static EqualityComparer<T> GetEqualityComparer<T>()
    {
        if (typeof (T) == typeof (double))
            return (EqualityComparer<T>) ProtobufEqualityComparers.BitwiseDoubleEqualityComparer;
        if (typeof (T) == typeof (float))
            return (EqualityComparer<T>) ProtobufEqualityComparers.BitwiseSingleEqualityComparer;
        if (typeof (T) == typeof (double?))
            return (EqualityComparer<T>) ProtobufEqualityComparers.BitwiseNullableDoubleEqualityComparer;
        return !(typeof (T) == typeof (float?)) ? EqualityComparer<T>.Default : (EqualityComparer<T>) ProtobufEqualityComparers.BitwiseNullableSingleEqualityComparer;
    }
}

为什么需要这些位比较器？ #

你说的没错，这些位比较器确实不是用来解决浮点数精度问题的，它们存在的核心目的是严格匹配Protobuf的序列化/反序列化语义，而非处理计算带来的精度误差。

具体来说：

• Protobuf序列化浮点数时，是直接将浮点数的二进制位序列写入字节流；反序列化时，也是直接读取二进制位还原成浮点数。
• 默认的double.Equals()或float.Equals()虽然也是位比较，但有例外：它会把NaN（非数字）视为不相等——但Protobuf序列化时，所有NaN的二进制表示都是固定的，反序列化后得到的NaN完全一致。这时候用默认Equals比较两个NaN会返回false，但从Protobuf的角度，这两个值的序列化结果完全相同，应该被视为相等。
• 另外，默认Equals会把+0.0和-0.0视为相等，但它们的二进制位是不同的。如果业务场景需要严格区分正负零（比如某些科学计算场景），位比较器就能准确反映这一点，而默认Equals做不到。

总结：这些比较器是为了和Protobuf的二进制序列化逻辑保持一致，确保两个对象如果序列化后的字节流完全相同，用这些比较器比较也会返回true——这在需要严格校验对象是否“完全一致”（比如缓存校验、消息幂等判断）的场景下非常有用。它不处理“计算后精度丢失导致的近似相等”，这类需求需要用带误差阈值的比较方式。

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