显式地将派生类标记为基类的实现接口

Question

interface IBase
{
    string Name { get; }
}

class Base : IBase
{
    public Base() => this.Name = "Base";
    public string Name { get; }
}

class Derived : Base//, IBase
{
    public Derived() => this.Name = "Derived";
    public new string Name { get; }
}


class Program
{
    static void Main(string[] args)
    {
        IBase o = new Derived();
        Console.WriteLine(o.Name);
    }
}

在这种情况下，输出将是“base”。

如果我明确地声明派生实现了IBase（实际上已经由基类base实现了，这样的注释似乎没有用），那么输出将是“派生的”

class Derived : Base, IBase
{
    public Derived() => this.Name = "Derived";
    public new string Name { get; }
}

这种行为的原因是什么？

VS 15.3.5，C#7

Answer 1

在C#5规范的第13.4.4至13.4.6节中对其进行了解释。下面引用了相关的部分，但基本上，如果您显式地声明一个类实现了一个接口，这将再次触发接口映射，因此编译器将该类作为用来计算每个接口成员映射到哪个实现的类。

13.4.4接口映射

类或结构必须提供该类或结构的基类列表中列出的所有接口成员的实现。在实现类或结构中定位接口成员实现的过程称为接口映射。

null

...

13.4.5接口实现继承

类继承其基类提供的所有接口实现。如果不显式地重新实现接口，派生类就不能以任何方式更改它从基类继承的接口映射。例如，在声明中

interface IControl
{
    void Paint();
}
class Control: IControl
{
    public void Paint() {...}
}
class TextBox: Control
{
    new public void Paint() {...}
}

Control c = new Control();
TextBox t = new TextBox();
IControl ic = c;
IControl it = t;
c.Paint();            // invokes Control.Paint();
t.Paint();            // invokes TextBox.Paint();
ic.Paint();           // invokes Control.Paint();
it.Paint();           // invokes Control.Paint();

interface IControl
{
    void Paint();
}
class Control: IControl
{
    void IControl.Paint() {...}
}
class MyControl: Control, IControl
{
    public void Paint() {}
}

control将icontrol.paint映射到control.icontrol.paint并不影响在mycontrol中的重新实现，后者将icontrol.paint映射到mycontrol.paint。