Net有四个判等函数？不少人看到这个标题会对此感到怀疑事实上确是如此Net提供了ReferenceEquals静态Equals具体类型的Equals以及==操作符这四个判等函数但是这四个函数之间有细微的关系改变其中一个函数的实现会影响到其他函数的操作结果
首先要说的是ObjectReferenceEquals和ObjectEquals这两个静态函数对于它们俩来说是不需要进行重写的因为它们已经完成它们所要得做的操作对于ObjectReferenceEquals这个静态函数函数形势如下
public static bool ReferenceEquals（ object left object right ）
这个函数就是判断两个引用类型对象是否指向同一个地址有此说明后就确定了它的使用范围即只能对于引用类型操作那么对于任何值类型数据操作即使是与自身的判别都会返回false这主要因为在调用此函数的时候值类型数据要进行装箱操作也就是对于如下的形式来说
int n =
ObjectReferenceEquals（ n n ）
这是因为对于n这个数据装箱两次而每次装箱后的地址有不同而造成ObjectReferenceEquals（ n n ）的结果永远为false
对于第一个判等函数来说没有什么好扩展的因为本身已经很好地完成了它所要做的
对于第二个ObjectEquals这个静态函数其形式如下
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 leftEquals（ right ）
}
可以说ObjectEquals这个函数完成判等操作需要经过三个步骤第一步是需要根据对象所属类型的==操作符的执行结果第二步是判别是否为null也是和第一步一样需要根据类型的==操作符的执行结果最后一步要使用到类型的Equals函数的执行结果也就是说这个静态函数的返回结果要取决于后面要提到的两个判等函数类型是否提供相应的判等函数成为这个函数返回结果的重要因素
那么对于ObjectEquals这个静态方法来说虽说接受参数的类型也属于引用类型但是不同于ObjectReferenceEquals函数对于如下的代码能得出正确的结果
int n =
DebugWriteLine（ stringFormat（ {} ObjectEquals（ n n ） ） ）
DebugWriteLine（ stringFormat（ {} ObjectEquals（ n ） ） ）
这是因为在此函数中要用到具体类型的两个判等函数不过就函数本身而言该做的判断都做了因此不需要去重载添加复杂的操作
为了更好的述说剩下两个函数先解释一下等价的意义对于等价的意义就是自反对称以及传递
所谓自反即a == a
而对称是a == b则b == a
传递是 a == bb == 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 equality
if（ objectReferenceEquals（ this right ） ）
return true
//check type
if（ thisGetType（） ！= rightGetType（） ）
return false
//convert to current type
KeyData rightASKeyData = right as KeyData
//check members value
return thisData == rightASKeyDataData
}
}
如上增加了一个类型检查即
if（ thisGetType（） ！= rightGetType（） ）这部分这是由于子类对象可以通过as转化成基类对象从而造成不同类型对象可以进行判等操作违反了等价关系
除此外对于类型的Equals函数来其实并没有限制类型非要属于引用类型对于值类型也是可以重载此函数但是我并不推荐主要是Equals函数的参数类型是不可变的也就是说通过此方法值类型要经过装箱操作而这是比较影响效率的
而对于值类型来说我推荐使用最后一种判等函数即重载运算符==函数其大致形式如下
public static bool operator == （ KeyData left KeyData right ）
对于一个值类型而言其的大致形式应该如下
public struct KeyData
{
private int nData
public int Data
{
get{ return nData }
set{ nData = value }
}
public static bool operator == （ KeyData left KeyData right ）
{
return leftData == rightData
}
public static bool operator ！= （ KeyData left KeyData right ）
{
return leftData ！= rightData
}
}
由于==操作与！=操作要同步定义所以在定义==重载函数的时候也要定义！=重载函数这也是Net在判等操作保持一致性那么对于最后一个判等函数这种重载运算符的方法并不适合引用类型这就是Net经常现象去判断两个引用类型不要用==而要用某个对象的Equals函数所以在编写自己类型的时候要保留这种风格
那么对于以上介绍的四种判等函数会产生如下类似的对比表格操作结果取决于 适用范围 建议ObjectReferenceEquals 两个参数对象是否属于同一个引用 引用类型 不要用它来判断值类型数据ObjectEquals 参数类型自身的判等函数 无限制 考虑装箱操作对值类型数据产生的影响类型的Equals 类型重载函数 无限制 考虑装箱操作对值类型数据产生的影响类型的==重载 类型重载函数 无限制 不要在引用类型中重载此运算符那么在编写类型判等函数的时候要注意些什么呢给出如下几点建议
首先要判断当前定义的类型是否具有判等的意义
其次定义类型的判等函数要满足等价规则
最后一点值类型最好不要重载定义Equals函数而引用类型最好不要重载定义==操作符
