C#通用类型导致歧义

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

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

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

 Widget Foo = new Widget(); ... Foo.Bar(5); ... 

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

更新:

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

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

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

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

有什么方法可以明确这个吗?

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

实际上,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 : IFoo, IFoo { ... } 

因为你可以构造C ,而CLR无法知道哪些方法对应于哪些接口槽。

但我似乎有些偏离。 回到主题。

由于您是此类的创建者,因此您可以选择重命名“Bar”方法,以便它们在任何可能的构造下都不同。 假设你顽固地选择不这样做。 如果他们想要制作Widget那么你的不幸类的用户可以做些什么吗? 是的,实际上,就像kvb指出的那样。 他们可以定义做正确事情的扩展方法

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

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

 Widget w = whatever; w.BarTheFirst(5); w.BarTheSecond(10); 

它会做正确的事情。

为您的函数指定唯一名称

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

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

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

这看起来像你想要一个基础generics类的情况

 abstract class WidgetBase { public abstract bool Bar(T1 type); ... } 

然后inheritance您的实现

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