我正在创建一个自定义泛型类:
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) )
{
...
}
}
...
}
最佳答案
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);
它会做正确的事。
关于C# 泛型类型导致歧义,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2322053/