当一个操作数是一个接口时,回退到Object的==运算符的原因是什么？

Question

考虑以下类型:

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;

以下就不能编译:

var x = a == b;

但下面不会编译(我很惊讶地发现):

var x = a == c;

据我所知,编译器回退到使用default ==运算符,它在对象上定义,因此接受任何类型的参数.IL看起来像这样(忽略细节ldfld):

ldarg.0
ldfld class A a
ldarg.0
ldfld class IC c
ceq
stloc.0

换句话说,它使用引用相等.

我的问题:

1. 在语言设计方面,为什么这有意义？对我而言,它没有,我认为这是一个很大的陷阱.

2. 如果这确实是一个陷阱,代码分析不应警告我们吗？(不 - 它没有).顺便说一句,ReSharper似乎有这个功能.

Answer 1

第二行编译的原因是可能存在另一个派生自A并实现IC的类.

public class D : A, IC {}
...
a = new D(); c = a; var t = a == c; //t = true;

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