Effective50.Rules06.理解几个等同性判断之间的关系.Note

当我们定义自己的类型时（无论是类还是Struct），应该为类型定义等同性的含义。C#定义了4中不同的函数来判断两个对象是否“相等”。

1.public static bool ReferenceEquals(object left,objec right)

2.public static bool Equals(object left,object right);

3.public virtual bool Equals(object right);

4.public static bool operator ==(MyClas left,MyClass right);

对于前两种静态函数，我们永远都应该重新定义。我们通常创建自己的实例的Equals(),来为类型定义等同的语义。偶尔需要覆盖operator==().

    当然，这4种方法并不是等同性比较的唯一选择。覆盖Equals()方法的类型应该实现IEquatable<T>；实现值语义（value semantics）的类型同时还应该实现IStructurealEquality接口。这意味着有6种方法来表达等同性。

   如果两个类型的变量指向的是同一个对象，我们认为他们是“引用相等”。如果两个值类型变量类型相同，而且包含同样的内容，是“值相等”。

Object.ReferenceEquals(leftObj,rightObj)

    如果两个变量指向同一个对象，也就是他们拥有同样的对象标示（object identity）,那么Object.ReferenceEquals(leftobj,rightobj)返回true;无论比较引用类型还是值类型，该方法判断依据都是对象的标示，而不是对象内容。

   Object.ReferenceEquals(,)来判断值类型永远返回false，即使自己跟自己比较，其原因在于装箱，参见条目45.

 

第二，永远不要去重新定义静态函数Object.Equals().当你不知道两个变量运行时类型，可以使用该方法来判断两个对象是否相等。注意，任何类型都是System.Object的实例无论是值类型还是引用类型。

静态Object.Equals()把比较的具体操作委托给具体的类型来做，它的具体实现如下：

        public static new bool Equals(Object left, Object right)
        {
            //Check object identity
            if (object.ReferenceEquals(left, right))
                return true;
            if (object.ReferenceEquals(left, null) || object.ReferenceEquals(right, null))
                return false;
            return left.Equals(right);//最后将比较委托给具体类型
        }

在阐述实例对象的Equals方法前，我们先谈谈等同性在数学方面的几个要点：

    自反性（reflexive）无论a是什么类型,a==a应该返回true;

    对称性（symmetric）,意味着等同判断与判断的顺序无关，即，a==b与b==a应该是相同的结果。

    传递性（transitive）,a==b且b==c,那么a==c.

Object.Equals()实例函数默认实现与Object.ReferenceEquals()实现完全相同，都是根据对象标示。System.ValueType重写了实例Equals()方法，但是实现效率不高，使用反射，反射有许多缺点，特别是对性能要求比较高的地方，在程序中被频繁调用的功能。对值类型的建议非常简单，都要去覆盖ValueType.Equals()方法。

 

对于引用类型，当我们需要更改Equals()语义的时候才需要覆盖该方法。.NET中有许多类都是用值语义而不是引用语义，例如String对象。

自定义语义的Object.Equals()需要遵循定义的行为。当你覆盖Equals()时，也要同时为该类实现IEquatable<T>,下面是一个覆盖Syste.Object.Equals()实例方法标准实现模式