这是因为在此函数中要用到具体类型的两个判等函数,不过就函数本身而言,该做的判断都做了,因此不需要去重载添加复杂的操作。

为了更好的述说剩下两个函数,先解释一下等价的意义。对于等价的意义,就是自反、对称以及传递。
所谓自反,即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 equality
            if( object.ReferenceEquals( this, right ) )
                return true;

            //check type
            if( this.GetType() != right.GetType() )
                return false;

            //convert to current type

            KeyData rightASKeyData = right as KeyData;

            //check members value
            return this.Data == rightASKeyData.Data;
        }
    }

如上增加了一个类型检查,即
if( this.GetType() != right.GetType() )
这部分,这是由于子类对象可以通过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 left.Data == right.Data;
        }

        public static bool operator != ( KeyData left, KeyData right )
        {
            return left.Data != right.Data;
        }

    }

由于==操作与!=操作要同步定义,所以在定义==重载函数的时候,也要定义!=重载函数。这也是.Net在判等操作保持一致性。那么对于最后一个判等函数,这种重载运算符的方法并不适合引用类型。这就是.Net经常现象,去判断两个引用类型,不要用==,而要用某个对象的Equals函数。所以在编写自己类型的时候,要保留这种风格。

相关文章: