C# · 12月 31, 2021

c# – 当一个操作数是一个接口时,对Object的==运算符的推理是什么?

考虑以下类型: class A { }class B { }interface IC { }A a = null; // the value doesn’t matter – null or anything else,for all threeB b = null;IC c = null;

以下does not compile:

var x = a == b;

但是以下是编译(我很惊讶地发现):

var x = a == c;

据了解,编译器回到使用默认的==操作符,它在对象上定义,因此接受任何类型的参数. IL看起来像这样(忽略ldfld的细节):

ldarg.0ldfld class A aldarg.0ldfld class IC cceqstloc.0

换句话说,它使用参考平等.

我的问题:

>在语言设计方面,为什么这样做有意义?对我来说,它不是,我认为这是一个很大的陷阱.
>如果这确实是一个陷阱,代码分析不应该警告我们呢? (不是 – 不)顺便说一句,ReSharper seems to have this feature.

解决方法 第二行编译的原因是可能有另一个派生自A并实现IC的类. public class D : A,IC {}…a = new D(); c = a; var t = a == c; //t = true;

类只能从一个类继承,所以你永远不能创建一个继承自A和B的类,除非A是B的后代,反之亦然.