C# 8.0 默认接口成员的意外行为

问：

请考虑以下代码：

interface I {
    string M1() => "I.M1";
    string M2() => "I.M2";
}

abstract class A : I {}

class C : A {
    public string M1() => "C.M1";
    public virtual string M2() => "C.M2";
}

class Program {
    static void Main() {
        I obj = new C();
        System.Console.WriteLine(obj.M1());
        System.Console.WriteLine(obj.M2());
    }
}

它在 .NET Core 3.1.402 中生成以下意外输出：

I.M1
C.M2

类没有 成员的隐式或显式实现，因此我希望默认实现用于 ，因为继承了 的接口映射并且不会显式重新实现。根据 ECMA-334 （18.6.6） 和 C# 6.0 语言规范：AICCAI

类继承其基类提供的所有接口实现。

如果不显式重新实现接口，派生类就不能以任何方式更改它从其基类继承的接口映射。

特别是，我期望以下输出：

I.M1
I.M2

这确实是当未被声明为抽象时发生的情况。A

上述代码的行为是在 C# 8.0 中预期的，还是某些错误的结果？如果有意的话，为什么方法只有在声明为虚拟时才隐式实现相应的成员（在的情况下但不是），并且只有在声明为抽象时才隐式实现？CIM2M1A

编辑：

虽然我仍然不清楚这是一个错误还是一个功能（我倾向于认为这是一个错误，并且到目前为止，第一条评论中链接的讨论尚无定论），但我提出了一个更危险的场景：

class Library {
    private interface I {
        string Method() => "Library.I.Method";
    }
    
    public abstract class A: I {
        public string OtherMethod() => ((I)this).Method();
    }
}

class Program {
    private class C: Library.A {
        public virtual string Method() => "Program.C.Method";
    }
    
    static void Main() {
        C obj = new C();
        System.Console.WriteLine(obj.OtherMethod());
    }
}

请注意，接口和类是各自类的私有接口。特别是，该方法应该不能从类外部访问。类的作者可能认为可以完全控制何时调用该方法，甚至可能不知道接口（因为它是私有的）。但是，它是从 调用的，因为输出是：Library.IProgram.CProgram.C.MethodProgramProgramProgram.C.MethodLibrary.ILibrary.A.OtherMethod

Program.C.Method

这看起来像是一种脆性基类问题。被宣布为公开的事实应该是无关紧要的。请参阅 Eric Lippert 的这篇博文，其中描述了一个不同但有些相似的场景。Program.C.Method