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
}
}
{
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则说明对于值类型,==运算只求概念上相等,不比较方法的类型。