开发人员经常都要边写代码来比较不同的对象。例如,有时需要将对象放到一个集合中,并编写代码对集合中的对象进行排序、搜索或者比较。本节将讨论相等性和同一性,还将讨论如何定义一个正确实现了对象相等性的类型。
System.Object类型提供了一个名为Equals的虚方法,它的作用是在两个对象包含相同的值的前提下返回true . object 的Equals方法是像下面这样实现的:
public class Object{
public virtual Boolean Equals(Object obj){
//如果两个引用指向同一个对象,它们肯定包含相同的值
if(this == obj) return true;
//假定对象不包含相同的值
return false;
}
}
初一看,这似乎是Equals的一个合理的实现:假如this和obj实参引用同一个对象,就返回true 。之所以看起来合理,是因为Equals知道一个对象肯定包含和它自身一样的值。然而,假如实参引用不同的对象,Equals就不能肯定对象是否包含相同的值,所以会返回false. 换言之,对于Object的Equals方法的默认实现来说,它实现的实际上是同一性(indentity),而非相等性(equality).
遗憾的是,Object的Equals方法的默认实现看起来并不合理,而且它永远都应该像这样实现。研究一个类的继承层次结构,并思考如何正确重写Equals方法,马上会发现问题出现在哪里。下面展示了如何在内部正确实现一个Equals方法。