談談C#的相等性(2)

該用什麼寫法?

很自然就會產生疑問,既然有三種相等性的寫法,平常寫程式時,該用什麼方法比較好?operator == 比較的是value還是reference ? 而且和.Equals差別在哪裡?

首先必須要理解 operator == 的行為。

operator == 的行為

operator == 左右運算元的型別應該要是對稱的。

一言以蔽之,左右是Value Type ==> 比Value Equality,是Reference Type ==> 比Reference Equality

  1. built-in value type,則比較value equality(反正也只能比這個)
    built-in value type是什麼?
    給個比較不精確的定義,就是那些內部其實是數字的型別。像是bytes, short, int, long. 其他還有char(其實他是ascii code)、enum(內部是整數)等。浮點數當然也是built-in value type。注意字串不算喔。唯一的例外是NaN,這個值不管跟什麼比都是false。
  2. 對 user-defined 的 value type 物件,也就是 struct ,== 並沒有定義其行為。編譯會不給過。開發者需要提供運算子多載。
  3. 對於reference type的處理

    1. null == null
    2. 如果是string,比較其長度和內容
    3. string以外的reference type,比較reference equality。底層參考到相同物件才視為相等。內容不管。

string

注意到string是個 reference type 的特例,其實他也沒有那麼特別。string 本身是個reference type。但是因為太常被使用了,所以C#特別設計了string intern機制。所有字面宣告的字串常數會被放到一個string pool內,相同內容的string會參考同一個底層string物件。因為是同一個底層物件,所以會參考比較會相等。

換個寫法就可以看出差異,兩個是不同的物件,所以ReferenceEqual是false。但是 operator == 卻是true。

因為C#已經偷偷多載了operator == 的行為,改為比較內容是否相等。

Reference Type 比較

== 對於 左右運算元是value-type還是reference type有不同的比較方式。對class而言,既然 == 的預設行為是reference equality,如果我需要相等性比較,怎麼樣才是比較好的實踐?

答案是,有一個大略的原則,但實務上還是見仁見智。

舉例而言,要用==還是.Equals比較string的內容呢?其實各有優缺點。== 簡單方便直觀,但兩邊一定要是字串,而.Equals允許你用更明確地傳入Comparer,決定比較的方式。微軟在2004年的blog寫單純的字串比較總是使用==,2018年的Guide建議用.Equals。

大體上Reference Type的比較還是有一個原則的。根據2004年微軟C#在其blog的FAQ回應,建議是

  • 對於class這類的reference type,如果想要比較其內容相等性,使用.Equals()方法。
  • 對於value type,使用 == 是比較一致的作法。盡量多載 operator == ,而且要使其行為和obj.Equals(other)相同。如果不同的話這會是個不好的實踐。

class type依然有可能overload operator ==,把預設行為改成比較內容相等。因此如果想要比較兩個reference type是否參考到同一物件,使用靜態方法Object.ReferenceEquals(objA, objB)是最安全的。

根據微軟的Programming Guideline,如果class type需要比較Value Equality,而且有覆寫了.Equals(),那麼「你可以考慮」多載operator ==,使其行為保持一致。而且也非常建議你一起覆寫掉GetHashCode(),使內容相同的物件有相同的hash值。

這個「考慮」其實很有意思。因為有兩派意見,一派是Reference Type不應該多載 operator ==。MSDN上甚至還有專門的Design Warning(CA1046)。但是微軟自己的GuideLines又說看情況。

Most reference types must not overload the equality operator, even if they override Equals. However, if you are implementing a reference type that is intended to have value semantics, such as a complex number type, you must override the equality operator.

所以結論其實是沒有結論,端看你定義的reference type是否有包含足夠的Value Semantic。

發佈留言

發佈留言必須填寫的電子郵件地址不會公開。 必填欄位標示為 *