为什么基类的成员与派生类中的同一成员不同？

Question

这是对这个问题的跟进：Lambda expression not returning expected MemberInfo

class Human
{
    public string name { get; set; }
}

class Man : Human
{

}

var m1 = typeof(Human).GetProperty("name");
var m2 = typeof(Man).GetProperty("name");

//m1 != m2 why?

MethodInfos 也是如此。

我可以理解，当Human 是一个接口，或者name 的Human 是抽象/虚拟时，肯定会有区别。但是为什么密封类型会如此呢？ name 的 Man 不正是 name 的 Human 吗？

澄清：正如 Jon 所说，他们的 ReflectedTypes 是不同的。 ReflectedType 在决定接口成员或覆盖成员的相等性时应该派上用场，因为它们是不同的。但是我认为不应该考虑决定上述简单情况的相等性。可能是设计团队想要保持一致。只是想知道是什么原理促使框架设计人员在决定跨多个类的同一成员是否相等时考虑ReflectedType 属性。

Answer 1

它们的 ReflectedType 属性不同：

ReflectedType 属性检索用于获取此 MemberInfo 实例的 Type 对象。如果此 MemberInfo 对象表示从基类继承的成员，则这可能与 DeclaringType 属性的值不同。

所以如果你打印出m1.ReflectedType，它应该打印出Human。如果你打印出m2.ReflectedType，它应该打印出Man。

编辑：关于为什么以这种方式实现相等运算符：在对象之间可能存在可区分但不是“主要”差异的情况下，弄清楚== 应该意味着什么总是一个微妙的设计决定。这就是提供不同的IEqualityComparer 实现有用的地方，但当然这对操作员本身不起作用。

一般来说，如果x == y 为真，那么对于任何属性，x.Foo 与y.Foo 不同是很不寻常的。我无法立即想到框架中发生这种情况的任何情况。