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.