为什么不使用 == 运算符（为具体类型定义）？

Question

我有一个定义为的列表：

var Items = new List<IItem>();

现在有许多不同的类具有该接口，其中之一是 Consumable。 Consumable 类还重载了 == 运算符。现在我有以下代码并且不起作用：

if(item1 == item2)
{
    //code...
}

这不起作用。我在 == 运算符重载中放置了一个断点，但它永远不会到达它。当我进行逐行调试时，item1和item2都是Consumable类型，GetType都返回Consumable。我什至尝试了这段代码：

var temp = item1.GetType();
var temp2 = item2.GetType();
if (temp == temp2)
{
    //code...
}

这个相等结果是正确的。现在，如果我尝试这样做：

if(((Consumable)item1) == ((Consumable)item2))
{
    //code...
}

这会触发 == 运算符重载中的断点。如果当逐行调试显示它已经认为它们都是可用的时，为什么我必须手动转换变量？是因为我从 IItems 列表中提取它们吗？

Answer 1

由于您的列表是 List，我假设您有类似的内容：

var item1 = Items[0];

或其他；这里 item1 变量 的类型为 IItem。运算符解析在构建过程中通过静态分析进行（而不是在运行时通过多态性/RTTI），因此唯一可用的 == 是任何对象 的默认值，即引用相等。

为了支持您的自定义运算符，必​​须相应地键入变量，例如：

Consumable item1 = ..., item2 = ...;

您的强制转换实现了类似的效果。

另一种选择是确保 == 和 Equals （和 GetHashCode()） 一致，并使用：

if(Equals(item1, item2)) {...}

这将执行 < code>null 检查，然后使用重写的 Equals 方法。这样就支持多态性，因此类型是什么并不重要。

Answer 2

通用语言运行时只知道您的两个对象实现了 IItem 接口。对象层次结构中最小的公共部分是System.Object。并且您没有重载 System.Object 的 == 运算符。

要使用正确的重载，您必须声明对象的类型。

Answer 3

== 不检查类型相等性，但对于类它检查引用相等性。因此，如果变量指向同一个对象，则为 true。例如这样：

var temp = item1;
var temp2 = item1;

if( temp == temp2 )
{
  //this code will execute
}

Answer 4

不应该是 IItem IComparable 吗？