为什么使用泛型的"等于"方法解析与显式调用不同

Question

我有以下示例:

namespace ComparisonExample
{
    class Program
    {
        static void Main(string[] args)
        {
            var hello1 = new Hello();
            var hello2 = new Hello();

            // calls Hello.Equals
            var compareExplicitly = hello1.Equals(hello2);

            // calls Object.Equals
            var compareWithGenerics = ObjectsEqual<Hello>(hello1, hello2); 
        }

        private static bool ObjectsEqual<TValue>(TValue value1, TValue value2)
        {
            return value1.Equals(value2);
        }
    }

    class Hello : IEquatable<Hello>
    {
        public bool Equals(Hello other)
        {
            return true; // doesn't matter
        }
    }
}

问题是为什么在第二个"Equals"调用中,我被重定向到Object.Equals而不是Hello.Equals,即使我在泛型参数中指定了确切的类型？

Answer 1

因为您没有告诉您的对象实现的泛型方法IEquatable<T>:

立即尝试:

private static bool ObjectsEqual<TValue>(TValue value1, TValue value2) 
               where TValue : IEquatable<TValue> // IMPORTANT!!!
{
    return value1.Equals(value2);
}

在您的ObjectsEqual方法中,您只能访问类TValue中定义的方法/属性/字段以及object在约束中定义的接口/基类中定义的方法.无约束=>你只需要访问Equals(object),GetHashCode(),GetType(),(如果你有约束class:operator==,operator!=.)这两个都是虚拟(Equals(object),GetHashCode()),所以您将使用"正确"的版本,第三个没有正常覆盖(GetType()),所以你可能会使用"正确"的版本.只有两个操作员==/ !=经常被覆盖而且看得出来!在您的通用方法中,您不能使用两者的"正确"版本!:-)