C#初學者對Equals方法的幾個常見誤解

　　很多C#的教材都會強調物件相等的概念。我們都知道，在C#的世界裡有兩種等同性。一種是邏輯等同性：如果兩個物件在邏輯上代表同樣的值，則稱他們具有邏輯等同性。另一種是引用等同性：如果兩個引用指向同一個物件實例，則稱他們具有引用等同性。

　　眾所周知，Object型別有一個名為Equals的實例方法可以用來確定兩個物件是否相等。 Object的Equals的預設實作比較的是兩個物件的參考等同性。而Object的衍生類別ValueTpye重寫了Equals方法，它比較的是兩個物件的邏輯等同性。也就是說，在C#裡，引用類型的預設Equals版本關注的是引用等同性，而值類型關注的是邏輯等同性。當然，這並不總是能滿足我們的要求。所以每當我們更在意引用類型的邏輯等同性的時候，我們就應該重寫Equals方法。

　　重寫引用類型的Equals方法以改變其預設的比較方式的一個著名例子是String類別。當我們寫出string1.Equals(string2)這樣的程式碼時，我們比較的不是string1和string2這兩個引用所指向的是否為同一個實例（引用等同性），而是比較string1與string2所包含的字符序列是否相同（邏輯等同性）。

　　誤解一：Equals方法和operator==具有相同的預設行為。

　　對於引用類型，如果沒有為它重載==操作符，且其父類型也沒有重寫Equals方法，則這個引用類型Equals方法和operator==具有相同的預設行為，即它們比較的都是物件的引用等同性。然而對於值類型來說，就完全不是這麼回事了！因為如果你沒有為自訂值類型重載operator==的話，就不能寫這樣的程式碼myStruct1 == myStruct2，否則會得到一個編譯錯誤，原因是值類型沒有相等運算子重載的預設實作。

　　誤解二：自訂類別的Equals的方法預設實作將自動呼叫operator==方法，或operator==方法的預設實作將自動呼叫Equals方法。

　　常聽到有人說某某類型是引用類型，所以它的Equals方法的預設實作將自動呼叫operator==方法。這種說法完全是沒有道理的。如上文所說的，引用型別Equals方法的預設實作是來自Object，而值型別的預設實作來自TypeValue，就算他們會使用==操作符，使用的也是Object或TypeValue的重載版本。原則上來說，只要我們沒有重寫一個類別的Equals方法，那麼它就會繼承其父類別的實現，而父類別是沒有機會使用子類型的操作符重載的。同樣，只要我們沒有在一個類別的==運算子重載中呼叫Equals方法，它是不會自動呼叫的。

　　誤解三：值類型的預設Equals實作是對兩個物件進行逐位比較的。

　　有些人認為值類型的Equals預設實作就是透過比較兩個物件在記憶體中的位元表示，即如果所有的二進位位元都相等，則說明這兩個物件等同。這是不準確的。因為其實值類型的Equals預設實作是對值類型的每個欄位都呼叫該欄位類型的Equals方法，如果所有欄位的Equals方法都傳回true，則他們才可能相等。來看一個例子：

class MyClass
{
     public override bool Equals(object obj)
    {
        Console.WriteLine("MyClass的Equals方法被调用了。");
        return true;
    }
}

struct MyStruct
{
     public MyClass Filed;
}

class Program
{
     staticvoid Main(string[] args)
     {
         MyStruct a;
         MyStruct b;
         a.Filed = new MyClass();
         b.Filed = new MyClass();
         Console.WriteLine(a.Equals(b));
      }
｝

很顯然，a和b擁有完全不同的二進位表示。但最終列印的結果是：

MyClass的Equals方法被呼叫了。

True

   

　　這說明值類型的預設實作是透過呼叫欄位的Equals方法來決定兩個物件是否相等，而不是透過比較他們的二進位位元是否一致來決定的。

　　誤解四：Equals是非常基本、非常常用的方法，所以其預設的實作不存在效能問題。

　　對於引用類型，Equals的預設實作很簡單，只需要判斷兩個引用是不是同一種型別、兩個引用指向的是不是同一塊記憶體就可以了。所以其性能也沒有問題。但是對於值類型，Equals的任務就沒有這麼簡單了。它需要對兩個物件的所有欄位都做出比較，即逐字段呼叫字段類型的Equals。由於在ValueType（值型別Equals方法預設實作的位置）中，不可能知道它所有的子型別都包含哪些字段，所以為了呼叫子型別欄位的Equals方法，ValueType的Equals就需要使用反射技術。您可能已經看出來了，反射並不是一種性能友好的技術，所以值類型的Equals方法算不上高效。這也正是為什麼微軟推薦我們為自訂值型別重寫Equals方法的原因。

更多C#初學者對Equals方法的幾個常見誤解相關文章請關注PHP中文網！