首先看CLR中基本實值型別之間的比較,先看代碼:
int age1 = 30; int age2 = 30; Console.WriteLine("int == int: {0}", age1 == age2); Console.WriteLine("int == int: {0}", age2 == age1); Console.WriteLine("int Equals int: {0}", age1.Equals(age2)); Console.WriteLine("int Equals int: {0}", age2.Equals(age1)); Console.WriteLine("int ReferenceEquals int: {0}", object.ReferenceEquals(age1, age2)); Console.WriteLine("int ReferenceEquals int: {0}", object.ReferenceEquals(age2, age1)); Console.ReadLine();
運行結果:
對於相同的基本實值型別(上述範例程式碼中都是int),==和Equals()比較結果是一樣的;由於ReferenceEquals()是判斷兩個對象的引用是否相等,對於實值型別,因為每次判斷前都必須進行裝箱操作,也就是每次都產生了一個臨時的object,因而永遠返回false。下面我把代碼裡面的age2的類型改為byte型,比較結果有什麼變化呢?請看運行結果:
現在我們發現,age1.Equals(age2)和age2.Equals(age1)結果不一樣。在基本實值型別的比較中,==比較的是"值"的內容,如果兩個對象的"值"一樣,則兩個對象是"=="的;但是Equals()做的事要稍微多一點,在Equal()中其實還存在著一個"隱式轉換"的過程,也就是說上面代碼中的age1.Equals(age2)相當於int.Equals(int),byte型資料可以隱式轉換為int型資料,所以age1.Equals(age2)結果為true;而age2.Equals(age1)相當於byte.Equals(byte),但是int型資料不能隱式轉成byte型,因為存在資料精度丟失的可能。其實,age2.Equals(age1)的Equals()應該類似與下面的代碼:
public override bool Equals(object obj) { if (!(obj is Byte)) { return false; } return m_value == ((Byte)obj).m_value; }
如果是顯式轉換,age2.Equals((byte)age1)這個時候結果就是true了。
下面說一下字串string類型之間的比較,字串是特殊的參考型別,因為它是"不可變"的。先看代碼:
string name1 = "Jack"; string name2 = "Jack"; object o1 = name1; object o2 = name2; Console.WriteLine("name1 == name2: {0}", name1 == name2); Console.WriteLine("name1 Equals name2: {0}", name1.Equals(name2)); Console.WriteLine("o1 == o2: {0}", o1 == o2); Console.WriteLine("o1 Equals o2: {0}", o1.Equals(o2)); Console.WriteLine("o1 == name2: {0}", o1 == name2); Console.WriteLine("o1 Equals name2: {0}", o1.Equals(name2)); Console.WriteLine("name1 ReferenceEquals name2: {0}", object.ReferenceEquals(name1, name2)); Console.WriteLine("o1 ReferenceEquals o2: {0}", object.ReferenceEquals(o1, o2)); Console.ReadLine();
上述代碼運行結果:
比較結果全部都是true,現在逐一講解。有人會說name1和name2儲存的都是"Jack",所以name1和name2其實就是同一個對象,所以name1==name2和name1.Equals(name2)的比較結果是一樣的;也許你是對的。我們通過.NET Reflector工具查看string的源碼,會看到其中的這一段代碼:
操作符==其實就是返回了Equals()而已。所以對於為什麼name1==name2和name1.Equals(name2)的比較結果是一樣的解釋,我覺得這個解釋比"name1和name2其實就是同一個對象"說法更直觀一些。
我們知道,由於string類型的特殊性,CLR可以通過一個string對象共用多個完全一致的string內容,所以上面的name1和name2指向的地方是一樣的,下面的o1 == o2、o1 == name2、object.ReferenceEquals(name1, name2)的比較結果都是true也驗證了這個說法(其實object.ReferenceEquals(name1, o2)也是true)。但是,如果把name1和name2的賦值變成這樣呢?
string name1 = new string(new char[] { 'J', 'a', 'c', 'k' }); string name2 = new string(new char[] { 'J', 'a', 'c', 'k' });
看運行結果:
name1==name2和name1.Equals(name2)的比較結果一樣好理解,就像上面說的,操作符==其實就是返回了Equals()而已(對於參考型別,Equals()比較的都是託管堆上儲存的內容),所以二者結果一樣。但是object對象o1和o2的比較,o1 == o2和o1.Equals(o2)結果不一樣了。object對象的==比較的是類型對象指標,o1和o2是兩個object,二者的類型對象指標必然不同;Equals()比較的是o1和o2在託管堆上儲存的內容,故o1.Equals(o2)為true。這也說明了下面的o1 == name2為false和o1.Equals(name2)為true了。
我們先看一下object.ReferenceEquals內部的代碼:
現在對於object.ReferenceEquals(name1, name2)和object.ReferenceEquals(o1, o2)結果都是false應該很好理解了,其實就是兩個object的==問題!
最後說一下自訂參考型別的比較。
class MyName { private string _id; public string Id { get { return _id; } set { _id = value; } } public MyName(string id) { this.Id = id; } }
把上面name1和name2的聲明改為:
MyName name1 = new MyName("12"); MyName name2 = new MyName("12");
其他不變,運行結果:
name1和name2是截然不同的兩個對象,比較結果全部為false應該很好理解了。