为什么不允许在派生接口上显式实现基接口的方法

本文关键字:接口 实现 方法 不允许 派生 为什么 | 更新日期: 2023-09-27 18:31:17

这是一个简化的例子来解释我的问题 - 我正在尝试通过将通用接口派生到具有具体类型的接口来提高显式实现的通用接口的代码可读性,如下所示:interface ITyped : IGeneric<string>。这个想法是不必在所有实现的显式方法名称中使用IGeneric<string>

所以代码将读到:

ITyped.M1(string p){}
ITyped.M2(string p){} 

而不是

IGeneric<string>.M1(string p){}
IGeneric<string>.M2(string q){}

想象一个具有多个泛型类型的接口来理解我为什么要这样做。

现在的问题是:这行不通!编译器抛出一个错误,指出我的声明不是接口的成员。我必须显式使用带有泛型声明的基本接口。如果这有效,难道没有意义吗?进一步的尝试表明,甚至不需要泛型 - 简单的派生接口也不允许在派生接口中显式实现基接口的继承方法。我想了解为什么不允许的理论。

是否有其他方法可以提高此方案的可读性?

在此处完成示例代码:

interface IGeneric<T>
{
    void M(T t);
}
interface ITyped: IGeneric<string> { }
class C : ITyped
{
    //Explicit declaration with base interface - OK
    void IGeneric<string>.M(string t) {}
    //Implicit declaration - OK
    public void M(string t){ }
    //Explicit declaration with derived interface - Error!
    void ITyped.M(string t) {} //Error CS0539   
}

为什么不允许在派生接口上显式实现基接口的方法

在提示

c# 语言规范和 CodesInChaos 对另一个答案发表评论后,我能够找到不允许它的原因:

想象一下第二个派生接口,IDerived2: IBase和一个具体的类,它将实现两个派生接口,我将能够创建两个模棱两可的实现

private interface IBase
{
    void M();
}
class C : IDerived1, IDerived2
{
    //Which method should now be called when using IBase.M?
    void IDerived1.M() {} 
    void IDerived2.M() {}  
}

因此,多重继承限制了我们使用派生的显式接口声明。通过强制使用基声明,在多重继承的情况下,编译器确保只能有一个实现,从而有效地防止我们做坏事。

解决方法是不显式实现接口,而是隐式实现 - 实际上我明确这样做还有另一个原因,但总的来说,隐式声明将是一种有效的解决方法。

你可以

这样做:

IGeneric<string> x = new C();

如果 C 没有从 IGeneric<T> 实现 M,则无法保持接口可从类中分配。