C＃中泛型的比较

Question

为什么这段代码打印错误？

    class Program
{
    public static void OpTest<T>(T s, T t) where T : class
    {
        Console.WriteLine(s == t);
    }

    static void Main()
    {
        string s1 = "string";
        System.Text.StringBuilder sb = new System.Text.StringBuilder(s1);
        string s2 = sb.ToString();
        OpTest(s1, s2);
    }
}

我是否正确理解，比较时，它们不是作为字符串进行比较，而是作为对象进行比较，这就是为什么不比较它们的值，而是它们指向的地址？

Answer 1

从==运算符的文档 ：

对于预定义的值类型，如果操作数的值相等，则相等运算符（ == ）返回true ，否则返回false 。 对于除string之外的引用类型，如果其两个操作数引用同一对象，则==返回true 。 对于string类型， ==比较string的值。

由于T不能保证是值类型，因为它是通用的，因此编译器必须假定它是引用类型。

Answer 2

我通常会在评论中同意你，但你的例子特别好。

我是否正确理解，比较时，它们不是作为字符串进行比较，而是作为对象进行比较，这就是为什么不比较它们的值，而是它们指向的地址？

实际上并非如此。

如==文档中所述，

对于除string之外的引用类型，如果其两个操作数引用同一对象，则==返回true。 对于string类型， ==比较string的值。

在您的特定情况下，原因是您在比较它们之前将它们作为泛型。 但如果这些是字符串对象，则会比较该值 。

Answer 3

我发现创建一个非通用的OpTest方法来确认发生了什么是有帮助的。 泛型方法将参数视为Object类型，并且不对String使用==重载，这是比较值的特殊情况。

在这两种情况下，参数都是String类型，但泛型方法在进行比较时会“一般”处理它们。

void Main()
{
    string s1 = "string";
    System.Text.StringBuilder sb = new System.Text.StringBuilder(s1);
    string s2 = sb.ToString();
    TestClass.OpTest(s1, s2);
    TestClass.OpTest<string>(s1, s2);

    // OpTest: s is System.String, t is System.String
    // True
    // OpTest<T>: s is System.String, t is System.String
    // False
}

public class TestClass
{
    public static void OpTest(string s, string t)
    {
        Console.WriteLine($"OpTest: s is {s.GetType()}, t is {t.GetType()}");
        // Uses String's == operator, which compares the values
        Console.WriteLine(s == t);
    }

    public static void OpTest<T>(T s, T t) where T : class
    {
        Console.WriteLine($"OpTest<T>: s is {s.GetType()}, t is {t.GetType()}");
        // Uses Object's == operator, which is a reference comparison
        Console.WriteLine(s == t);
    }
}