Java 之伪泛型

在说java泛型之前，们先说说java的 “编译期” ，其实它是一段“不确定” 的操作过程，因为它可能是指前端编译器把*.java文件转变成 

*.class文件的过程；也可能是指虚拟机的后端运行期编译器（JIT编译器）把字节码转变成机器码的过程；还可能是指使用静态提前编译器（AOT编译器）直接把*.java文件编译成本地机器代码的过程。

这三类过程中最符合大家对java程序编译认知的应该是第一类。接下来我所说的编译期间指的就是第一类。

泛型的作用

泛型是jdk1.5的一项新增特性，它的本质是参数化类型的应用，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口和泛型方法。

为什么会出现泛型呢？即泛型的作用是什么？

泛型的出现可以提高java程序的类型安全，消除强制类型转换，解决类型不匹配而引起的java.lang.ClassCastException问题。

package com.test;

import java.util.ArrayList;
import java.util.List;

public class Test1 {

	public static void main(String[] args) {

		List list = new ArrayList();
		list.add("a");
		int a = (Integer) list.get(0);
		System.out.println(a);
	}
}

在上述代码中编译期间是不报错的，但是运行时却会报错

Exception in thread "main" java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer
	at com.test.Test1.main(Test1.java:12)

因为你不指定泛型的话，默认的list.get()方法的返回值是object，而Object是可以强制转换为Integer的

package com.test;

import java.util.ArrayList;
import java.util.List;

public class Test1 {

	public static void main(String[] args) {

		List<String> list = new ArrayList<String>();
		list.add("1");
		int a = (Integer) list.get(0);//编译无法通过，会报错 Cannot cast from String to Integer 
		System.out.println(a);
	}
}

而上述代码在编译期间就无法通过，因为指定了泛型，list中存储的只能是String类型，编译期间就知道了，所以无法强转为Integer的类型。

java之伪泛型

既然有伪泛型，那么当然就有真实泛型。

泛型技术在C#和java之中的使用方式看似相同，但实现上却有着根本性的分歧，C#里面泛型无论在程序源码中、编译后的IL中（中间语言，这时候泛型是一个占位符），或是运行期的CLR中，都是切实存在的，List<Integer> 和List<String>就是两个不同的类型，它们在系统运行期生成，有自己的虚方法表和类型数据，这种实现称为类型膨胀，基于这种方法实现的泛型称为真实泛型。

Java语言中的泛型规则则不一样，它只在程序源码中存在，在编译后的字节码文件中，就已经替换为原来的原生类型，并且会在相应的地方插入了强制转型代码。因此对于运行期的java语言来说，ArrayList(Integer)和ArrayList(String)就是同一个类，所以泛型技术实际上是java语言的一颗语法糖（关于什么是语法糖，请自行百度，这里就不过多阐述了），java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型称为伪泛型。

下面这段代码是编译前的代码

package com.test;

import java.util.ArrayList;
import java.util.List;

public class Test1 {

	public static void main(String[] args) {

		List<String> list = new ArrayList<String>();
		list.add("1");
		System.out.println(list.get(0));
	}
}

下面这段代码是上面代码编译成Class文件后，再用字节码反编译工具进行反编译后的代码，你将会发现泛型都不见了，程序又变回了java泛型出现之前的写法了

package com.test;

import java.util.ArrayList;
import java.util.List;

public class Test1 {

	public static void main(String[] args) {

		List list = new ArrayList();
		list.add("1");
		System.out.println((String)list.get(0));
	}
}

至于为什么当初JDK设计团队要选择这种方法来实现java语言的泛型，这就不得而知了。java中的泛型博大精深，远非我所讲的这么点。

上述一些知识点参照了“深入理解Java虚拟机”一书