C#generics – 没有设计的下限?
我正在阅读Codehua at Work中对Joshua Bloch的采访,他在Java 5中对generics的介绍感到遗憾。他不喜欢具体的实现,主要是因为方差支持–Java的通配符 – 使得它不必要地复杂化。
据我所知,C#3没有明确的,有界的通配符,例如你不能声明一个方法PriceBatch,它接受一个Asset或任何Asset子类的void PriceBatch(Collection assets)
( void PriceBatch(Collection assets)
在Java?)。
有谁知道为什么没有将通配符和边界添加到C#中? 故意遗漏这些function以使语言更简单,或者这是他们还没有实现的东西呢?
编辑:圣烟,Eric Lippert本人的评论! 在阅读了他和Paul的深刻见解之后,我意识到至少支持上限,并且上面的例子可以转换为C#:
void PriceBatch(ICollection assets) where T : Asset
另一方面,显然不支持下限,因为Eric在他的第二条评论中说,例如,可能没有办法直接将这个(有点人为的)Java代码转换为C#:
public class Asset {} public class Derivative extends Asset {} public class VanillaOption extends Derivative {} public static void copyAssets(Collection src, Collection dst) { for(T asset : src) dst.add(asset); } Collection src = new ArrayList(); [...] Collection dst = new ArrayList(); [...] copyAssets(src, dst);
我对么? 如果是这种情况,C#是否具有上限而非下限的特殊原因是什么?
一个复杂的问题。
首先让我们考虑你的基本问题,“为什么这在C#中是非法的?”
class C where T : Mammal {} // legal class D where Giraffe : T {} // illegal
也就是说,generics类型约束可以说“T必须是可以分配给Mammal类型的变量的任何引用类型”,但不是“T必须是任何引用类型,其变量可以被赋予长颈鹿”。 为什么不同?
我不知道。 那是在我加入C#团队之前很久。 琐碎的答案是“因为CLR不支持它”,但设计C#generics的团队就是设计CLRgenerics的团队 ,所以这真的不是一个解释。
我的猜测就是一如既往地支持必须设计,实施,测试,记录并运送给客户的function; 没有人为这个function做任何这些事情,因此它不在语言中。 我没有看到提议的function有一个巨大的,引人注目的好处; 没有引人注目的好处的复杂function往往会在这里削减。
但是,这是猜测。 下次我碰巧和那些从事仿制药工作的人聊天 – 他们住在英格兰,不幸的是,不管他们是不是在我的大厅里,不幸的是 – 我会问。
至于你的具体例子,我认为保罗是正确的。 您不需要下限约束来使其在C#中工作。 你可以说:
void Copy(Collection src, Collection dst) where T : U { foreach(T item in src) dst.Add(item); }
也就是说,将约束放在T上,而不是放在U上。
C#4引入了新function,允许在generics中进行协方差和逆变。
还有其他SOpost更详细地讨论了这个问题: 如何在C#4.0中实现通用协方差和反差异?
新function不会在所有类型中自动启用此function,但有一种新语法允许开发人员指定通用参数是协变还是逆变。
C#4之前的C#版本具有与此类似的function,因为它与委托和某些数组类型相关。 关于委托,允许使用基本参数类型的委托。 关于数组类型,我认为除非涉及拳击,否则它是有效的。 也就是说,Customer数组可以是一个对象数组。 但是,无法将一个int数组转换为对象数组。
.net已经具有相当于通配符,更符合逻辑命名的generics类型约束,你可以做你所描述的没有问题
namespace ConsoleApplication3 { class Program { static void Main(string[] args) { List a = new List(); List b = new List(); List c = new List (); test(a); test(b); test(c); } static void test(List a) where T : a { return; } } class a { } class b : a { } class c : b { } }
例2
namespace ConsoleApplication3 { class Program { static void Main(string[] args) { ICollection src = new List (); ICollection dst = new List (); copyAssets(src, dst); } public static void copyAssets(ICollection src, ICollection dst) where T : G { foreach(T asset in src) dst.Add(asset); } } public class Asset {} public class Derivative : Asset {} public class VanillaOption : Derivative {} }
此示例表示来自您在java中的示例的代码转换。
虽然我真的无法回答实际的问题!
上述就是C#学习教程:C#generics – 没有设计的下限?分享的全部内容,如果对大家有所用处且需要了解更多关于C#学习教程,希望大家多多关注—计算机技术网(www.ctvol.com)!
本文来自网络收集,不代表计算机技术网立场,如涉及侵权请联系管理员删除。
ctvol管理联系方式QQ:251552304
本文章地址:https://www.ctvol.com/cdevelopment/1043262.html