C#通用类型导致歧义

Question

我正在创建一个自定义泛型类:

class Widget< T1, T2>
{
    ...
    public bool Bar( T1 type1 )
    {
        ...
    }
    public bool Bar( T2 type2 )
    {
        ...
    }
    ...
}

当然,以下行会产生一个模糊的调用编译错误:

Widget<int, int> Foo = new Widget<int, int>();
...
Foo.Bar(5);
...

有没有办法解决？是否有一个条款,我可以把它放在"where:TypeOf(T1)!= TypeOf(T2)",或任何方式使这种歧义？最好是int,int可用,但它不是manditory.

更新:

对于那些感兴趣的人,我实际上自己为这个问题找到了一个可接受的解决方案(对我来说)

class Widget< T1, T2>
{
    ...
    public bool Bar( object o )
    {
        if( o.GetType() == typeof(T1) )
        {
            ...
        }
        if( o.GetType() == typeof(T2) )
        {
            ...
        }
    }
    ...
}

Answer 1

是否有一个条款可以放在"where:TypeOf(T1)!= TypeOf(T2)"的行中

您可以使构造函数在运行时抛出异常.但是在编译时无法阻止这种情况.

有什么方法可以说明这一点吗？

您应该更改方法的名称,以便它们不会发生冲突.这是迄今为止最安全,最简单的事情.

事实上,IIRC CLR保留未能创建一种类型的权利,这种类型会产生类似方法签名的模糊性.(显然我们的实施确实成功了,但是当你拉扯这些恶作剧时,你正在踩着非常薄的冰.)

做这种事情是一个非常非常糟糕的想法,因为它可以让你遇到各种各样的麻烦.这是一个事情如何严重错误的例子:

http://blogs.msdn.com/ericlippert/archive/2006/04/05/odious-ambiguous-overloads-part-one.aspx

http://blogs.msdn.com/ericlippert/archive/2006/04/06/odious-ambiguous-overloads-part-two.aspx

另请注意,编译器将阻止您创建一个类型,以便它实现两个在构造中可能相同的接口.这是非法的:

class C<T, U> : IFoo<T>, IFoo<U> { ... }

因为你可以构造C<int, int>并且CLR无法知道哪些方法对应于哪些接口槽.

但我似乎有点偏离.回到主题.

由于您是此类的创建者,因此您可以选择重命名"Bar"方法,以便它们在任何可能的构造下都不同.假设你固执地选择不这样做.你不幸的班级的用户有什么可以做的Widget<int, int>吗？是的,实际上,就像kvb指出的那样. 他们可以定义做正确事情的扩展方法.

public static void BarTheFirst<A, B>(this Widget<A, B> w, A a)
{
    w.Bar(a);
}

public static void BarTheFirst<A, B>(this Widget<A, B> w, B b)
{
    w.Bar(b);
}

重载解析是在编译时完成的,在编译时我们所知道的是第一个调用带有"A"的Bar,第二个调用带有"B"的Bar.我们不会在运行时重新执行重载解析,所以现在你可以说

Widget<int, int> w = whatever;
w.BarTheFirst(5);
w.BarTheSecond(10);

它会做正确的事情.