Equals 方法的奇怪行为

Question

根据这个答案 https://stackoverflow.com/a/8315745/5324847 .Net 应该通过反射或按位比较值类型。但是，如果我们查看这段代码，我们会发现两者都不是（或者两者都不是？？）。

//Bitwise test
//if .Net compares bitwise then last line should be false
//if it uses reflections then last line should be true
float a = -0.0f;
float b = 0.0f;
Console.WriteLine(string.Join("",BitConverter.GetBytes(a))); //prints 000128
Console.WriteLine(string.Join("",BitConverter.GetBytes(b))); //prints 0000
Console.WriteLine(a == b); //True
Console.WriteLine(a.Equals(b)); //prints True


//Reflection test
//if .Net compares using reflection then last line should be false
//if it uses bitwise comparsion then last line should be true
a = float.NaN;
b = float.NaN;
Console.WriteLine(string.Join("",BitConverter.GetBytes(a))); //prints 00192255
Console.WriteLine(string.Join("",BitConverter.GetBytes(b))); //prints 00192255
Console.WriteLine(a == b); //False
Console.WriteLine(a.Equals(b)); //prints True

如果我们将变量包装在结构中，.Net 使用按位比较。 证明：

public struct FloatS
{
    public float x; 
}
public static void Main()
{
    //bitwise test
    //if .Net compares bitwise then last line should be false
    //if it uses reflections then last line should be true
    FloatS a = new FloatS();
    FloatS b = new FloatS();
    a.x = -0.0f;
    b.x = 0.0f;
    Console.WriteLine(string.Join("",BitConverter.GetBytes(a.x))); //prints 000128
    Console.WriteLine(string.Join("",BitConverter.GetBytes(b.x))); //prints 0000
    Console.WriteLine(a.x == b.x); //True
    Console.WriteLine(a.Equals(b)); //prints False -- this time corectly because it's bitwise comparsion


    //Reflection test
    //if .Net compares using reflection then last line should be false
    //if it uses bitwise comparsion then last line should be true
    a.x = float.NaN;
    b.x = float.NaN;
    Console.WriteLine(string.Join("",BitConverter.GetBytes(a.x))); //prints 00192255
    Console.WriteLine(string.Join("",BitConverter.GetBytes(b.x))); //prints 00192255
    Console.WriteLine(a.x == b.x); //False
    Console.WriteLine(a.Equals(b)); //prints True - also corectly
}

我的假设是 .Net 对原始类型使用 Equals 的不同实现。但这似乎不正确，因为 float 和 struct 类型都可以转换为 System.ValueType。

谁能解释发生了什么？

Answer 1

根据 ....NET 应该通过反射或按位比较值类型。

您误读了关于用户定义的值类型的答案。

• 对于==，使用仅针对浮点数的特殊指令来比较浮点数。零和负零相等，NaN 不等于任何东西，甚至不等于自身，等等。

• 任何类型都可以覆盖Equals，System.Single 可以这样做。浮点数上的x.Equals(y) 具有(x == y) || (IsNaN(x) && IsNaN(y)) 的语义。我不知道为什么Equals 和== 具有不同的行为，尽管可能是为了确保浮点数上的Equals 是等价关系，这对于某些应用程序是必要的，例如将浮点数放入哈希表。 （更新：我的假设是正确的；请参阅下面的评论。）

如果您编写用户定义的值类型并且不提供自己的Equals，那么您将获得默认值类型，正如您所注意到的那样有两个大问题：

• 有时效率不高
• 包装浮点数的结构不会自动获得浮点相等行为。更一般地说，包装 T 的结构不会自动获得 T 相等行为。

我的假设是 .NET 对原始类型使用 Equals 的不同实现。但这似乎不正确，因为 float 和 struct 类型都可以转换为 System.ValueType。

这一段对我来说是零意义，所以要么我误解了你，要么你相信一些关于继承的完全错误的东西。每种类型都可以覆盖Equals。这与用户代码可以装箱任何不可为空的值类型这一事实有什么关系？我看不出你这两个句子之间的联系，而且你相信有一个这一事实表明有人在这里有错误的信念。