为什么要对引用类型使用值相等 [重复]

问：

这篇 MSDN 文章阐明了何时将类型声明为值类型 （struct） 与引用类型 （class）。特别是，它说：

除非该类型具有以下所有特征，否则请避免定义结构：

• 它在逻辑上表示单个值，类似于原始类型（int、double 等）。
• 它的实例大小小于 16 字节。
• 它是不可变的。
• 它不必经常装箱。

在所有其他情况下，应将类型定义为类。

然后，这篇 MSDN 文章阐明了在类型上重写 Object.Equals（） 的一些准则，包括：

当一个类型是不可变的时，...重载运算符 == 来比较值相等而不是引用相等可能很有用，因为作为不可变对象，只要它们具有相同的值，就可以认为它们是相同的。在非不可变类型中覆盖运算符 == 不是一个好主意。

所以在我看来，如果一个类型是不可变的，你只需将其声明为结构并覆盖 ValueType.Equals（）。但是，如果你的类型被声明为类，那么理论上你只需要引用语义。这篇 SO 帖子似乎支持这一点。所以我的问题是，你为什么要费心在引用类型上覆盖 Equals（）？这样做就像说引用语义对于你的引用类型来说不够好，这对我来说毫无意义。我能想到的唯一例子是，如果你有一个大型（>16 字节实例）类，它混合了可变和不可变字段，但即便如此，你似乎只需要引用语义。