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 可用，但不是强制性的。

更新:

实际上我自己发现了一个可以接受的解决方案(对我来说)，对于那些感兴趣的人

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

Answer 1

Is there a clause that I can put along the lines of "where : TypeOf(T1) != TypeOf(T2)"

您可以让您的构造函数在运行时抛出异常。但是在编译时没有办法阻止这种情况。

Any way to make this unambiguous?

您应该更改方法的名称，以免它们发生冲突。这是迄今为止最安全、最简单的做法。

事实上，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

另请注意，编译器将阻止您创建一个类型，以使其实现两个在构造中可能相同的接口(interface)。这是非法的:

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

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

不过我好像有些跑题了。回到主题。

由于您是此类的创建者，您可以选择重命名您的“Bar”方法，以便它们在任何可能的构造下都不同。假设你固执地选择不这样做。如果你不幸的类(class)的用户想要制作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，第二个调用带“A”的 Bar “乙”。我们不会在运行时重新进行重载解析，所以现在你可以说

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

它会做正确的事。