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

Why are C# interface methods not declared abstract or virtual?

接口中的C方法声明时不使用virtual关键字，在派生类中重写时不使用override关键字。

有什么原因吗？我认为这只是一种语言便利，显然，clr知道如何在封面下处理这一点(默认情况下，方法不是虚拟的)，但是还有其他技术原因吗？

下面是派生类生成的IL：

1
2
3
4
5
6
7
8
9
10
11
12

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

注意，该方法在IL中声明为virtualfinal。

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

1
2
3

interface MyInterface {
void Method();
}

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

(注意Java允许接口成员被声明为public abstract)。

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

不可重写：在C中，类不将方法声明为virtual。这意味着它不能在派生类中被重写(仅隐藏)。在CIL中，该方法仍然是虚拟的(但是密封的)，因为它必须支持接口类型的多态性。

1
2
3

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

可重写：在C和CIL中，方法都是virtual。它参与多态调度，并且可以被覆盖。

1
2
3

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

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

〔C〕

1
2
3

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

[ CIL ]

1
2
3
4

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

在vb.net中，甚至可以在实现类中对接口方法名使用别名。

[VB.NET ]

1
2
3
4
5

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

[ CIL ]

1
2
3
4

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

现在，考虑一下这个奇怪的案例：

1
2
3
4
5
6
7

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

如果Base和Derived在同一程序集中声明，即使Base没有实现接口，编译器也会使Base::Method虚拟并密封(在cil中)。

如果Base和Derived在不同的程序集中，那么在编译Derived程序集时，编译器不会更改另一个程序集，因此它将在Derived中引入一个成员，这将是MyInterface::Method的显式实现，它只将调用委托给Base::Method。

因此，您可以看到，每个接口方法实现都必须支持多态行为，因此必须在CIL上标记为虚拟的，即使编译器必须经历循环才能做到这一点。

在这里通过CSharp引用来自clr的Jeffrey Ritcher第三版

The CLR requires that interface
methods be marked as virtual. If you
do not explicitly mark the method as
virtual in your source code, the
compiler marks the method as virtual
and sealed; this prevents a derived
class from overriding the interface
method. If you explicitly mark the
method as virtual, the compiler marks
the method as virtual (and leaves it
unsealed); this allows a derived class
to override the interface method. If
an interface method is sealed, a
derived class cannot override the
method. However, a derived class can
re-inherit the same interface and can
provide its own implementation for the
interface’s methods.