泛型
2019-02-14 本文已影响0人
Kevin_Huang54
基本概念：
- 如果没有泛型，对象插入集合后就会转为Object类型，因此可以插入任意类型的对象
- 当取出元素时需要强制类型转换，如果忘记了原对象的类型，非常容易出错
- 泛型也称为“参数化类型”，也就是将类型作为集合的一个参数，在新建集合时传入
- 在定义类、接口、方法时，使用类型形参
- 这个形参在整个类、接口中可以当类型使用
- 一般使用E作为集合的元素类型，K和V表示字典的关键字和表，其他用一般类的类型参数用T表示
- 使用泛型后，很容易知道集合的元素类型，程序可读性更好
- 参数化类型T不能在静态块/方法/变量中使用，因为T必须在实例化时指定
- <>中的内容只是类的一个参数，实际的类名不包括<>中的内容
- List<子类型>并不是List<父类型>的子类型，这一点尤其注意
泛型的继承
- 如果子类需要保留泛型，使用
class SubClass<T> extends SuperClass<T> - 如果子类不需要保留泛型，使用
class SubClass extends SuperClass<某一类型> - 如果子类不定义泛型，
class SubClass extends SuperClass，父类中的泛型会自动设为Object
通配符
- 使用通配符的原因：List<子类>并不是List<父类>的子类
- 如果希望方法的参数的泛型是某一个类及其子类
- 使用
public void method(List<? extends 父类>) - 可以提取List元素，但不能插入
- 使用
- 类声明中的泛型T也可以使用
class ClassName<T extends 父类>
泛型方法
- 与泛型类类似，在方法声明后加上<>，就是泛型类
public <T> void method(T t)- 可以使用多个类型，如<K, V>
- 参数化类型可以在方法内的各种位置当成类型使用
- 泛型方法也可以作用于构造器
- 调用方法时，java通过传递的参数与形参作比较，确定泛型的实际类型
- 与通配符的区别
- 当一个参数化类型只在形参中使用一次时，建议使用通配符，更简洁
- 当各个参数之间有联系，即使用多次时，只能使用泛型类
- 两者可以同时使用
类型擦除和转换
- 一个List<String>赋给一个List变量，编译无问题，元素都将变为Object
- 前者丢失泛型信息，这称为擦除
- 一个List赋给一个List<String>变量，编译无问题，元素都将变为String，但取出元素时会发生强制类型转换，有可能失败
- 一个List<Integer>赋给一个List<String>变量，编译无法通过
