java泛型协方差

Question

我无法理解以下文章： http://www.ibm.com/developerworks/java/library/j-jtp01255.html

下，

泛型不是协变的

作者说，

因为 ln 是一个 List，所以添加一个 浮动到它似乎完全合法。但 如果 ln 与 li 别名，那么它 会破坏类型安全承诺 隐含在 li 的定义中—— 它是一个整数列表，其中 这就是为什么泛型类型不能 协变。

我无法理解它所说的部分 “如果 ln 别名为 li”。作者所说的别名是什么意思？（参考？）。引用行上方的代码 sn-p 似乎说明了在 java 中什么是非法的，而不是为什么。如果有人可以举例说明，那对我很有帮助。 提前致谢。

Answer 1

List<Integer> li = new ArrayList<Integer>();
List<Number> ln = li; // illegal
ln.add(new Float(3.1415));

在 Java 中，Integer 继承自 Number(java.lang.Number)，所以直观地说，任何 Integer(java.lang.Integer) 也是一个数字，但那篇文章指出，使用泛型它不能那样工作，因为考虑到例如，您最终可能会将浮点数（它是一个数字）放入 List<Integer>，这是非法的，因为浮点数不是整数。

结论：泛型不是协变的。

注意：我推荐你阅读Effective Java (2nd Edition) Chapter 5: Generics。

Answer 2

如果你可以这样做：

List<Float> foo;
List<Object> bar;

foo = new ArrayList<Float>();
bar = foo;

foo.add(1.0f);
bar.add("Hello");

事情会大错特错。在这个例子中，bar 是 foo 的别名，如果你能这样做，你将失去类型安全性，而这是泛型存在的主要原因。

Answer 3

public class vechicle {
void drive(){
}
}
class car extends vechicle{
        //Covariance
    vechicle getObject(){
        return new car();
    }
        //contravariance
    car getmyObject(){
        return (car) new vechicle(); 
    }
}