考虑以下类型：
@H_404_2@class A { }
class B { }
interface IC { }
A a = null; // the value doesn't matter - null or anything else,for all three
B b = null;
IC c = null;
@H_404_2@var x = a == b;
但是以下是编译(我很惊讶地发现)：
@H_404_2@var x = a == c;据了解,编译器回到使用默认的==操作符,它在对象上定义,因此接受任何类型的参数. IL看起来像这样(忽略ldfld的细节)：
@H_404_2@ldarg.0 ldfld class A a ldarg.0 ldfld class IC c ceq stloc.0换句话说,它使用参考平等.
我的问题：
>在语言设计方面,为什么这样做有意义？对我来说,它不是,我认为这是一个很大的陷阱.
>如果这确实是一个陷阱,代码分析不应该警告我们呢？ (不是 – 不)顺便说一句,ReSharper seems to have this feature.
解决方法
第二行编译的原因是可能有另一个派生自A并实现IC的类.
@H_404_2@public class D : A,IC {}
...
a = new D(); c = a; var t = a == c; //t = true;
类只能从一个类继承,所以你永远不能创建一个继承自A和B的类,除非A是B的后代,反之亦然.
