如何在C#中比较逻辑相等但字节层面不等的byte[]数组

问题本质 #

你遇到的是浮点数在Postgres存储/读取环节的精度转换问题：逻辑相等的浮点数，经过数据库存储再读取后，二进制表示出现细微差异，导致逐字节对比失效。而你希望绕过完整反序列化对象的步骤完成对比。

无需完整反序列化的对比思路 #

要实现这个需求，核心是定位字节数组中的浮点数片段，针对浮点数做近似相等判断，其余部分仍精确对比。但前提是你需要清楚字节数组的序列化规则（比如浮点数是float还是double，字节序，以及如何识别浮点数在数组中的位置）：

1. 针对性的字节数组对比实现 #

假设你的序列化规则中，浮点数以8字节double类型存储，且有明确的标记位区分，可参考以下代码：

public static bool AreEqualWithFloatTolerance(byte[] a, byte[] b, double tolerance = 1e-9)
{
    if (a.Length != b.Length)
        return false;

    int pos = 0;
    while (pos < a.Length)
    {
        // 根据你的序列化规则判断当前位置是否是浮点数起始
        if (IsDoubleSegment(a, pos))
        {
            // 跳过标记位（如果有），读取8字节转换为double
            int valueStart = pos + 1; // 假设首字节是标记位0x01
            double valA = BitConverter.ToDouble(a, valueStart);
            double valB = BitConverter.ToDouble(b, valueStart);
            
            if (!IsFloatApproxEqual(valA, valB, tolerance))
                return false;
            
            pos += 9; // 标记位1字节 + double8字节
        }
        else
        {
            // 非浮点数部分精确逐字节对比
            if (a[pos] != b[pos])
                return false;
            pos++;
        }
    }
    return true;
}

private static bool IsFloatApproxEqual(double a, double b, double tolerance)
{
    // 处理NaN、正负无穷的特殊情况
    if (double.IsNaN(a) && double.IsNaN(b))
        return true;
    if (double.IsInfinity(a) && double.IsInfinity(b))
        return a == b;
    
    return Math.Abs(a - b) <= tolerance;
}

// 示例：根据序列化规则判断是否为double片段
private static bool IsDoubleSegment(byte[] arr, int pos)
{
    return pos + 8 < arr.Length && arr[pos] == 0x01;
}

2. 利用序列化框架做轻量级解析 #

如果字节数组是由Protobuf、MessagePack等结构化序列化工具生成的，可以直接用框架的流解析能力，逐字段读取并判断：

• 比如用Protobuf的CodedInputStream遍历所有字段，遇到WireType.Fixed64（对应double）或WireType.Fixed32（对应float）类型的字段时，做近似相等判断，其他字段保持精确对比。

无法绕过的核心前提 #

完全不解析字节数组结构的情况下，不可能区分浮点数和其他二进制数据，也就无法针对性做近似对比。上述方案本质是轻量级解析，只是不需要实例化完整对象，但必须依赖序列化规则来识别浮点数位置。

源头优化方案 #

如果轻量级解析难以实现，建议从存储或序列化环节解决问题：

• 改用Postgres的numeric类型存储浮点数，避免二进制浮点精度损失；
• 序列化前对浮点数做格式化（比如保留固定小数位数），确保存储前后的二进制表示完全一致。

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