Equals方法和==运算区别研究

Equals方法和==运算的区别是一个比较重要的课题。引用类型缺省的Equals方法实现在System.Object类型中。在《.NET 框架程序设计（修订版）》中列出了System.Object类的Equals方法实现方法：

class Object
{
    public virtual Boolean Equals(Object obj)
    {
        //如果两个引用指向的是同一个对象，
        //它们肯定相等。
        if (this == obj) return true;

        //假定两个对象不相等。
        return false;
    }
}

从上面的代码中可以看到，在System.Object类的Equals方法返回的值和==运算是一致的。于是专门做了个C#的试验研究了一下。

class CBase
{
    public int i;
    public CBase(int n)
    {
        i = n;
    }
}

class CDerive : CBase
{
    public CDerive(int n) : base(n)
    {
    }
}

class SBase
{
    public int i;
    public SBase(int n)
    {
        i = n;
    }
}

class SDerive : SBase
{
    public SDerive(int n) : base(n)
    {
    }
}

class TestMain
{
    [STAThread]
    static void Main(string[] args)
    {
        //两个相同值的整型。
        int i = 5;
        int j = 5;
        Console.WriteLine((i == j) + " " + i.Equals(j));//Ture True
        //相同值的整型和浮点型。
        float f = 5;
        Console.WriteLine((i == f) + " " + i.Equals(f));//Ture False
        //两个相同的对象。
        CDerive a = new CDerive(4);
        CDerive b = new CDerive(4);
        Console.WriteLine((a == b) + " " + a.Equals(b));//False False
        //指向同一对象的不同变量。
        CDerive c = a;
        Console.WriteLine((a == c) + " " + a.Equals(c));//True True
        //指向同一对象的不同类型的变量。
        CBase d = a;
        Console.WriteLine((a == d) + " " + a.Equals(d));//True True
        //两个相同的结构。
        SDerive A = new SDerive(4);
        SDerive B = new SDerive(4);
        Console.WriteLine((A == B) + " " + A.Equals(B));//False False
        //指向同一结构的不同变量。
        SDerive C = A;
        Console.WriteLine((A == C) + " " + A.Equals(C));//True True
        //指向同一结构的不同类型的变量。
        SBase D = A;
        Console.WriteLine((A == D) + " " + A.Equals(D));//True True
        //装箱为Object的基元变量。
        object s = i;
        object t = j;
        Console.WriteLine((s == t) + " " + s.Equals(t));//False True
        //装箱为ValueType的基元变量。
        ValueType u = i;
        ValueType v = j;
        Console.WriteLine((u == v) + " " + u.Equals(v));//False True
    }
}

CBase
{
    public int i;
    public CBase( int n)
    {
        i = n;
    }
}

class CDerive : CBase
{
    public CDerive( int n) : base (n)
    {
    }
}

class SBase
{
    public int i;
    public SBase( int n)
    {
        i = n;
    }
}

class SDerive : SBase
{
    public SDerive( int n) : base (n)
    {
    }
}

class TestMain
{
    [STAThread]
    static void Main( string [] args)
    {
        //两个相同值的整型。
        int i = 5;
        int j = 5;
        Console.WriteLine((i == j) + " " + i.Equals(j)); //Ture True
        //相同值的整型和浮点型。
        float f = 5;
        Console.WriteLine((i == f) + " " + i.Equals(f)); //Ture False
        //两个相同的对象。
        CDerive a = new CDerive(4);
        CDerive b = new CDerive(4);
        Console.WriteLine((a == b) + " " + a.Equals(b)); //False False
        //指向同一对象的不同变量。
        CDerive c = a;
        Console.WriteLine((a == c) + " " + a.Equals(c)); //True True
        //指向同一对象的不同类型的变量。
        CBase d = a;
        Console.WriteLine((a == d) + " " + a.Equals(d)); //True True
        //两个相同的结构。
        SDerive A = new SDerive(4);
        SDerive B = new SDerive(4);
        Console.WriteLine((A == B) + " " + A.Equals(B)); //False False
        //指向同一结构的不同变量。
        SDerive C = A;
        Console.WriteLine((A == C) + " " + A.Equals(C)); //True True
        //指向同一结构的不同类型的变量。
        SBase D = A;
        Console.WriteLine((A == D) + " " + A.Equals(D)); //True True
        //装箱为Object的基元变量。
        object s = i;
        object t = j;
        Console.WriteLine((s == t) + " " + s.Equals(t)); //False True
        //装箱为ValueType的基元变量。
        ValueType u = i;
        ValueType v = j;
        Console.WriteLine((u == v) + " " + u.Equals(v)); //False True
    }
}

比较之下，缺省实现的Equals方法和==运算符并不一定完全返回相同的值。不过仔细辨别以后就可以发现上面的例子中并不都执行System.Object类的Equals方法。比如“i.Equals(f)”中，由于i是整行变量，因此这里执行的Equals方法是System.Int32的Equals方法；在“s.Equals(t)”中，虽然s是System.Objecto类型的变量，但它的内容却是System.Int32类型的，因此执行的也是System.Int32的Equals方法；最后个例子的“u.Equals(v)”和“s.Equals(t)”一样，执行的仍然是“s.Equals(t)”方法，而==运算则仍然是System.Object类的，故此出现了Equals方法和==运算结果不同的情况。

从这些实例中我们可以总结出Equals方法和==运算符究竟有什么不同，以便在重写Equals方法和==运算符时有所借鉴。

一般情况下，Equals方法着重于比较两个变量所指对象的类型和值，但并不要求这两个变量必须是引用同一对象。“i.Equals(f)”的值之所以是False，就是因为变量i和变量f的类型是不同的，前者是整型而后者是浮点型。“a.Equals(b)”和“A.Equals(B)”的值应该是True，因为a和b与A和B虽然不是同一对象，但值是相同的，之所以结果是False，是因为它们调用的是System.Object类和System.ValueType类的Equals方法，因此需要我们重写Equals方法使“a.Equals(b)”和“A.Equals(B)”反回的结果为True。

对于引用类型，==运算只有在比较的双方引用的是同一对象时才会返回True，因此一般情况下不用重写==运算。对于值类型，只要在概念上存在相等关系，==运算就会返回True，即使这两个对象的类型不同。s == t和u == v值为False说明在同样的值类型的变量在装箱后产生的引用对象是不同的。i == f的值为True则说明对于值类型，==运算只求概念上相等，不比较方法的类型。