来源:新浪BLOG
http://blog.sina.com.cn/s/blog_4e3fdbf7010008uk.html
.Net有四个判等函数?不少人看到这个标题,会对此感到怀疑。事实上确是如此,.Net提供了ReferenceEquals、静态Equals,具体类型的Equals以及==操作符这四个判等函数。但是这四个函数之间有细微的关系,改变其中一个函数的实现会影响到其他函数的操作结果。
首先要说的是Object.ReferenceEquals和Object.Equals这两个静态函数,对于它们俩来说,是不需要进行重写的,因为它们已经完成它们所要得做的操作。对于Object.ReferenceEquals这个静态函数,函数形势如下:
public static bool ReferenceEquals( object left, object right );
这个函数就是判断两个引用类型对象是否指向同一个地址。有此说明后,就确定了它的使用范围,即只能对于引用类型操作。那么对于任何值类型数据操作,即使是与自身的判别,都会返回false。这主要因为在调用此函数的时候,值类型数据要进行装箱操作,也就是对于如下的形式来说。
int n = 10;
Object.ReferenceEquals( n, n );
这是因为对于n这个数据装箱两次,而每次装箱后的地址有不同,而造成Object.ReferenceEquals( n, n )的结果永远为false。
对于第一个判等函数来说,没有什么好扩展的,因为本身已经很好地完成了它所要做的。
对于第二个Object.Equals这个静态函数,其形式如下:
public static bool Equals( object left, object right );
按照书中对它的分析,其大致函数代码如下:
public static void Equals( object left, object right )
{
// Check object identity
if( left == right )
return true;
// both null references handled above
if( ( left == null ) || ( right == null ) )
return false;
return left.Equals( right );
}
可以说,Object.Equals这个函数完成判等操作,需要经过三个步骤,第一步是需要根据对象所属类型的==操作符的执行结果;第二步是判别是否为null,也是和第一步一样,需要根据类型的==操作符的执行结果;最后一步要使用到类型的Equals函数的执行结果。也就是说这个静态函数的返回结果,要取决于后面要提到的两个判等函数。类型是否提供相应的判等函数,成为这个函数返回结果的重要因素。
那么对于Object.Equals这个静态方法来说,虽说接受参数的类型也属于引用类型,但是不同于Object.ReferenceEquals函数,对于如下的代码,能得出正确的结果。
int n = 10;
Debug.WriteLine( string.Format( "{0}", Object.Equals( n, n ) ) );
Debug.WriteLine( string.Format( "{0}", Object.Equals( n, 10 ) ) );
这是因为在此函数中要用到具体类型的两个判等函数,不过就函数本身而言,该做的判断都做了,因此不需要去重载添加复杂的操作。
为了更好的述说剩下两个函数,先解释一下等价的意义。对于等价的意义,就是自反、对称以及传递。
所谓自反,即a == a;
而对称,是a == b,则b == a;
传递是 a == b,b == c,则 a == c;
理解等价的意义后,那么在实现类型的判等函数也要满足这个等价规则。
对于可以重载的两个判等函数,首先来介绍的是类型的Equals函数,其大致形式如下:public override bool Equals( object right );
那么对于一个类型的Equals要做些什么操作呢,一般来说大致如下:
public class KeyData
{
private int nData;
public int Data
{
get{ return nData; }
set{ nData = value; }
}
public override bool Equals( object right )
{
//Check null
if( right == null )
return false;
//check reference e