在泛型函数中使用重载operator ==

Question

请考虑以下代码:

class CustomClass
{
    public CustomClass(string value)
        { m_value = value; }

    public static bool operator ==(CustomClass a, CustomClass b)
        { return a.m_value == b.m_value; }

    public static bool operator !=(CustomClass a, CustomClass b)
        { return a.m_value != b.m_value; }

    public override bool Equals(object o)
        { return m_value == (o as CustomClass).m_value; }

    public override int GetHashCode()
        { return 0; /* not needed */ }

    string m_value;
}

class G
{
    public static bool enericFunction1<T>(T a1, T a2) where T : class
        { return a1.Equals(a2); }
    public static bool enericFunction2<T>(T a1, T a2) where T : class
        { return a1==a2; }
}

现在,当我调用两个泛型函数时,一个成功,一个失败:

var a = new CustomClass("same value");
var b = new CustomClass("same value");
Debug.Assert(G.enericFunction1(a, b)); // Succeeds
Debug.Assert(G.enericFunction2(a, b)); // Fails

显然,G.enericFunction2执行默认的operator ==实现而不是我的覆盖.任何人都可以解释为什么会这样吗？

Answer 1

来自类型参数的约束(C#编程指南):

在应用where T:class约束时,请避免使用type参数上的==和!=运算符,因为这些运算符将仅测试引用标识,而不是值相等.即使这些运算符在用作参数的类型中重载,也是如此.(...)这种行为的原因是,在编译时,编译器只知道T是引用类型,因此必须使用对所有引用类型都有效的默认运算符.