c# - 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
类A
没有 的成员的隐式或显式实现I
,因此我希望默认实现用于C
,因为C
继承了 的接口映射A
并且没有显式地重新实现I
。根据 ECMA-334 (18.6.6) 和 C# 6.0 语言规范:
一个类继承其基类提供的所有接口实现。
如果不显式地重新实现接口,派生类就不能以任何方式更改它从其基类继承的接口映射。
特别是,我希望得到以下输出:
I.M1
I.M2
这确实A
是未声明为抽象时发生的情况。
上述代码的行为是在 C# 8.0 中设计的,还是某个错误的结果?如果有意,为什么只有在声明为 virtual(在但不是的情况下)并且仅在声明为抽象时才C
隐式实现相应的成员?I
M2
M1
A
编辑:
虽然我仍然不清楚这是一个错误还是一个功能(我倾向于认为这是一个错误,并且第一条评论中链接的讨论到目前为止还没有定论),但我想出了一个更危险的场景:
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.I
和类对于各自的类Program.C
是私有的。特别是,该方法Program.C.Method
应该不能从类外部访问Program
。类的作者Program
可能认为可以完全控制何时Program.C.Method
调用方法,甚至可能不知道接口Library.I
(因为它是私有的)。但是,它是从 调用的Library.A.OtherMethod
,因为输出是:
Program.C.Method
这看起来像是一种脆弱的基类问题。被宣布为公开的事实Program.C.Method
应该是无关紧要的。请参阅 Eric Lippert 的这篇博客文章,其中描述了一个不同但有些相似的场景。
解决方案
自 C# 8.0 引入以来,支持接口的默认实现。通过此介绍,实现成员的查找过程已针对接口进行了更改。关键部分是关于如何定义实例(在您的示例 obj 中)或类型语法。
让我们从执行成员解析的 7.3 方式开始,并替换I obj = new C();
为C obj = new C();
运行时将打印以下输出:
C.M1 C.M2
如您所见,WriteLine 都将结果打印为 C 类定义的实现。这是因为类型语法指的是一个类,而“第一行”实现是 C 类的实现。
现在,当我们将其改回时,I obj = new C();
我们会看到不同的结果,即:
I.M1 C.M2
这是因为虚拟和抽象成员没有像 M1 那样被最派生的实现替换(未标记为虚拟)。
现在主要问题仍然存在,为什么 C 中的方法仅在声明为虚拟(在 M2 而不是 M1 的情况下)且仅在 A 被声明为抽象时才隐式实现 I 的相应成员?
当类 A 是非抽象类时,它“主动”实现接口,而当它是抽象类时,该类仅要求继承抽象类的类也实现接口。当我们查看您的示例时,我们不能这样写:|
A obj = new C();
System.Console.WriteLine(obj.M1()); // Method M1() is not defined
有关更多信息,您可以查看此处:https ://github.com/dotnet/roslyn/blob/master/docs/features/DefaultInterfaceImplementation.md
以下是他们的结果的一些变化:
I obj = new C(); // with A as abstract class
结果是
I.M1 C.M2
I obj = new C(); // with A as class
结果是
I.M1 I.M2
C obj = new C(); // with or without A as abstract class
结果是
C.M1 C.M2
I obj = new A(); // with A as class
结果是
I.M1 I.M2
推荐阅读
- java - Hive Prepared Statement 设置日期功能无法正常工作
- key - MIFARE 1K 访问控制字节 - 如何恢复意外更改的密钥块 7
- javascript - 在javascript中单击按钮时更改文本并替换按钮/文本?
- reactjs - Redux Thunk - 为什么我必须调用 dispatch() 两次?
- matlab - matlab中的一个节点决策树
- c# - 真实项目的依赖注入的 F# 模拟
- c++ - “new”不调用类中指定的构造函数?
- autodesk-forge - 在选择时隐藏组件详细信息
- python - 给定ID,为什么scrapy不能使用XPath查找表?
- r - R:从数据表中的列向量组合创建矩阵