c# - 运算符 '==' 不能应用于类型 'T' 和 'T' 的操作数

Question

在下面的代码示例中，编译器提示 x.Id == reference.Id :

Operator '==' cannot be applied to operands of type 'TId' and 'TId'

在 SO 上已经提出了类似的问题，并且通过替换 == 解决了这些问题-运算符 IEquatable<> + Equals或 EqualityComparer<TEnum>.Default .

但是，由于对这个问题不重要的原因，这两种解决方案都不适合我。

我不是在寻找 == 的替代品运算符，我正在寻找为什么相等运算符不适用于泛型类型的解释。

public class Object<TId>
{
    public TId Id { get; set; }

    // Some other object properties...
}

public class ObjectReference<TId>
{
    public TId Id { get; set; }
}

public class ObjectStore<TId>
{
    private List<Object<TId>> _store = new List<Object<TId>>();

    public Object<TId> FindByReference(ObjectReference<TId> reference)
    {
        return _store.FirstOrDefault(x => x.Id == reference.Id);
    }
}

Answer 1

I'm not looking for a replacement for the == operator, I'm looking for an explanation why the compiler can't figure out that both generic properties are of the same type.

没有任何解释可以解释谎言。编译器可以并且确实发现这两个泛型属性属于相同的编译时类型，您可以用类似的东西来说明:

x.Id = reference.Id;

编译器会允许该赋值没有问题，因为它知道在编译时两个相同类型之间存在身份转换。

所以你一定是在寻找其他事情的解释。我认为您真正要寻找的是为什么运算符重载解析无法找到类型参数相等性的最佳运算符的理由。

答案是:C# 泛型类型不是 C++ 模板。在 C++ 中，如果您有 ex1 OP ex2，则确定其语义的运算符的解析将每次模板构造执行一次。在 C# 中，我们不这样做；我们对运算符执行一次重载决策，并且必须找到一个适用于所有可能的类型参数替换的运算符。

对于无约束类型的相等运算符，我们不能这样做；如果 TId 是 object 则必须执行引用相等；如果它是字符串，则必须执行字符串相等，如果它是 int，则必须执行 int 相等，如果它是“可空 Guid”，则必须执行提升到可空的 Guid 相等，依此类推。 C# 中没有广义相等运算符，只有特定相等运算符的集合，并且由于没有广义运算符，因此运算符重载决策没有可供选择的单一运算符。因此你会得到一个错误。

这就是为什么为了做到这一点，你通常会限制类型来实现一些可以使用的接口(interface)；我们可以一般地调用泛型类型的接口(interface)方法。

您已经拒绝了该问题的正确解决方案，因此如果不进一步了解您拒绝标准、安全、高效解决方案的原因，我们将无能为力。

现在，您可能会注意到，编译器可以生成代码，根据运行时类型，在运行时确定重载决议算法的决议是什么。如果没有过多的性能成本，C# 无法做到这一点；如果您愿意支付该费用，则将您的操作数转换为 dynamic。这告诉编译器您愿意在运行时接受重载解析失败，以换取在编译时不获取它们；当心!当您关闭安全系统时，您有责任确保程序的类型安全。