.NET中Equals方法的异常行为：float与自定义结构体对比

这个问题的核心原因其实很直接：虽然float和自定义值类型都继承自System.ValueType，但float作为CLR基元类型，已经重写了Equals方法，实现了符合IEEE 754浮点数标准的语义；而你的自定义结构体FloatS没有重写Equals，所以会使用ValueType的默认逐位比较逻辑。

我们拆开来详细说：

1. System.ValueType的默认Equals逻辑 #

当一个值类型没有显式重写Equals时，ValueType提供的默认实现会做内存逐位比较（准确来说是比较每个值类型字段的内存位，对于只包含单个值类型字段的结构体，就是直接比较整个实例的内存）。这就是为什么你的FloatS结构体表现出逐位比较的行为：

• -0.0f和0.0f的二进制表示不同（符号位有差异），所以a.Equals(b)返回false
• 两个float.NaN的二进制表示完全一致，所以a.Equals(b)返回true

2. float（以及double）的特殊Equals实现 #

作为CLR的基元浮点数类型，float重写了Equals方法，完全遵循IEEE 754浮点数标准的语义：

• 对于-0.0f和0.0f：虽然它们的二进制表示不同，但IEEE标准将它们视为数值相等，所以Equals返回true（这和==运算符的行为一致）
• 对于NaN：IEEE标准规定NaN不等于任何值（包括它自己），所以==运算符返回false；但为了保证集合类（比如HashSet<float>）的一致性（否则你无法找到存入集合的NaN元素），Equals方法特意让NaN等于它自己，所以a.Equals(b)返回true

结合你的代码验证 #

看你第一个测试块：

float a = -0.0f;
float b = 0.0f;
Console.WriteLine(a.Equals(b)); // 输出True

这里调用的是float重写后的Equals，按数值相等判断，所以返回true。

而第二个测试块里的自定义结构体：

FloatS a = new FloatS { x = -0.0f };
FloatS b = new FloatS { x = 0.0f };
Console.WriteLine(a.Equals(b)); // 输出False

这里调用的是ValueType的默认逐位比较，因为两个实例的内存位不同，所以返回false。

同理，NaN的情况：float的Equals返回true（保证集合一致性），而自定义结构体的Equals也返回true（因为内存位相同），只是前者是重写后的逻辑，后者是默认逐位逻辑的巧合结果。

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