C#：通过显式指定接口来覆盖属性

Question

在尝试从 Collection<T> 类重写 ICollection<T>.IsReadOnly 属性的显式接口实现时，我遇到了一些文档，指出不能重写显式接口成员实现，因为它们不能具有诸如 virtual 或 @ 之类的修饰符987654325@。在MSDN 上，他们甚至通过创建由显式接口成员实现调用的另一个抽象或虚拟成员来指定如何使显式接口成员实现可用于继承。到目前为止没有问题。

但是我想知道：为什么在 C# 中可以通过显式指定接口来覆盖任何显式实现的接口成员？

例如，假设我有一个像这样的简单接口，带有一个属性和方法：

public interface IMyInterface
{
    bool AlwaysFalse { get; }
    bool IsTrue(bool value);
}

还有一个类A，它显式实现了接口，并且有一个方法Test()，它调用了自己的接口成员实现。

public class A : IMyInterface
{
    bool IMyInterface.AlwaysFalse
    { get { return false; } }

    bool IMyInterface.IsTrue(bool value)
    { return value; }

    public bool Test()
    { return ((IMyInterface)this).AlwaysFalse; }
}

如您所见，四个成员都不是虚拟的或抽象的，所以当我这样定义一个类B 时：

public class B : A
{
    public bool AlwaysFalse
    { get { return true; } }

    public bool IsTrue(bool value)
    { return !value; }
}

然后您会期望将B 转换为A 的实例的行为类似于A。确实如此：

A a = new A();
Console.WriteLine(((IMyInterface)a).AlwaysFalse);    // False
Console.WriteLine(((IMyInterface)a).IsTrue(false));  // False
Console.WriteLine(a.Test());                         // False
A b = new B();
Console.WriteLine(((IMyInterface)b).AlwaysFalse);    // False
Console.WriteLine(((IMyInterface)b).IsTrue(false));  // False
Console.WriteLine(b.Test());                         // False

现在问题来了。创建一个类C，它是B 的精确副本，除了类声明中的一件事：

public class C : A, IMyInterface
{ /* ... same as B ... */ }

现在C 的一个实例，当转换为A 时，其行为不像A，而是像C：

A c = new C();
Console.WriteLine(((IMyInterface)c).AlwaysFalse);    // True
Console.WriteLine(((IMyInterface)c).IsTrue(false));  // True
Console.WriteLine(c.Test());                         // True

即使是Test() 方法现在也调用C 中的重写方法！这是为什么呢？

Answer 1

这与显式接口实现无关；这只是继承和接口映射的一般规则的结果：如果A 类型提供IMyInterface 的隐式实现而不是显式实现，您会看到完全相同相同的结果。

• 类型B 继承自类型A。没有任何内容被覆盖。
  B 提供自己的 AlwaysFalse 和 IsTrue 成员，但它们不实现 IMyInterface； IMyInterface 的实现由继承自 A 的成员提供：当 B 类型的实例被强制转换为 IMyInterface 时，它的行为方式与 A 类型的实例完全相同，因为 @987654337 @ 提供实现接口的成员。
• 类型C 继承自类型A。同样，没有任何内容被覆盖。
  C 提供了自己的 AlwaysFalse 和 IsTrue 成员，但这次这些成员确实实现了 IMyInterface：当 C 类型的实例是强制转换为IMyInterface，然后C 的成员提供接口实现，而不是A 的成员。

因为A 类型明确实现IMyInterface，编译器不会警告B 和C 的成员隐藏A 的成员；实际上，A 的这些成员由于显式接口实现而已被隐藏。

如果您将类型 A 更改为隐式而不是显式实现 IMyInterface，则编译器会警告 B 和 C 的成员隐藏而不是覆盖 A 的成员，并且您在B 和C 中声明这些成员时，最好使用new 修饰符。

以下是语言规范中的一些相关部分。 （ECMA-334 spec 中的第 20.4.2 和 20.4.4 节；Microsoft C#4 spec 中的第 13.4.4 和 13.4.6 节。）

20.4.2 接口映射

具体的实现 接口成员I.M，其中I是 成员M所在的界面 被声明，由 检查每个类或结构S， 从C 开始并重复 C 的每个连续基类， 直到找到匹配项。

20.4.4 接口重新实现

继承接口的类 允许实施 重新实现接口 将其包含在基类列表中。一种 接口的重新实现 遵循完全相同的界面 映射规则作为初始 一个接口的实现。因此， 继承的接口映射没有 对界面产生任何影响 建立的映射 重新实现接口。