Java基础之泛型

一些术语

  1. 参数化类的类型(parameterized type):含有类型参数的类型,例如List
  2. 原生态类型(raw type):没有类型参数的类型,例如List
  3. 无限制通配符类型(unbounded wildcard type):例如List

原生态类型保留的原因:兼容性

List, List, List, List的讨论
  1. 形如List的是原生态类型,是类型不安全的,逃避了泛型检查
  2. List明确告诉编译器它可以持有Object类型的对象,List明确告诉编译器它可以持有String类型的对象,但是List类型的引用可以接受List,List的实例对象,但是List的引用不可以接受List的实例对象。也就是所谓的泛型集合是不具有协变性(covariant)的.
  3. 无限制通配符类型如List说明该List持有某种特定类型的对象,但是不知道具体是哪一种类型,所以不能向这种List中添加任何对象,因为编译器并不能 判定这种添加是否是正确的,所以会在编译阶段报错。相比原生态类型,List则可以添加任何对象,因为编译阶段并没有做类型检查。
  4. 优先使用列表而不是数组

    数组是协变的(covariant),所谓数组是协变的,是指如果Sub是Super的子类型,那么数组类型Sub[]也是Super[]的子类型。

    而泛型是通过擦除(erasure)来实现的,泛型是只在编译时强化它们的类型信息,并在运行时丢弃它们的元素类型信息。所以泛型不是协变的,上面第2条List并不是List的父类。

    所以数组和泛型不能很好的混用,如创建泛型对象数组:new E[],参数化类型或者类型参数的数组:new List[], new List[]是非法的。

    类型擦除对泛型的限制

    由于泛型仅仅是在编译时有了较强的类型检查,而实际编译后所产生的是没有泛型信息的运行代码,所以这导致泛型有许多限制。

    1. 泛型类中,static方法和static域均不可引用类的类型变量
    2. 不能实例化泛型类型实例,也就是使用类似于new T()的形式
    3. 不能实例化泛型数组

    Comparable接口

    实现Comparable接口,实现其中的compareTo方法可以使对象的对比更高效。

    参考文献:使用通配符简化泛型使用

    你可能感兴趣的:(Java基础之泛型)