仅当变量类型是派生类时才有效？

Question

我有以下代码：

class Program
{
    static void Main(string[] args)
    {
        Test test = new Test();
        object objTest = test;

        Console.WriteLine(test.GetType());    // Output: "OperatorOverload.Test"
        Console.WriteLine(objTest.GetType()); // Output: "OperatorOverload.Test"

        Console.WriteLine(test == null);    // Output: "True"
        Console.WriteLine(objTest == null); // Output: "False"

        test.Equals(null);    // Output: "Hi!"
        objTest.Equals(null); // Output: "Hi!"

        Console.ReadLine();
    }
}

测试如下：

class Test
{

    public static bool operator ==(Test obj1, Test obj2)
    {
        return true;
    }

    public static bool operator !=(Test obj1, Test obj2)
    {
        return !(obj1 == obj2);
    }

    public override bool Equals(object obj)
    {
        Console.WriteLine("Hi!");
        return true;
    }

}

似乎运算符重载仅在您处理的变量类型是定义运算符重载的类时才有效。我明白为什么会这样，因为我正在寻找一种安全的方法检查对象是否等于null。

我的问题是：

只有当变量的类型是定义运算符的类时，重载运算符才有效（我的代码告诉我是的，但我可能会犯错误）？

以下代码是检查对象是否等于 null 的安全方法吗？

SomeClass obj = new SomeClass(); // may have overloaded operators
if ((object)obj == null)
{
    // ...
}

Answer 1

以下代码是检查对象是否等于 null 的安全方法吗？

if ((object)obj == null)

是的。不过，我个人更喜欢：

if (object.ReferenceEquals(obj, null))

因为现在对代码的读者来说，一清二楚正是这里发生的事情。

您可能有兴趣阅读我关于使 Equals 和 operator== 如此古怪的设计因素的文章：

http://blogs.msdn.com/b/ericlippert/archive/2009/04/09/double-your-dispatch-double-your-fun.aspx

Answer 2

在 C# overriding 中，重载运算符本质上会创建一个静态方法，其名称类似于 op_xxx（例如 op_Add、op_Equality）。在您的问题中，test == null 之类的 Test.op_Equality(test, null) 行为显然会返回 true。而objTest == null 调用Object.op_Equality(test, null) 返回false。另一方面，你重写了虚方法Equals，所以test.Equals和objTest.Equals的结果是一样的。