根据MSDN中==操作符的文档,

For predefined value types, the equality operator (==) returns true if the values of its operands are equal, false otherwise. For reference types other than string, == returns true if its two operands refer to the same object. For the string type, == compares the values of the strings. User-defined value types can overload the == operator (see operator). So can user-defined reference types, although by default == behaves as described above for both predefined and user-defined reference types.

那么为什么这个代码片段编译失败呢?

bool Compare<T>(T x, T y) { return x == y; }

我得到错误操作符'=='不能应用于类型为'T'和'T'的操作数。我想知道为什么,因为据我所知==操作符是预定义的所有类型?

编辑:谢谢大家。一开始我并没有注意到这个语句只是关于引用类型的。我还认为为所有值类型提供了逐位比较,现在我知道这是不正确的。

但是,如果我使用引用类型,==操作符是否会使用预定义的引用比较,或者如果类型定义了引用比较,它是否会使用操作符的重载版本?

编辑2:通过反复试验,我们了解到==操作符在使用不受限制的泛型类型时将使用预定义的引用比较。实际上,编译器将使用它可以为受限类型参数找到的最佳方法,但不会再寻找其他方法。例如,下面的代码将始终打印true,即使当Test。test<B>(new B(), new B())调用:

class A { public static bool operator==(A x, A y) { return true; } }
class B : A { public static bool operator==(B x, B y) { return false; } }
class Test { void test<T>(T a, T b) where T : A { Console.WriteLine(a == b); } }

当前回答

你可以用c# 11和。net 7+来实现:

    static void Main()
    {
        Console.WriteLine(Compare(2, 2));
        Console.WriteLine(Compare(2, 3));
    }
    static bool Compare<T>(T x, T y) where T : IEqualityOperators<T, T, bool>
    {
        return x == y;
    }

(您可能更喜欢使用where T: INumber<T>,这涵盖了这个场景和更多内容,但这取决于您的具体需求;并非所有的相等类型都是数字)

其他回答

编译器不能知道T不是struct(值类型)。所以你必须告诉它它只能是参考类型,我认为:

bool Compare<T>(T x, T y) where T : class { return x == y; }

这是因为如果T可以是一个值类型,那么在某些情况下x == y可能是病态的——在类型没有定义运算符==的情况下。同样的情况也会发生在这个更明显的地方:

void CallFoo<T>(T x) { x.foo(); }

这也失败了,因为你可以传递一个没有函数foo的类型T。c#强迫你确保所有可能的类型都有一个函数foo。这是由where子句完成的。

我写了下面的函数来查看最新的msdn。它可以很容易地比较两个对象x和y:

static bool IsLessThan(T x, T y) 
{
    return ((IComparable)(x)).CompareTo(y) <= 0;
}

. equals()适合我,而TKey是一个泛型类型。

public virtual TOutputDto GetOne(TKey id)
{
    var entity =
        _unitOfWork.BaseRepository
            .FindByCondition(x => 
                !x.IsDelete && 
                x.Id.Equals(id))
            .SingleOrDefault();


    // ...
}

一般情况下,EqualityComparer<T>. default。对于任何实现了IEquatable<T>或具有合理的Equals实现的东西,Equals都应该完成这项工作。

然而,如果==和=因为某种原因实现不同,那么我在泛型操作符方面的工作应该是有用的;它支持以下操作符版本:

等于(tvalue1, tvalue2) notqual (T value1, T value2) GreaterThan(T value1, T value2) 小于(T value1, T value2) GreaterThanOrEqual(tvalue1, tvalue2) LessThanOrEqual(T value1, T value2)

如果你想确保你的自定义类型的操作符被调用,你可以通过反射来实现。只需使用您的泛型参数获取类型,并为所需的操作符检索MethodInfo(例如op_Equality, op_Inequality, op_LessThan…)

var methodInfo = typeof (T).GetMethod("op_Equality", 
                             BindingFlags.Static | BindingFlags.Public);    

然后使用MethodInfo的Invoke方法执行操作符,并将对象作为参数传入。

var result = (bool) methodInfo.Invoke(null, new object[] { object1, object2});

这将调用重载操作符,而不是应用在泛型参数上的约束所定义的操作符。可能不实用,但在使用包含几个测试的泛型基类时,可以方便地对操作符进行单元测试。