什么是泛型?
泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型,在实例化时作为参数指明这些类型.
常用举例
public interface List<E> extends Collection<E>
最常用的泛型就是集合类,集合类的数据,集合中的元素类型,可以是任意类型.如果不指定类型,那么就是Object类型.取值之后我们就要做强制类型转换才可以成为实际类型.
使用泛型
源码
public void testListGeneric() {
//使用泛型
List<String> genericList = new ArrayList<>();
genericList.add("string");
String genericElement = genericList.get(0);
System.out.println(genericElement);
//不使用泛型
List objectList = new ArrayList();
objectList.add("string");
String objectElement = (String) objectList.get(0);
System.out.println(objectElement);
}
使用泛型之后,就没有显示的强制类型转换
泛型擦除
反编译
public void testListGeneric() {
List<String> genericList = new ArrayList();
genericList.add("string");
String genericElement = (String)genericList.get(0);
System.out.println(genericElement);
List objectList = new ArrayList();
objectList.add("string");
String objectElement = (String)objectList.get(0);
System.out.println(objectElement);
}
看到使用泛型的地方,使用了一个强制类型转换
String genericElement = (String)genericList.get(0);
可见泛型只是语法糖,只在源码层面起作用,经过javac之后就没有了.
但是并非像许多开发者认为的那样,在 <..> 符号内的东西都被擦除,<>中的类型还是会保存在class文件中的.
在深度看下字节码的原始信息,这会用到一个javap的命令.javap是jdk自带的反编译工具,可以查看java的class文件信息和对class进行反编译.
javap -c FanXingTest.class
public void testListGeneric();
Code:
0: new #2 // class java/util/ArrayList
3: dup
4: invokespecial #3 // Method java/util/ArrayList."<init>":()V
7: astore_1
8: aload_1
9: ldc #4 // String string
11: invokeinterface #5, 2 // InterfaceMethod java/util/List.add:(Ljava/lang/Object;)Z
16: pop
17: aload_1
18: iconst_0
19: invokeinterface #6, 2 // InterfaceMethod java/util/List.get:(I)Ljava/lang/Object;
24: checkcast #7 // class java/lang/String
27: astore_2
28: getstatic #8 // Field java/lang/System.out:Ljava/io/PrintStream;
31: aload_2
32: invokevirtual #9 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
35: new #2 // class java/util/ArrayList
38: dup
39: invokespecial #3 // Method java/util/ArrayList."<init>":()V
42: astore_3
43: aload_3
44: ldc #4 // String string
46: invokeinterface #5, 2 // InterfaceMethod java/util/List.add:(Ljava/lang/Object;)Z
51: pop
52: aload_3
53: iconst_0
54: invokeinterface #6, 2 // InterfaceMethod java/util/List.get:(I)Ljava/lang/Object;
59: checkcast #7 // class java/lang/String
62: astore 4
64: getstatic #8 // Field java/lang/System.out:Ljava/io/PrintStream;
67: aload 4
69: invokevirtual #9 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
72: return
在24行和59行,都有一个<b>checkcast</b>指令,标示需要类型转换
24: checkcast #7 // class java/lang/String
59: checkcast #7 // class java/lang/String
Jackson反序列化
集合泛型举例
public void testJacksonGeneric() throws IOException {
String json = "[\"1\", \"2\", \"3\"]";
ObjectMapper objectMapper = new ObjectMapper();
List<String> l = objectMapper.readValue(json, TypeFactory.defaultInstance().constructCollectionType(List.class, String.class));
System.out.println(l);
}
对于这类无法从class文件中拿到实际类型,需要手动指定
类成员属性包含泛型举例
public class FanXingTest {
private List<String> list;
getList;//此处是伪代码
setList;
}
public void testJacksonGenetrc2() throws IOException {
String json = "{\"list\":[\"1\",\"2\",\"3\"]}";
ObjectMapper objectMapper = new ObjectMapper();
FanXingTest fanXingTest = objectMapper.readValue(json, FanXingTest.class);
List<String> list = fanXingTest.getList();
System.out.println(list);
}
对于这种形式,其实在class文件中是可以拿到属性的泛型
参考文章
https://zh.wikipedia.org/wiki/%E6%B3%9B%E5%9E%8B
https://www.oracle.com/technetwork/cn/articles/java/juneau-generics-2255374-zhs.html