Java泛型

泛型

● 泛型，即“参数化类型”.一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。
● 参数化类型，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式，然后在使用/调用时传入体的类型。
● Java 泛型（generics）是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制，泛型的好处就是在编译的时候能够检查类型安全。
必须是类
<T,E>可以定义多个
如果没有给具体的类型,默认为Object
一个子类继承一个泛型类,没有定义泛型,都是Object
子类也是泛型类，子类和父类的泛型类型要一致
class A extends Demo
子类不是泛型类，父类要明确泛型的数据类型
class A extends Demo
泛型通配符
?限制的是实际传入的参数类型,可以是任意的
● 类型通配符上限
类/接口<？extends 实参类型>
要求该泛型的类型，只能是实参类型，或实参类型的子类类型。
● 类型通配符下限
类/接口<？super 实参类型>
要求该泛型的类型，只能是实参类型，或实参类型的父类类型。
类型擦除
泛到信息只存在于代码编译阶段，在进入JVM之
前，与泛型相关的信息会被擦除掉，我们称之为一类型擦除。泛型类被类型擦除后，相应的类型就被替换成 Object 类型或者上限类型.