C# 中的字符串相等运算符 ==

Question

我试图查看 C# 中字符串类中比较运算符实现的代码。发现的是这样的：

//THIS IS NOT WHAT I MEANT
public static bool Equals(object objA, object objB)
{
    return ((objA == objB) || (((objA != null) && (objB != null)) && objA.Equals(objB)));
}

//THIS IS WHAT I SEE REALLY and the above is what I would expect to see
public static bool Equals(string a, string b)
{
    return ((a == b) || (((a != null) && (b != null)) && EqualsHelper(a, b)));
}



public static bool operator ==(string a, string b)
{
    return Equals(a, b);
}

我不知道是否是 Reflector 在欺骗我，但是当我尝试为我自己的类实现这个策略时，我在 Equals 和重载的 == 运算符之间出现了无限循环（如预期的）。字符串类中是否有什么不同，或者是我的反射器将

static Equals(object o1, object o2)

对象类上的方法报告为字符串类的一部分？

Answer 1

C# 中的相等运算符不是多态的。当您计算 objA == objB 时，您实际上执行的是 ==(object a, object b) 运算符实现（检查引用相等性），而不是执行>==(string a, string b)，因为objA和objB变量的声明类型是object，而不是字符串。

您在代码中可能犯的错误是，在对类实例评估 == 运算符之前，您没有将类实例转换为 object 。

假设您有：

public static bool Equals(MyClass objA, MyClass objB)
{
    return objA == objB || objA != null && objB != null && objA.Equals(objB);
}

...您需要将其替换为：

public static bool Equals(MyClass objA, MyClass objB)
{
    return (object)objA == (object)objB || objA != null && objB != null && objA.Equals(objB);
}

...这相当于：

public static bool Equals(MyClass objA, MyClass objB)
{
    return object.ReferenceEquals(objA, objB) || objA != null && objB != null && objA.Equals(objB);
}

更新：String类包含两者一个static bool Equals(string a, string b) 方法和一个static bool Equals(object a, object b) 方法。区别在于前者是在 String 类本身中定义的，而后者是从 Object 类（它是 String 的基类）继承的。代码>）。您的反射器可能会也可能不会根据其设置显示继承的方法。

在您发布的代码中，由于 objA 和 objB 的声明类型是 object，因此带有 object 的运算符无论实例的实际类型如何，都会调用参数。

更新₂：您更新的代码似乎包含无限递归。我认为这可能是反射器工具中的错误。

更新₃：这似乎是反汇编中的错误。 Equals(string a, string b) 运算符实现中的第一个条件在反汇编的 C# 代码中显示为 a == b。然而，IL 代码的前几行实际上是：

ldarg.0
ldarg.1
bne.un.s IL_0006

ldc.i4.1
ret

bne.un.s 被定义为“如果两个无符号整数值不相等（无符号值），短格式，则分支到指定偏移处的目标指令。”

因此，看起来引用相等毕竟正在执行。

Answer 2

没有 String.Equals(object, object) 方法。
您正在看到Object.Equals。

它不递归的原因是 objA == objB 调用内置对象相等运算符，而不是自定义字符串相等运算符。
（运算符重载根据操作数的编译时类型来解决）

Answer 3

一个不太令人困惑的解决方案：不要使用 == 运算符：

public static bool Equals(MyClass a, MyClass b) 
{ 
    return ReferenceEquals(a, b)
        || ((!ReferenceEquals(a, null) && !ReferenceEquals(b, null)) && a.Equals(b))); 
} 

Answer 4

它引用的 equals 方法是这样的：

public static bool Equals(string a, string b)
{
    /* == is the object equals- not the string equals */
    return a == b || (a != null && b != null && string.EqualsHelper(a, b));
}

public static bool operator ==(string a, string b)
{
    return string.Equals(a, b);
}

即一个 equals 方法接受两个字符串而不是两个对象。