13

我认为这种方法是有效的,但我错了:

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方法中动态调用它。

4

4 回答 4

21

阅读规范对您有好处,但您过早停止阅读。如果您进一步阅读,您将了解这一点:


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

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

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

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


错误不是来自重载解决方案;错误是重载决议会选择预定义的引用类型相等运算符,并且您没有引用类型。

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

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


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

于 2011-04-27T17:31:55.880 回答
9

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

于 2011-04-27T17:30:54.563 回答
1

我喜欢用EqualityComparer<T>.Default这个。

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

EqualityComparer<T>.Default.Equals(x, y)
于 2011-04-27T17:47:22.777 回答
-1

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

于 2011-04-27T17:30:28.467 回答