【Java基础】了解泛型 什么是泛型？ 代码中的泛型 泛型的

发表于

「这是我参与11月更文挑战的第6天，活动详情查看：2021最后一次更文挑战」

什么是泛型？

Java泛型（ generics） 是JDK 5中引⼊的⼀个新特性；

在定义类、接口、方法的时候使用类型参数，在使用的时候替换成具体的类型；

泛型广泛应用在集合类框架中；

好处：

可以在编译前进行参数类型检测；

可以提高代码的复用性，以 List接口举例

需要有存放 String和 Integer的 List，如不⽤泛型， 存放String类型要写⼀个List接口， 存放Integer要写另外⼀个List接口， 泛型可以很好的解决这个问题。

代码中的泛型

泛型类

1
2
scala复制代码public class ArrayList<E> extends AbstractList<E>
        implements List<E>, RandomAccess, Cloneable, java.io.Serializable

泛型接口

1
csharp复制代码public interface List<E> extends Collection<E>

泛型方法

1
2
3
4
5
scss复制代码public E get(int index) {
    rangeCheck(index);

    return elementData(index);
}

泛型的参数类型和含义

泛型的参数类型 含义
E-Element 应用在集合中，作为元素的类型占位符
T - Type Java类参数的类型占位符
K - Key & V - Value M ap键值类型占位符
？ 表示不确定的java类型（无限制通配符类型）
Object 参数类型是所有类的根类
<？ extends T> 限定通配符，类型必须为T类型或者T子类
<？ super T> 限定通配符，类型必须为T类型或者T的父类

泛型擦除

Java编译器会将多种泛型类形实例映射到唯一的字节码表示，即类型擦除（type erasue）。

实例

List 和 List 等类型在编译之后都会变成 List（泛型擦除）。JVM拿到的类实例对象是同一个 List对象。

1
2
3
ini复制代码List<String> list1 = new ArrayList<>();
List<Integer> list2 = new ArrayList<>();
System.out.println(list1.getClass() == list2.getClass());// true

可以通过反射绕过编译前的泛型类型检查

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
vbnet复制代码List<Integer> list = new ArrayList<>();
list.add(123);
try {
    // 由于List中的泛型参数没有设置上界，所以add方法可以add任何Object的子类型参数
    Method method = list.getClass().getDeclaredMethod("add", Object.class);
    method.invoke(list, "string");
    method.invoke(list, true);
    method.invoke(list, 12.3);
    list.forEach(e -> System.out.println("e = " + e));
} catch (Exception e) {
    e.printStackTrace();
}
--------------------------------------------------------
true
e = 123
java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer
	at java.util.ArrayList.forEach(ArrayList.java:1257)
	at reflection.Main.main(Main.java:29)

当泛型遇到重载

编译报错，因为泛型擦除后，两个方法的参数签名一样。

本文转载自: 掘金

开发者博客 – 和开发相关的 这里全都有

0%