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

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;

以下does not compile：

var x = a == b;

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

var x = a == c;

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

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

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

我的问题：

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