受限扩展方法会导致调用模糊

Question

受限扩展方法会导致调用模糊

3

假设我们有两个不相关的接口

public interface IFirst
{

}

public interface ISecond
{

}

同时，针对每个接口进行约束的同名扩展方法。

public static class IFirstExtensions
{
    public static void DoIt<TFirst>(this TFirst model)
        where TFirst : IFirst
    {

    }
}

public static class ISecondExtensions
{
    public static void DoIt<TSecond>(this TSecond model)
        where TSecond : ISecond
    {

    }
}

当我尝试使用IFirst实例时：

IFirst first = ...;
first.DoIt();

然后我遇到了一个错误:

"CS0121 调用 'IFirstExtensions.DoIt(TFirst)' 和 'ISecondExtensions.DoIt(TSecond)' 方法或属性时不明确。"

这很奇怪。看起来这两个方法在这个作用域都是可见的。但是如果我将它们重命名，例如：

public static class IFirstExtensions
{
    public static void DoFirst<TFirst>(this TFirst model)
        where TFirst : IFirst
    {

    }
}

public static class ISecondExtensions
{
    public static void DoSecond<TSecond>(this TSecond model)
        where TSecond : ISecond
    {

    }
}

约束起作用，第二种方法不可见，导致编译错误：

IFirst first = ...;
first.DoSecond();

看起来，当检测歧义时和调用时，约束满足条件的工作方式不同。但在C#规范中，我只找到了一个与此主题严格相关的章节，描述约束如何工作。这是编译器的漏洞还是我错过了什么？

- Stan

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- InBetween · Accepted Answer

通用约束不是方法签名的一部分。在重载决议方面，这两个方法完全相同，因此会生成一个模棱两可的调用错误。

具体来说，方法的签名由其名称、类型参数的数量以及其形式参数的数量、修饰符和类型组成（C# 5.0规范，10.6方法）。

为了进行签名比较，任何类型参数约束子句都将被忽略，方法类型参数的名称也将被忽略，但泛型类型参数的数量是相关的（ECMA-334，25.6.1泛型方法签名）。

更明确地说，在重载决议方面，这两个扩展方法仅仅是：

public static void DoFirst<T>(this T model)

此外，请注意该问题并非仅与扩展方法有关。请考虑以下示例，其中在同一类中声明了具有相同签名但不同约束的两个通用方法：

class Foo
{
    void Bar<T>(Blah blah) where T: Frob { }
    void Bar<T>(Blah blah) where T: Blob { } //CS0111 error
}

您将会得到一个编译时错误：

CS0111 类型“Foo”已经定义了一个与参数类型相同的成员“Bar”。