代码之家 › 专栏 › 技术社区 › Stefan Steinegger

C#方法重载和通用接口[重复]

overloading generics c#

Stefan Steinegger · 技术社区 · 13 年前

我对我们项目中的一个问题感到困惑。我试图将其简化以重现效果:

interface IBar { }

class Bar : IBar {}

interface IFoo<T> where T : IBar { }

class Foo<T> : IFoo<T> where T : IBar { }


class Class1
{
    public void DoTheFoo<T>(T bar) where T : IBar
    {}

    public void DoTheFoo<T>(IFoo<T> foo) where T : IBar
    {}


    public void Test()
    {
        var bar = new Bar();
        var foo = new Foo<Bar>();

        DoTheFoo(bar); // works

        DoTheFoo<Bar>(foo); // works
        DoTheFoo((IFoo<Bar>)foo); // works
        DoTheFoo(foo); // complains
    }
}

对我来说,这看起来不错,但编译器在最后一次调用时会抱怨,因为它试图 DoTheFoo<T>(T bar) 而不是 DoTheFoo<T>(IFoo<T> foo) 并抱怨参数类型不合适。

当我删除该方法时 DoTheFoo<T>(T巴) ,最后一个呼叫有效!
当我将其更改为 DoTheFoo<T>(Foo<T> foo) ,它有效,但我不能用

在我们当前的代码中解决这个问题并不难。但a)很奇怪,b)太糟糕了,我们不能有这两个重载方法。

有没有一个共同的规则可以解释这种行为?有可能让它工作吗(除了给方法起不同的名字)?

1 回复 | 直到 13 年前

Jon Skeet 13 年前

这只是一个类型推理的问题,当与过载解决方案相结合时,对您不太有利。只需显式指定类型参数就很容易修复-不需要强制转换:

DoTheFoo<Bar>(foo);

不过,通常我会对重载感到紧张,因为重载采用了相当不同的参数类型。如果只给方法起不同的名字,代码通常会变得更简单。除此之外,你的读者不需要在进行类型推理的同时尝试执行重载解析。。。

编辑:我认为问题在于订购是这样的:

找到两种方法
类型推理应用于这两种方法 而不验证约束 -所以对于第一种方法,我们得到 T = Foo<Bar> 对于第二种方法,我们得到 T = Bar 这两种方法在这一点上都适用。
执行过载解析,这决定第一种方法是最具体的方法。
只有之后已执行过载解析是 T 选中-由于没有来自的引用转换,因此失败 Bar 到 IFoo .