带有泛型函数参数的运算符重载

Question

我对泛型方法的运算符解析有疑问。

根据我对函数 EqualOperatorGeneric（下面的示例代码）中规范第 7.3.4 节的理解，应该找到类型 A 上 == 运算符的正确重载，但它似乎获得了 (object , 对象）。

我是不是在做一些非常明显的错误？有没有一种方法可以获得预期的行为，如果没有，我可以将给定的情况变成编译时或运行时错误吗？

public class A
{
    public A(int num)
    {
        this.Value = num;
    }

    public int Value { get; private set; }

    public override bool Equals(object obj)
    {
        var other = obj as A;
        if (Object.ReferenceEquals(other, null))
            return false;

        return Object.Equals(this.Value, other.Value);
    }

    public override int GetHashCode()
    {
        return this.Value.GetHashCode();
    }

    public static bool operator ==(A l, A r)
    {
        if (Object.ReferenceEquals(l, null))
        {
            return !Object.ReferenceEquals(r, null);
        }

        return l.Equals(r);
    }

    public static bool operator !=(A l, A r)
    {
        return !(l == r);
    }
}

class Program
{
    static void Main(string[] args)
    {
        Console.WriteLine(EqualOperatorGeneric(new A(1), new A(1)));
    }

    public static bool EqualOperatorGeneric<L, R>(L l, R r)
        where L : class
        where R : class
    {
        return l == r;
    }
}

输出：

错误

Answer 1

编译EqualOperatorGeneric 时，== 运算符需要在编译方法时静态绑定到单个实现。对于泛型方法的每个单独使用，它没有单独绑定。

这就是泛型与 C++ 模板的区别。泛型方法被编译一次，然后应用到每组类型参数的每次使用中，而模板是为每组泛型参数单独编译的。

Answer 2

在浏览了规范之后，我意识到您可以使用 dynamic 关键字将运算符的绑定从编译时推迟到运行时。这解决了我一直遇到的问题：

public static bool EqualOperatorGeneric<L, R>(L l, R r)
{
    dynamic dl = l, dr = r;
    return dl == dr;
}