CLR提供了可以區(qū)分類型的Equality 和Identity能力。

Equality：如果兩個(gè)對(duì)象是相同的類型，并且它們各自帶有相同和等值的屬性。(They are instances of the same type and if each of the fields in one object matches the values of the fields in the other object)

Equality必須滿足三個(gè)必要條件：reflexive, symmetrics, and transitive
reflexive: 自身相等，及a==a 是永遠(yuǎn)成立的；
symmetrics: 對(duì)象性，及a==b成立那么b==a 也成立；
transitive: 傳遞性，及a==b, b==c成立那么a==c 也成立。

Identity：兩個(gè)對(duì)象必須相等（意味著他們共享同一塊內(nèi)存區(qū)域）(The two objects have the same values. – Two objects are identical if they share an address in memory)

CLR提供了至少四種方法來判斷兩個(gè)對(duì)象的等價(jià)性：

1.Public static bool ReferenceEquals(object left, object right);
2.Public static bool Equals(object left, object right);
3.Public virtual bool Equals(object right);
4.Public static bool operator==(MyClass left, MyClass right);

ReferenceEquals方法總是用來判斷兩個(gè)對(duì)象的Identity的，不管是針對(duì)值類型還是引用類型。所以針對(duì)值類型，調(diào)用該方法總是會(huì)返回false，因?yàn)橹殿愋妥鳛檫@個(gè)方法的參數(shù)時(shí)會(huì)進(jìn)行裝箱操作。

靜態(tài)的Equals方法提供了判斷兩個(gè)對(duì)象的Equality能力，在其實(shí)現(xiàn)的內(nèi)部，調(diào)用了上述第三個(gè)虛擬的Equals方法。和ReferenceEquals一樣，它們已經(jīng)具備從底層判斷兩個(gè)對(duì)象的能力，我們從來不會(huì)覆寫這兩個(gè)方法。

實(shí)例Equals方法也是用來區(qū)分兩個(gè)對(duì)象的Equality的。

對(duì)于引用類型的對(duì)象，它和ReferenceEquals方法幾乎是一樣的。（因?yàn)榕袛鄡蓚€(gè)引用類型是否的Equality往往從Identity上就可以區(qū)分）

而值類型的對(duì)象，我們不僅要判斷他們具有相同的對(duì)象類型，還要判斷他們的值相等。值類型從System.ValueType繼承而來，ValueType已經(jīng)重寫了Object.Equals()方法，本來已經(jīng)可以用來滿足這些要求的。但是ValueType.Equals()方法不是很有效，因?yàn)樗仨氁ㄟ^反射，在不知道具體的派生類型中，完成對(duì)它們所含有成員變量的值的比較。因此，建議在我們實(shí)現(xiàn)一個(gè)值類型的數(shù)據(jù)結(jié)構(gòu)時(shí)，同時(shí)重寫ValueType.Equals()方法。

然而我們?cè)倩仡^看看引用類型，有時(shí)兩個(gè)引用類型的對(duì)象往往被用來進(jìn)行類似值類型的比較，比如：String類型，它雖然是引用類型，但它也重寫了Equals方法，因?yàn)槲覀兡盟鼇砼袛鄡蓚€(gè)string是否相同（Equality），實(shí)際是希望判斷它們是否具有相同的內(nèi)容，這是一個(gè)value semantics。因此，我們建議在考慮實(shí)現(xiàn)一個(gè)用作值語義環(huán)境下的引用類型時(shí)候，也重寫基類的Object.Equals()方法。

注：請(qǐng)參考MDSN或其它相關(guān)文檔，如何實(shí)現(xiàn)Equals方法的重寫。

上面的圖示給了很好的例子來區(qū)分Equals和ReferenceEquals方法，被用來做Equility和Identity判斷的區(qū)別。

\== 運(yùn)算符是可由類重載的運(yùn)算符，它也是用來判斷恒等的。 對(duì)于未重載= =的引用類型，會(huì)比較兩個(gè)引用類型是否引用同一個(gè)對(duì)象。這跟引用類型的Equals()方法是一樣的。

對(duì)于未重載= =的值類型，該運(yùn)算符會(huì)比較這兩個(gè)值是否"按位"相等，即是否這兩個(gè)值中的每個(gè)字段都相等。和Equals方法一樣，推薦在自定義值類型中，也要重載= =運(yùn)算符，因?yàn)橐泊嬖诜瓷湓谛噬系挠绊憽?/p>

\== 運(yùn)算符和Equals方法的區(qū)別在于多態(tài)表現(xiàn)上。Equals方法是重寫，而= =運(yùn)算符是被重載。這意味著除非編譯器知道調(diào)用具體的重載版本，否則它只是調(diào)用未重載的= =版本。

最新評(píng)論