javagenerics协方差
我无法理解以下文章： http ： //www.ibm.com/developerworks/java/library/j-jtp01255.html
下，
generics不是协变的
作者说，
因为ln是List，所以添加Float似乎是完全合法的。 但是如果ln与li混淆，那么它将破坏li定义中隐含的类型安全承诺 – 它是一个整数列表，这就是generics类型不能协变的原因。
我无法理解它所说的“如果ln与li混淆”的部分。 作者对别名的含义是什么？（参考？）。 引用行上方的代码片段似乎说明了什么在java中是非法的而不是为什么。 如果有人能用一个例子来解释，那对我来说会很有帮助。 提前致谢。
List li = new ArrayList (); List ln = li; // illegal ln.add(new Float(3.1415)); 在Java中，Integerinheritance自Number (java.lang.Number) ，因此直观地说，任何Integer (java.lang.Integer)都是一个数字，但是文章指出的是generics它不起作用因为考虑到这个例子，你最终可能会将一个float（这是一个Number）放入List ，这是非法的，因为float不是一个整数。
结论：generics不是协变的。
注意：我建议您阅读Effective Java（第2版）第5章：generics。
如果你能做到这样的事情：
List foo; List
事情会非常错误。 在这个例子中，bar是foo的别名，如果你能做到这一点，你将失去类型安全性，这是generics存在的主要原因。
public class vechicle { void drive(){ } } class car extends vechicle{ //Covariance vechicle getObject(){ return new car(); } //contravariance car getmyObject(){ return (car) new vechicle(); } }