淺談.Net中的對(duì)象相等
.Net中對(duì)象相等比較，是看似簡(jiǎn)單，實(shí)際上有點(diǎn)兒復(fù)雜。這和現(xiàn)實(shí)世界的情況差不多，無(wú)論人或物，現(xiàn)實(shí)中沒(méi)有兩個(gè)絕對(duì)相等，只有相對(duì)的屬性一致或同屬某個(gè)類(lèi)別，這學(xué)問(wèn)細(xì)究下去無(wú)窮無(wú)盡，一輩子也未必參得透。而.Net中的相等，沒(méi)有那么捉摸不透，卻也值得品味一番。
說(shuō)到相等，新手上來(lái)，先學(xué)到的就是相等操作符==(有的.Net語(yǔ)言中是單=)，這個(gè)很自然，問(wèn)題是有不少人工作了一兩年，提到相等還是只想到操作符，就太片面了。
在這里，茴香豆的茴字有四種寫(xiě)法，.Net中也主要有四種相等比較，分別是：==操作符、Object.Equals方法、Object.ReferenceEquals方法、對(duì)象實(shí)例的Equals方法。
先來(lái)看Object的兩個(gè)靜態(tài)方法，它們邏輯比較簡(jiǎn)單。ReferenceEquals方法是比較兩個(gè)對(duì)象的引用是否相同，即棧上的地址是否一樣，對(duì)于值類(lèi)型沒(méi)有意義，參數(shù)中若有值類(lèi)型參數(shù)出現(xiàn)，必定返回false。它主要用來(lái)測(cè)試，實(shí)際應(yīng)用開(kāi)發(fā)中很少用到，方法名也有點(diǎn)長(zhǎng)。對(duì)于引用類(lèi)型，如果方法結(jié)果為T(mén)rue，這個(gè)相等是最嚴(yán)格、最純粹、如假包換的相等，說(shuō)明這兩個(gè)參數(shù)其實(shí)是同一個(gè)對(duì)象，當(dāng)然無(wú)論用其他哪種相等比較方式，同樣也應(yīng)返回True。
Object的Equals靜態(tài)方法實(shí)際上是對(duì)實(shí)例Equals方法的擴(kuò)展，增加了null的判斷，適應(yīng)于比較兩個(gè)可能為空引用的對(duì)象。對(duì)于值類(lèi)型，和Equals實(shí)例方法功能完全一樣。
再來(lái)看==，我們天天打交道的這小小操作符并不那么簡(jiǎn)單。上面，我們說(shuō)兩個(gè)Object靜態(tài)方法區(qū)別在值類(lèi)型和引用類(lèi)型上，對(duì)于其他相等比較區(qū)別也主要在此。一般情況下，不是所有，對(duì)于引用類(lèi)型==和ReferenceEquals靜態(tài)方法作用相同；值類(lèi)型在這里則有區(qū)分，對(duì)于原生值類(lèi)型，如int,double,long,char等，==是直接比較其數(shù)值，而且不同類(lèi)型間可以互相比較，比如int和char，'A’==65返回的是True；而對(duì)于一般的Struct，如果沒(méi)有在代碼中定義==（也包括!=)操作符，是不能用==比較的。
引用類(lèi)型也可以定義==操作符，覆蓋CLR原生支持的比較。最常見(jiàn)的是String類(lèi)型，它就定義了==操作符，很合理地放寬了相等的條件，使得String類(lèi)型像原生值類(lèi)型一樣按值比較。String類(lèi)的==操作符其實(shí)就是直接調(diào)用的被自己重寫(xiě)過(guò)Equals方法。
String類(lèi)是最常用也最特別的一個(gè)類(lèi)，大部分面試都會(huì)問(wèn)到String的特點(diǎn)，除了不可變和內(nèi)存駐留機(jī)制外，其他主要特點(diǎn)就是相等的特殊性了。
最后就來(lái)說(shuō)說(shuō)實(shí)例Equals方法吧，這是個(gè)Virtual方法，是我們?cè)趹?yīng)用開(kāi)發(fā)中，經(jīng)常要根據(jù)業(yè)務(wù)邏輯需要，進(jìn)行覆寫(xiě)的方法。定義并使用操作符固然方便，不過(guò)除了像String之類(lèi)的特殊情況，引用類(lèi)型讓==保持默認(rèn)規(guī)則是更好的選擇，而讓Equals方法實(shí)現(xiàn)業(yè)務(wù)上的“值”相等。如果不覆寫(xiě)，Equals方法也是比較對(duì)象的引用。
對(duì)于值類(lèi)型，實(shí)現(xiàn)==操作像一個(gè)點(diǎn)綴，而如果想實(shí)現(xiàn)相等比較操作，應(yīng)該優(yōu)先重寫(xiě)Equals方法（同樣若要實(shí)現(xiàn)大小比較，應(yīng)該優(yōu)先實(shí)現(xiàn)IComparable接口，而不是實(shí)現(xiàn)比較操作符），從Object繼承的Equals方法用于值類(lèi)型時(shí)，比較兩個(gè)對(duì)象的所有字段，全相等才為T(mén)rue。要注意它據(jù)說(shuō)用了反射，效率很低的。但是它低歸低，為什么一定要優(yōu)先重寫(xiě)它？
因?yàn)樗?Net Framework鍵值集合，都是用Equals實(shí)例方法做比較的，所以它實(shí)際上成了.Net中的法定天平，無(wú)論是原生類(lèi)型、結(jié)構(gòu)或類(lèi)的實(shí)例，都應(yīng)以Equals方法作為其標(biāo)準(zhǔn)的相等比較方式，包括我們自己實(shí)現(xiàn)的類(lèi)型。用實(shí)例方法的好處也可以理解，更靈活，我們可以添加一些重載的Equals方法，申明不同的比較前提條件。與重寫(xiě)的默認(rèn)Equals方法配合，構(gòu)成一套完整的比較規(guī)則，以符合現(xiàn)實(shí)里復(fù)雜多變的標(biāo)準(zhǔn)。
重寫(xiě)Equals方法時(shí)，官方推薦重寫(xiě)GetHashCode方法，要是你不用此類(lèi)型作鍵值集合鍵的話，其實(shí)無(wú)所謂。
個(gè)別情況中，復(fù)雜到重載Equals方法也力不從心時(shí)，我們就要定義專門(mén)用來(lái)比較相等的功能類(lèi)。.Net Framework已經(jīng)提供了一個(gè)接口System.Collections.IEqualityComparer，并有幾個(gè)內(nèi)置的實(shí)現(xiàn)，如StringComparer、EqualityComparer，我們自己寫(xiě)的比較類(lèi)也不妨實(shí)現(xiàn)這個(gè)接口，當(dāng)然，只要能用也不必計(jì)較那么多?？?Net Framework源代碼，能發(fā)現(xiàn)好多個(gè)亂七八糟的類(lèi)用于比較相等，大概是內(nèi)部特權(quán)吧。
結(jié)尾外，總結(jié)一張表，可以一目了然：
注：為了排版，圖好像不是很清楚，大家可以點(diǎn)擊查看大圖。
通過(guò)本文的介紹，希望對(duì)你有幫助。
【編輯推薦】
