关于一个 Java 泛型的问题

[pumpkin]

由于 Java 泛型的擦除，经常会看到会给泛型加一个擦除的边界

<T extends X>

我想问的是：为什么不直接用多态来实现这种需求，这个擦除的边界不就相当于多态吗？

[zhaohui318]

看着题目眼熟，之前写过一片文章，可以参考一下

http://garywzh.xyz/2016/06/10/Java%E7%9A%84%E9%9B%86%E5%90%88%E4%B8%8E%E6%B3%9B%E5%9E%8B/

[misaka19000]

@zhaohui318 很好，学习到了

[fwrq41251]

关键词：协变

[incompatible]

@zhaohui318 把 List<Dog>转换成一个 List<Animal>的最省事儿的方式：

public List<Animal> convert(List<Dog> dogList) {
return (List) dogList;
}

[21grams]

这问题就相当于为什么用泛型不用多态

[SoloCompany]

generic / covariant / invariant

这几个概念建议都要看一下

早期的 java 没有泛型，但有数组，而数组在 java 语言里面是定义为 covariant 的，也就是赋值相容的，这其实是一个错误，因为把一个 String[] 类型转换为 Object[] 没有任何警告，但以后的元素赋值可能会产生 ClassCastException

Java 泛型的设计纠正了这个错误，是 invariant 的，也就是赋值不相容，你不能把 List<String> 直接当成 List<Object> 来用，但可以当做 List<? extends Object> 来用，自然而然， extends 和 super 关键字就是必须的了

invariant 的泛型也给编程带来很多麻烦，因为无法进行类型转换（当然，因为 java 的泛型是擦除的，强制转换并且消除警告也总是有办法做到的）

进一步的，如果你有看过 kotlin 的话，有专门章节介绍泛型， kotin 用 in / out 标记来代替了 extends / super ， in / out 关键字不仅仅能修饰泛型参数类型，还能用来修饰泛型参数声明，配合不可变集合类型就能够支持 convariant 泛型（赋值相容）

比如 kotlin 的 List 是不可变的，其接口声明是 interface List<out E>;
意思是只能从里面取出来 E 类型的元素，不能保存
那么 List<String> 和 List<Object> 就变得赋值相容了

[palmers]

这个在 think in java 中有解释 泛型是 1.5 才加进来的 为了多方妥协最后采用擦出边界这么一个折中的办法