为什么C＃接口方法没有声明为抽象或虚拟的？

一尘不染

为什么C＃接口方法没有声明为抽象或虚拟的？

接口中的C＃方法在不使用virtual关键字的情况下被声明，并且在派生类中被覆盖而未使用override关键字。

是否有一个原因？我认为这只是一种语言上的便利，显然CLR知道如何在后台进行处理（默认情况下方法不是虚拟的），但是还有其他技术原因吗？

这是派生类生成的IL：

class Example : IDisposable {
    public void Dispose() { }
}

.method public hidebysig newslot virtual final 
        instance void  Dispose() cil managed
{
  // Code size       2 (0x2)
  .maxstack  8
  IL_0000:  nop
  IL_0001:  ret
} // end of method Example::Dispose

请注意，该方法virtual final在IL中声明。

阅读 388

2020-05-19

共1个答案

一尘不染

对于该接口，添加abstract甚至public关键字是多余的，因此您可以省略它们：

interface MyInterface {
  void Method();
}

在CIL中，该方法被标记为virtual和abstract。

（请注意，Java允许声明接口成员public abstract）。

对于实现类，有一些选项：

不可覆盖
：在C＃中，类未将方法声明为virtual。这意味着它不能在派生类中被覆盖（只能是隐藏的）。在CIL中，该方法仍然是虚拟的（但是封闭的），因为它必须支持有关接口类型的多态性。

class MyClass : MyInterface {
  public void Method() {}
}

可重写 ：在C＃和CIL中，方法均为virtual。它参与多态调度，可以被覆盖。

class MyClass : MyInterface {
  public virtual void Method() {}
}

显式的
：这是类实现接口的一种方法，但不提供类本身的公共接口中的接口方法。在CIL中，该方法将是private（！），但仍然可以从类外部通过对相应接口类型的引用进行调用。显式实现也是不可覆盖的。这是可能的，因为有一个CIL指令（.override）将私有方法链接到它正在实现的相应接口方法。

[C＃]

class MyClass : MyInterface {
  void MyInterface.Method() {}
}

[CIL]

.method private hidebysig newslot virtual final instance void MyInterface.Method() cil managed
{
  .override MyInterface::Method
}

在VB.NET中，您甚至可以在实现类中为接口方法名称加上别名。

[VB.NET]

Public Class MyClass
  Implements MyInterface
  Public Sub AliasedMethod() Implements MyInterface.Method
  End Sub
End Class

[CIL]

.method public newslot virtual final instance void AliasedMethod() cil managed
{
  .override MyInterface::Method
}

现在，考虑这种奇怪的情况：

interface MyInterface {
  void Method();
}
class Base {
  public void Method();
}
class Derived : Base, MyInterface { }

如果Base和Derived在同一程序集中声明，则编译器将Base::Method虚拟化并密封化（在CIL中），即使Base未实现该接口也是如此。

如果Base和Derived在不同的程序集中，则在编译该Derived程序集时，编译器不会更改其他程序集，因此它将引入一个成员，Derived该成员将是一个显式实现MyInterface::Method，将其委托给Base::Method。

因此，您将看到，每个接口方法实现都必须支持多态行为，因此即使编译器必须经过箍才能实现，也必须在CIL上将其标记为虚拟。

2020-05-19