泛型的字面误解，使用泛型定义的方法

应用于方法的个人理解，刚接触瞎想瞎写，笑
泛型Geric，从字面理解我一直以为是扩大了选择范围，
其实它是限制使用的类型。

如ArrayList<>类的定义

public class ArrayList<E> extends AbstractList<E>implements
     List<E>, RandomAccess, Cloneable, java.io.Serializable

泛型会替换类中所有E为指定类型

  E elementData(int index) {  return (E) elementData[index];}

好处就如上面直接转换了返回对象。
但其缺点字面上却不明显，甚至误导

List<Animal> list = new ArrayList<Animal>();
List<Animal> list2 = new ArrayList<Dog>();//无法通过编译
ArrayList<Animal> list3 = new List<Dog>();//无法通过编译

此处多态将只作用于List和ArrayList
ArrayList实现了List接口，所以List变量可以存储ArryList引用
但泛型大概只是刚好定义在了声明，
而不是如我想象的扩大了应用范围。
（也有安全方面的考虑，列表不会在运行期间检查，所以限制了泛型多态？）
扩展：万用字符
PS（我觉得应该叫“限型”啊，分本地变量和外地变量）