Java 泛型,你了解类型擦除吗?
1. 函数上的泛型定义
当函数中使用了一个不明确的数据类型,那么在函数上就可以进行泛型的定义。
public <泛型的声明> 返回值类型 函数名( 泛型 变量名 ){
}
public static void main(String[] args) {
int[] arr = { 1, 2, 3, 4, 5 };
new Demo6().getData(5);
}
public <T> T getData(T data) {
return data;
}
使用泛型方法前需要进行泛型声明,使用一对尖括号<泛型>,声明的位置在static后返回值类型前。
当一个类中有多个函数声明了泛型,那么该泛型的声明可以声明在类上。
2. 类上的泛型声明
修饰符 class 类名<泛型>{
}
注意:静态方法不可以使用类中定义的泛型
因为类中的泛型需要在对象初始化时指定具体的类型,而静态优先于对象存在。那么类中的静态方法就需要单独进行泛型声明,声明泛型一定要写在static后,返回值类型之前
泛型类细节:
1、创建对象的时候要指定泛型的具体类型
2、创建对象时可以不指定泛型的具体类型(和创建集合对象一眼)。默认是Object,例如我们使用集合存储元素的时候没有使用泛型就是那么参数的类型就是Object
3、类上面声明的泛型只能应用于非静态成员函数,如果静态函数需要使用泛型,那么需要在函数上独立声明。
4、如果建立对象后指定了泛型的具体类型,那么该对象操作方法时,这些方法只能操作一种数据类型。
5、所以既可以在类上的泛型声明,也可以在同时在该类的方法中声明泛型。
泛型通配符
通配符:?
public void show(List<?> list){}
对类型进行限定范围
?extends E: 接收E类型或者E的子类型。
? super E: 接收E类型或者E的父类型。
这个地方存在需要讨论的现象
示例
class Person{
public void test() {
System.out.println("person");
}
}
class Student extends Person{
public void text1() {
System.out.println("student");
}
}
可以看到,此时加入person或person的子类都是不可以的。那么这种现象该作如何解释呢?
网上说是此时list丧失了读写能力,在这里我们是否可以这样理解:我们通过<? extends person>确定类的范围时,并没有真正固定下来List存储的类型,此时我们只知道泛型的类型是在这个范围之中的,这个时候我们加入Person类型的数据,但我们无法确定list存储的类型是Person还是Person的子类,如果是子类,这段代码岂不是逻辑错误的吗,同样的,如果我们加入Student,我们同样无法确定list存储的类型是Person还是Student亦或是Person的其他子类,如果是其他子类,这段代码岂不也是逻辑错误的吗,所以在此处设定为不可添加元素。
<? super person>同理。
通配符与类型参数的区别
一般而言,通配符能干的事情都可以用类型参数替换。
person
student
此时可以看到,?无法做到上面的效果但是T可以做到。
注意:泛型是提供给javac编译器使用的,它用于限定集合的输入类型,让编译器在源代码级别上,即挡住向集合中插入非法数据。但编译器编译完带有泛形的java程序后,生成的class文件中将不再带有泛形信息(也就是说他将变成原始的集合),以此使程序运行效率不受到影响,这个过程称之为“擦除”。
擦除详解
true
上面的代码所输出的结果为true,是因为List<Integer>和List<String>在 jvm 中的 Class 都是 ArrayList.class。这说明在编译阶段泛型信息被擦除了,那么擦除后,list中存放的类型该是什么呢,这里我们需要分几种情况
在泛型类被类型擦除的时候,之前泛型类中的类型参数部分如果没有指定上限,如<T>则会被转译成普通的 Object 类型,如果指定了上限如
<T extends String>则类型参数就被替换成类型上限。
网友评论