运算符 '==' 不能应用于类型 T？

Question

我认为这个方法是有效的但我错了：

static void Equals<T>(T x, T y)
{
    return x == y;    //operator == can't be applied to type T
}

阅读规范后（v3.0 中的第 7.2.4 节和 v4.0 中的第 7.3.4 节）：

7.2.4 二元运算符重载解析

x 形式的运算 op y，其中 op 是可重载的 二元运算符，x 是 类型 X，y 是类型的表达式 Y，处理如下：

• 候选用户定义运算符集 由 X 和 Y 提供用于操作 确定算子 op(x, y)。这 集合由 X 提供的候选运算符和 Y提供的候选运算符， 每个使用的规则确定 §7.2.5。如果 X 和 Y 是同一类型， 或者如果 X 和 Y 来自于 公共基础类型，然后共享 候选运算符仅出现在 合集一次。

• 如果集合 候选用户定义的运算符是 不为空，则这成为集合 的候选运营商 手术。否则，预定义的 二元运算符 op 实现， 包括他们的提升形式，成为 的候选运算符集 手术。预定义的 给定运算符的实现 在描述中指定 运算符（第 7.7 节到第 7.11 节）。

• 第 7.4.3 节的重载决策规则应用于候选运算符集，以选择关于参数列表 (x, y) 的最佳运算符，该运算符成为重载决策的结果过程。如果重载决策未能选择单个最佳运算符，则会发生编译时错误。

在第 2 步中，我认为应该应用这个预定义的实现：

bool operator ==(object x, object y);
bool operator !=(object x, object y);

因为 C# 中的所有内容都派生自 Object。步骤 3 中如何发生编译时错误？在这种情况下，我认为不可能出现“重载分辨率无法选择”。

编辑当我实施这样的事情时，我想到了这个问题：

class EnumComparer<TEnum> : IEqualityComparer<TEnum>
{
    public bool Equals(TEnum x, TEnum y)
    {
        return x == y;
    }
    public int GetHashCode(TEnum obj)
    {
        return (int)obj;
    }
}

恐怕我需要构建一个表达式并在Equals方法中动态调用它。

Answer 1

使用.Equals() 方法并确保T 实现IComparable

Answer 2

如果它知道where T : class 进行参考比较，这可能会起作用。操作员通常很少支持泛型，但有一些变通方法。 MiscUtil 在泛型上提供indirect support for operators，否则EqualityComparer<T>.Default.Equals(x,y) 是一个不错的选择。

Answer 3

阅读规范对您很有帮助，但您过早停止阅读。如果您进一步阅读，您将了解这一点：

---

预定义的引用类型相等运算符需要以下之一：

• 两个操作数都是已知为引用类型或文字 null 的类型的值。此外，存在从任一操作数类型到另一操作数类型的显式引用转换。

• 一个操作数是 T 类型的值，其中 T 是类型参数，另一个操作数是字面量 null。此外，T 没有值类型约束。

除非这些条件之一为真，否则会发生绑定时错误。 (*)

---

错误不是来自重载决议；错误在于重载解析会选择预定义的引用类型相等运算符，而您没有引用类型。

考虑您的代码。是什么阻止了 T 成为一个没有定义相等运算符的值类型？没有。假设我们退回到对象版本；两个操作数都会装箱到不同的位置，因此即使它们具有相同的内容，它们也是不相等的。由于这很慢、令人困惑和错误，因此尝试也是违法的。

你为什么首先尝试做这件事？如果您的方法有效，但它没有，那么您的方法将比首先使用 == 更更糟糕。您打算通过这种方法为世界增加什么价值？

---

(*) 我已经向规范维护者报告了这句话中的语法错误。

Answer 4

我喜欢为此使用EqualityComparer<T>.Default。

它基于重写的Equals 方法，但在可用时使用IEquatable<T>，避免对实现它的值类型进行装箱。

EqualityComparer<T>.Default.Equals(x, y)