泛型

基本概念:

  • 如果没有泛型,对象插入集合后就会转为Object类型,因此可以插入任意类型的对象
  • 当取出元素时需要强制类型转换,如果忘记了原对象的类型,非常容易出错
  • 泛型也称为“参数化类型”,也就是将类型作为集合的一个参数,在新建集合时传入
    • 在定义类、接口、方法时,使用类型形参
    • 这个形参在整个类、接口中可以当类型使用
  • 一般使用E作为集合的元素类型,K和V表示字典的关键字和表,其他用一般类的类型参数用T表示
  • 使用泛型后,很容易知道集合的元素类型,程序可读性更好
  • 参数化类型T不能在静态块/方法/变量中使用,因为T必须在实例化时指定
  • <>中的内容只是类的一个参数,实际的类名不包括<>中的内容
  • List<子类型>并不是List<父类型>的子类型,这一点尤其注意

泛型的继承

  • 如果子类需要保留泛型,使用class SubClass extends SuperClass
  • 如果子类不需要保留泛型,使用class SubClass extends SuperClass<某一类型>
  • 如果子类不定义泛型,class SubClass extends SuperClass,父类中的泛型会自动设为Object

通配符

  • 使用通配符的原因:List<子类>并不是List<父类>的子类
  • 如果希望方法的参数的泛型是某一个类及其子类
    • 使用public void method(List)
    • 可以提取List元素,但不能插入
  • 类声明中的泛型T也可以使用class ClassName

泛型方法

  • 与泛型类类似,在方法声明后加上<>,就是泛型类
    public void method(T t)
    • 可以使用多个类型,如
  • 参数化类型可以在方法内的各种位置当成类型使用
  • 泛型方法也可以作用于构造器
  • 调用方法时,java通过传递的参数与形参作比较,确定泛型的实际类型
  • 与通配符的区别
    • 当一个参数化类型只在形参中使用一次时,建议使用通配符,更简洁
    • 当各个参数之间有联系,即使用多次时,只能使用泛型类
    • 两者可以同时使用

类型擦除和转换

  • 一个List赋给一个List变量,编译无问题,元素都将变为Object
    • 前者丢失泛型信息,这称为擦除
  • 一个List赋给一个List变量,编译无问题,元素都将变为String,但取出元素时会发生强制类型转换,有可能失败
  • 一个List赋给一个List变量,编译无法通过

你可能感兴趣的:(泛型)