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，第二个调用带有a的Bar “B”。我们不会在运行时重新执行重载解析，所以现在你可以说

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

它会做正确的事。

Answer 2

为您的职能提供唯一名称

Answer 3

我同意其他人的意见，你应该改变你的班级，以便不发生碰撞（例如通过重命名方法）。但是，如果您不拥有该类，则是一种解决方法：

public static class WidgetExtensions
{
    public static bool Bar1<T1,T2>(this Widget<T1, T2> w, T1 t1) { return w.Bar(t1); }
    public static bool Bar2<T1,T2>(this Widget<T1, T2> w, T2 t2) { return w.Bar(t2); }
}

您可以使用这些扩展方法调用正确的Bar重载。静态方法不需要是扩展方法，但我认为它使它更清晰。

Answer 4

这看起来像你想要一个基础泛型类

的情况

abstract class WidgetBase<T1>
{

    public abstract bool Bar(T1 type);
    ... 
}

然后继承你的实现

class WidgetA : WidgetBase<int>
{
     public bool Bar(int type)
     {
         ...
     }
}

class WidgetB : WidgetBase<int>
{
     public bool Bar(int type)
     {
         ...
     }
}

C＃通用类型导致歧义

4 个答案: