Java泛型的定义和使用详解
目录
一，为什么我们需要泛型
二，什么是泛型，泛型的定义
三，如何定义和使用泛型
四、限定类型变量
五、泛型中的约束和局限性
六、泛型类型的继承规则
七、通配符类型
八、虚拟机是如何实现泛型的？
一，为什么我们需要泛型
通过分析下面两种情况，来得出我们为什么需要泛型。
1.对两个数值类型求和的情况，如下代码，当两个数值是int类型时，需要实现一个方法对int类型的数值求和。当两个数值是Float类型时，需要实现一个方法对Float类型的数值求和。如果两个数值是Double类型时，还需要再实现一个方法对Double类型的数值求和。
public int addInt(int x, int y) {
return x+y;
}
public float addFloat(float x, float y) {
return x+y;
}我们发现对两个数值求和时，都是一样的操作(加法运算)，但当两个数值的数据类型改变时，就需要重新实现一个新的求和方法。同样的一段代码，只是因为传入的参数不同，这里就必须要重写这个方法，这样会导致代码非常臃肿，也不灵活。
这种情况下我们能不能写出一段代码，代码的逻辑是一样的，根据传入的参数不同，自动进行运算。这就是泛型需要的地方之一。
适用多种数据类型，执行相同的代码，这是泛型的用处之一。
2.声明一个List集合，如下代码，不带任何的类型说明，向List里面添加一些元素，加入String和Integer对象，这时候编译不会报错。然后我们打印出List中的元素，运行的时候抛出一个异常"java.lang.Integer cannot be cast to java.lang.String"，Integer对象不能转换成一个String对象。
因为这里声明的List没有规定它的类型，此时List默认的类型是Object，Object是所有类的父类，所以把不同类型的数据添加到List中没有问题。但是从List中取数据的时候，取到的所有数据都是Object，所以在使用这些数据的时候就需要强制类型转换。如下代码中需要打印出String，就需要强制转换成String类型，但是由于List中还添加了Integer类型的数据，这时候强制类型转换就会报异常"ClassCastException"。
所以这里就需要使用到泛型，List集合定义了泛型之后，List集合中只能添加指定类型的数据，不然会编译不通过，在编译的时候就找到错误。而且从List集合中取数据的时候，不需要强制类型转换，可以直接用。
这就是使用泛型的好处，在编码的过程中，可以指定数据类型，不需要进行强制类型转换。以及如果我们插入错误的数据类型，在编译期间就能够发现，不至于在运行的时候才抛类转换异常。
public static void main(String[] args) {
// TODO Auto-generated method stub
List list = new ArrayList();
list.add("mark");
list.add("OK");
list.add(new Integer(100));
for(int i = 0; i < list.size(); i++){
String name = (String) list.get(i);
System.out.println("name: " + name);
}
}
所以泛型的好处就是：
1，适用多种数据类型，执行相同的代码。
2，在编码的过程中，指定数据类型，不需要进行强制类型转换。以及如果我们插入错误的数据类型，在编译期间就能够发现，不至于在运行的时候才抛类转换异常。
二，什么是泛型，泛型的定义
泛型的定义：参数化类型
泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？
顾名思义，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。
简单点说普通的方法定义，已经明确确定了需要传入的参数类型，调用方法的时候，只能改变传入的参数值，不能改变传入的参数类型，否则编译时会报错。
使用泛型定义方法，需要传入的参数类型和参数值都是没有明确确定的，调用方法的时候，由调用者确定传入的参数类型和参数值。
参数化类型，不同类型的参数可以由同一段代码处理。
泛型的本质是为了参数化类型（在不创建新的类型的情况下，通过泛型指定的不同类型来控制形参具体限制的类型）。也就是说在泛型使用过程中，操作的数据类型被指定为一个参数，这种参数类型可以用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。
三，如何定义和使用泛型
假如我们自己要定义泛型，如何去定义泛型呢？
泛型分为三种：泛型类、泛型接口、泛型方法。
泛型使用时引入一个类型变量，比较常用的有T，E，K，V等等，一般来讲就这么几种，都是约定俗成的。
泛型类
定义泛型类，在类名后面加尖括号T(也可以是其他的字符)，然后可以用T去定义变量和方法(方法返回值和参数。泛型类是允许有多个类型变量的。
实现和测试代码去下。
public class NormalGeneric {
private T data;
public NormalGeneric(){
}
public NormalGeneric(T data){
this.data = data;
}
public T getData(){
return data;
}
public void setData(T data){
this.data = data;
}
/**
* @param args
*/
public static void main(String[] args) {
// TODO Auto-generated method stub
NormalGeneric normalGeneric = new NormalGeneric<>();
normalGeneric.setData("hello Generic");
//normalGeneric.setData(12); //编译不通过报错，因为已经声明了泛型类的类型了
System.out.println(normalGeneric.getData());
}
} public class NormalGeneric2 {
private T data;
private K result;
} 泛型接口
除了泛型类，接口也可以定义泛型。泛型接口的定义和泛型类差不多。
定义泛型接口，在接口名后面加尖括号T，然后可以用T去定义抽象方法。
public interface Genertor {
public T next();
} 我们平时用接口的时候，都是用它的实现类。那么对于泛型接口来讲，要怎么去写它的实现类，
这里有两种方式。
第一种实现方式，使用泛型类实现泛型接口。
在实现泛型接口的时候，并不给泛型赋一个实际类型，这个类本身还是一个泛型类，在类名后面加尖括号T，这是一种实现泛型接口的方式。
泛型类实现泛型接口，它在使用上和其他普通的泛型类并没有什么区别。
public class ImplGenertor implements Genertor {
@Override
public T next() {
// TODO Auto-generated method stub
return null;
}
} 第二种实现方式，在实现泛型接口的时候，直接规定泛型接口的类型。在泛型接口里面，T是一个参数化类型，实现泛型接口的时候，规定了参数化类型的类型。
public class ImplGenertor2 implements Genertor {
@Override
public String next() {
// TODO Auto-generated method stub
return null;
}
} 泛型方法
泛型方法和泛型类以及泛型接口都有所不同，泛型方法可以是完全独立的，没有要求泛型方法一定要声明在泛型类或泛型接口中，泛型方法可以声明在普通类和普通接口中。
如下代码中声明的泛型方法。方法的返回值变成参数化类型，在修饰符和返回值之间多了一个用尖括号括起来的类型，这样声明定义的方法就是泛型方法。尖括号括起来的类型变量是声明定义泛型方法必须要的，没有这个就不是泛型方法。
public class GenericMethod {
public T genericMethod(T...a){
return a[a.length / 2];
}
public void test(int x, int y){
System.out.println(x + y);
}
/**
* @param args
*/
public static void main(String[] args) {
// TODO Auto-generated method stub
GenericMethod genericMethod = new GenericMethod();
genericMethod.test(54, 864);
System.out.println(genericMethod.genericMethod("hello", "word", "2021"));
System.out.println(genericMethod.genericMethod(11, 22, 33));
}
} 不管是泛型类还是泛型方法，都是允许定义多个泛型的。
那么泛型方法与泛型类或泛型接口有什么区别呢？
泛型类或泛型接口必须是在new创建对象实例的时候，告诉编译器类型变量的具体类型。而泛型方法是在调用的时候，告诉编译器当前这个泛型方法传入的具体参数类型是什么。
泛型方法是在调用方法的时候指明泛型的具体类型，可以在任何地方和任何场景中使用，包括普通类和泛型类，注意泛型类中定义的普通方法和泛型方法是有区别的。
下面代码讲述泛型方法的区别。
/**
* 这是一个普通类
*/
public class GenericMethod2{
/**
* 这个类是个泛型类
* @param
*/
public class Generic {
private T key;
public Generic(){
}
public Generic(T key){
this.key = key;
}
/**
* 虽然在方法中使用了泛型，但是这并不是一个泛型方法。
* 这只是泛型类中一个普通的成员方法，只不过他的返回值是在声明泛型类已经声明过的泛型。
* 所以在这个方法中才可以继续使用 T 这个泛型。
*
* @return
*/
public T getKey(){
return key;
}
/**
* 编译报错
* 这个方法显然是有问题的，在编译器会给我们提示这样的错误信息"E cannot be resolved to a type"
* 因为在类的声明中并未声明泛型E，所以在使用E做形参和返回值类型时，编译器会无法识别。
*/
public E setKey(E key){
this.key = key;
}
/**
* 这才是一个真正的泛型方法。
* 首先在public与返回值之间的必不可少，这表明这是一个泛型方法，并且声明了一个泛型T
* 这个T可以出现在这个泛型方法的任意位置.
* 泛型的数量也可以为任意多个
* @param container
* @return
*/
public K showKeyName(Generic container){
return null;
}
/**
* 这也不是一个泛型方法，这就是一个普通的方法，
* 只是使用了NormalGeneric这个泛型类做形参而已。
* @param Obj
*/
public void show(Generic Obj){
}
}
/**
* 这个方法是有问题的，编译错误，编译器会为我们提示错误信息："E cannot be resolved to a type"
* 虽然我们声明了,也表明了这是一个可以处理泛型类型的泛型方法。
* 但是只声明了泛型类型T，并未声明泛型类型E，因此编译器并不知道该如何处理E这个类型。
* @param ab
* @return
*/
public T show(Generic ab){
}
/**
* 这个方法是有问题的，编译错误，编译器会为我们提示错误信息："T cannot be resolved to a type"
* 对于编译器来说T这个类型并未在类或方法中声明过，因此编译也不知道该如何编译这个类。
* 所以这也不是一个正确的泛型方法声明。
* @param obj
*/
public void show(T obj){
}
} 使用泛型的时候有几点需要注意的地方：
1.不是声明在泛型类里面的方法，就是泛型方法。
2.泛型方法声明在泛型类中，也要遵守泛型方法的定义规则。
下面代码泛型方法的用法和定义：
public class GenericMethod3 {
static class Fruit{
@Override
public String toString() {
return "fruit";
}
}
static class Apple extends Fruit{
@Override
public String toString() {
return "apple";
}
}
static class Person{
@Override
public String toString() {
return "person";
}
}
static class GenerateTest{
public void show_1(T t){
System.out.println(t.toString());
}
/**
* 在泛型类中声明了一个泛型方法，使用泛型E，这个泛型E可以为任意类型。
* 类型可以与T相同，也可以不同。
* 由于泛型方法在声明的时候会声明泛型，因此即使在泛型类中并未声明该泛型，
* 编译器也能够正确识别泛型方法中的泛型。
* @param e
*/
public void show_2(E e){
System.out.println(e.toString());
}
/**
* 在泛型类中声明了一个泛型方法，使用泛型T，
* 注意这个T是一种全新的类型，可以与泛型类中声明的T不是同一种类型。
* 泛型类和泛型方法中定义的泛型，它的作用域是不一样的。前者是在整个类中可以使用，后者只能在该方法中使用
* @param t
*/
public void show_3(T t){
System.out.println(t.toString());
}
}
/**
* @param args
*/
public static void main(String[] args) {
// TODO Auto-generated method stub
Apple apple = new Apple();
Person person = new Person();
GenerateTest generateTest = new GenerateTest<>();
//不会报错，因为Apple是Fruit的子类。
generateTest.show_1(apple);
//编译报错，因为创建GenerateTest实例时，已经确定泛型的类型是Fruit
generateTest.show_1(person);
generateTest.show_2(apple);
generateTest.show_2(person);
generateTest.show_3(apple);
generateTest.show_3(person);
} 四、限定类型变量
有时候，我们需要对类型变量加以约束，比如计算两个变量的最小或最大值。
public static T min(T a, T b){
if(a.compareTo(b) > 0) return a; else return b;
} 如下代码，我们实现了一个泛型方法，然后调用compareTo方法比较传入的两个对象，但是编译报错"The method compareTo(T) is undefined for the type T"，泛型T找不到找不到方法compareTo。
那么确保传入的两个变量一定有compareTo方法呢？解决这个问题的方案就是将T限定为实现了接口Comparable的类。
public static T min(T a, T b){
if(a.compareTo(b) > 0) return a; else return b;
} T extends Comparable中 extends(派生、继承)
T表示应该绑定类型的子类型，Comparable表示绑定类型，子类型和绑定类型可以是类也可以是接口。
同时extends左右都允许有多个，如 T,V extends Comparable & Serializable
注意限定类型中，只允许有一个类，而且如果有类，这个类必须是限定列表的第一个。因为在java中类是单继承，接口是多实现。
如果这个时候，我们试图传入一个没有实现接口Comparable的类的实例，将会发生编译错误。
/**
* 类说明：类型变量的限定-用在方法上
*
*/
public class ArrayAlg {
/**
* 编译报错，泛型T找不到找不到方法compareTo()方法，因为泛型T没有限定类型
* @param a
* @param b
* @return
*/
// public static T min(T a, T b){
// if(a.compareTo(b) > 0) return a; else return b;
// }
/**
* 取两个对象的最小值，类型变量限定为必须要实现了Comparable接口
* @param a
* @param b
* @return
*/
public static T min(T a, T b){
if(a.compareTo(b) > 0) return b; else return a;
}
/**
* 取两个对象的最大值，类型变量限定为必须要实现了Comparable接口
* @param a
* @param b
* @return
*/
public static T max(T a, T b){
if(a.compareTo(b) > 0) return a; else return b;
}
static class Test{}
/**
* @param args
*/
public static void main(String[] args) {
// TODO Auto-generated method stub
System.out.println(ArrayAlg.min("hello", "world"));
System.out.println(ArrayAlg.min(22, 12));
//编译报错，因为Test类没有实现Compareble接口
//ArrayAlg.min(new Test(), new Test());
System.out.println(ArrayAlg.max(22, 12));
}
} 这种类型变量的限定既可以用在泛型方法上也可以用在泛型类上。使用方法都是一模一样的。下面是类型变量的限定，用在泛型类上面。
/**
* 类说明：类型变量的限定-用在类上
*
* @param
*/
public class ClassBorder {
private T data;
public T min(T outter){
if(this.data.compareTo(outter) > 0)
return outter;
else
return this.data;
}
public T getData(){
return data;
}
public void setData(T data){
this.data = data;
}
/**
* @param args
*/
public static void main(String[] args) {
// TODO Auto-generated method stub
ClassBorder classBorder = new ClassBorder<>();
classBorder.setData("Java");
System.out.println(classBorder.min("Python"));
}
} 五、泛型中的约束和局限性
/**
* 泛型类的原始类型，不会带上泛型的信息。
*
* @param
*/
public class Restrict {
private T data;
/**
* 编译报错：Cannot instantiate the type T
* 不能实例化类型变量，不能new类型变量。
*/
public Restrict(){
this.data = new T();
}
//静态域或者静态方法里面，不能引用类型变量
//因为泛型类是在new创建对象实例的时候，告诉编译器类型变量的具体类型。
//而虚拟机创建对象的代码执行先后顺序是static的部分，然后才是构造函数等等。
private static T instance;
//静态方法本身是泛型方法就行
private static T getInstance(){
return null;
}
/**
* @param args
*/
public static void main(String[] args) {
// TODO Auto-generated method stub
//不能用基本类型实例化类型参数,在Java中基本类型数据不是一个对象
Restrict restrictDouble1 = new Restrict<>();
Restrict restrictDouble2 = new Restrict<>();
//泛型不能用instanceof关键字判断类型
if(restrictDouble2 instanceof Restrict){}
if(restrictDouble2 instanceof Restrict){}
//运行时类型查询只适用于原始类型,不会带上泛型的类型变量
Restrict restrictStr = new Restrict<>();
System.out.println(restrictDouble2.getClass() == restrictStr.getClass());
System.out.println(restrictDouble2.getClass().getName());
System.out.println(restrictStr.getClass().getName());
//编译报错：Cannot create a generic array of Restrict
//可以定义泛型数组，但是不能创建泛型数组（不能创建参数化类型的数组）
Restrict[] restrictArray; //可以
Restrict[] resticts = new Restrict[10]; //不可以，编译失败
} 不能在静态域或方法中引用类型变量。因为泛型是要在对象创建的时候才知道是什么类型的，而虚拟机创建对象的代码执行先后顺序是static的部分，然后才是构造函数等等。所以在对象初始化之前static的部分已经执行了，如果你在静态部分引用的泛型，那么毫无疑问虚拟机根本不知道是什么东西，因为这个时候类还没有初始化。
/**
* 类说明：泛型和异常
*/
public class ExceptionRestrict {
/**
* 编译报错：
* The generic class ExceptionRestrict.Problem may not subclass java.lang.Throwable
* 泛型类不能 extends Exception/Throwable
*/
private class Problem extends Exception{}
/**
* 编译报错：Cannot use the type parameter T in a catch block
* 不能捕获泛型类的实例
*/
public void doWork1(T t){
try{
}catch(T e){
//todo
}
}
/**
* 这种方式是可以的。不能捕获泛型类的实例，但还可以抛出泛型类的实例。
* 泛型类也可以写在throws后面。
* @param t
* @throws T
*/
public void doWork2(T t) throws T{
try{
}catch(Throwable e){
throw t;
}
}
/**
* @param args
*/
public static void main(String[] args) {
// TODO Auto-generated method stub
}
} 六、泛型类型的继承规则
如下代码展示泛型的继承原则：
public class Employee {
private String firstName;
private String secondName;
public String getFirstName() {
return firstName;
}
public void setFirstName(String firstName) {
this.firstName = firstName;
}
public String getSecondName() {
return secondName;
}
public void setSecondName(String secondName) {
this.secondName = secondName;
}
}public class Worker extends Employee {
}public class Pair {
private T one;
private T two;
public T getOne() {
return one;
}
public void setOne(T one) {
this.one = one;
}
public T getTwo() {
return two;
}
public void setTwo(T two) {
this.two = two;
}
private static void set(Pair p){
}
/*泛型类可以继承或者扩展其他泛型类，比如List和ArrayList*/
private static class ExtendsPair extends Pair{}
/**
* @param args
*/
public static void main(String[] args) {
// TODO Auto-generated method stub
//Pair和Pair没有任何继承关系
Pair employeePair = new Pair<>();
Pair workerPair = new Pair<>();
//子类给父类赋值，是可以的
Employee employee = new Worker();
//编译报错：Type mismatch: cannot convert from Pair to Pair
//这就说明Pair和Pair没有任何继承关系
Pair employeePair2 = new Pair();
//这种方式是可以的
Pair pari = new ExtendsPair<>();
//可以
set(employeePair);
//编译报错：The method set(Pair) in the type Pair is not applicable for the arguments (Pair)
//Pair和Pair没有任何继承关系
set(workerPair);
//可以的
set(pari);
}
} 泛型
1.泛型的类型变量之间，不考虑任务继承关系。类型之间的继承关系，不代表泛型的参数化类型之间有继承关系。
2.泛型类可以继承或者扩展其他泛型类，比如List和ArrayList。
七、通配符类型
我们先定义一些有继承关系的类和一个泛型类
public class Fruit {
private String color;
public String getColor() {
return color;
}
public void setColor(String color) {
this.color = color;
}
}public class Food {
}public class Apple extends Fruit {
}public class Orange extends Fruit {
}public class HongFuShi extends Apple {
}public class GenericType {
private T data;
public T getData() {
return data;
}
public void setData(T data) {
this.data = data;
}
} 正是因为前面所述的，GenericType
public static void print(GenericType p){
System.out.println(p.getData().getColor());
} 在调用这个方法的时候，会出现如下的问题：
public static void use(){
GenericType a = new GenericType<>();
print(a);
GenericType b = new GenericType<>();
//编译报错：The method print(GenericType) in the type WildChar is not applicable for the arguments (GenericType)
//类型之间的继承关系，不代表泛型的参数化类型之间有继承关系。
//GenericType和GenericType没有任何继承关系。
print(b);
} 因为GenericType
为解决这个问题，于是提出了一个通配符类型 ?
有两种使用方式：
？ extends X 表示类型的上界，类型参数是X的子类
？ super X 表示类型的下界，类型参数是X的超类
这两种 方式从名字上来看，特别是super，很有迷惑性，下面我们来仔细辨析这两种方法。
通配符类型和限定类型变量的区别：
1.限定类型变量是在定义泛型类和泛型方法时，限定类型变量的类型。
2.通配符类型一般用在方法的参数上面。扩展支持的泛型类实例的类型变量。
？ extends X
表示传递给方法的泛型类实例的类型变量，必须是X的子类（包括X本身）
但是对泛型类GenericType来说，如果其中提供了get和set类型参数变量的方法的话，set方法是不允许被调用的，会出现编译错误。
get方法则没问题，会返回一个Fruit类型的值。
public static void print2(GenericType p){
System.out.println(p.getData().getColor());
}
private static void use2(){
GenericType a = new GenericType<>();
print2(a);
GenericType b = new GenericType<>();
//这样是可以的
print2(b);
//编译报错：The method print2(GenericType) in the type WildChar is not applicable for the arguments (GenericType)
//因为Food是Fruit的父类，而这里的泛型类型变量只能是Fruit的子类或本身。
print2(new GenericType());
//这样赋值是可以的
GenericType c = b;
Apple apple = new Apple();
Fruit fruit = new Fruit();
//这个样是可以的，因为new创建泛型类对象的时候，确定了类型变量为Fruit
a.setData(fruit);
//编译报错：The method setData(capture#2-of ? extends Fruit) in the type GenericType is not applicable for the arguments (Apple)
c.setData(apple);
c.setData(fruit);
//这个样是可以的
Fruit f = c.getData();
//编译报错：Type mismatch: cannot convert from capture#5-of ? extends Fruit to Orange
//类型转换异常，这时候编译器只知道c.getData()返回的是一个Fruit类实例。
Orange o = c.getData();
} 那么为什么会这样呢？
道理很简单，？ extends X 表示类型的上界，类型参数是X的子类，那么可以肯定的说，get方法返回的一定是个X（不管是X或者X的子类）编译器是可以确定知道的。但是set方法只知道传入的是个X，至于具体是X的那个子类，不知道。
总结：主要用于安全地访问数据，可以访问X及其子类型，并且不能写入非null的数据。
？ super X
表示传递给方法的泛型类实例的类型变量，必须是X的超类（包括X本身）
public static void printSuper(GenericType p){
System.out.println(p.getData());
}
public static void useSuper(){
GenericType fruitGeneticType = new GenericType<>();
GenericType appleGeneticType = new GenericType<>();
GenericType hongfushiGeneticType = new GenericType<>();
GenericType orangeGeneticType = new GenericType<>();
printSuper(fruitGeneticType);
printSuper(appleGeneticType);
//编译报错：The method printSuper(GenericType) in the type WildChar is not applicable for the arguments (GenericType)
printSuper(hongfushiGeneticType);
//编译报错
printSuper(orangeGeneticType);
//表示GenericType的类型参数的下界是Apple
GenericType x = new GenericType<>();
x.setData(new Apple());
x.setData(new HongFuShi());
//这样是不行的，编译报错。
x.setData(new Fruit());
//唯一可行的赋值
Object data = x.getData();
} 但是对泛型类GenericType来说，如果其中提供了get和set类型参数变量的方法的话，set方法可以被调用的，且能传入的参数只能是X或者X的子类。
get方法只会返回一个Object类型的值。
那么为什么会这样呢？
？ super X 表示类型的下界，类型参数是X的超类（包括X本身），那么可以肯定的说，get方法返回的一定是个X的超类，那么到底是哪个超类？不知道，但是可以肯定的说，Object一定是它的超类，所以get方法返回Object。编译器是可以确定知道的。对于set方法来说，编译器不知道它需要的确切类型，但是X和X的子类可以安全的转型为X，而X的超类不能安全的转型为X。
总结：主要用于安全地写入数据，可以写入X及其子类型。
无限定的通配符 ?
表示对类型没有什么限制，可以把？看成所有类型的父类，如Pair< ?>；
比如：
ArrayList
ArrayList al=new ArrayList();集合元素可以是任意类型，这种没有意义，一般是方法中，只是为了说明用法。
在使用上：
? getFirst() ： 返回值只能赋给 Object；
void setFirst(?) ： setFirst 方法不能被调用， 甚至不能用 Object 调用；
八、虚拟机是如何实现泛型的？
泛型思想早在C++语言的模板（Template）中就开始生根发芽，在Java语言处于还没有出现泛型的版本时，只能通过Object是所有类型的父类和类型强制转换两个特点的配合来实现类型泛化。由于Java语言里面所有的类型都继承于java.lang.Object，所以Object转型成任何对象都是有可能的。但是也因为有无限的可能性，就只有程序员和运行期的虚拟机才知道这个Object到底是个什么类型的对象。在编译期间，编译器无法检查这个Object的强制转型是否成功，如果仅仅依赖程序员去保障这项操作的正确性，许多ClassCastException的风险就会转嫁到程序运行期之中。
泛型技术在C#和Java之中的使用方式看似相同，但实现上却有着根本性的分歧，C#里面泛型无论在程序源码中、编译后的IL中（Intermediate Language，中间语言，这时候泛型是一个占位符），或是运行期的CLR中，都是切实存在的，List＜int＞与List＜String＞就是两个不同的类型，它们在系统运行期生成，有自己的虚方法表和类型数据，这种实现称为类型膨胀，基于这种方法实现的泛型称为真实泛型。
Java语言中的泛型则不一样，它只在程序源码中存在，在编译后的字节码文件中，就已经替换为原来的原生类型（Raw Type，也称为裸类型）了，并且在相应的地方插入了强制转型代码，因此，对于运行期的Java语言来说，ArrayList＜int＞与ArrayList＜String＞就是同一个类，所以泛型技术实际上是Java语言的一颗语法糖，Java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型称为伪泛型。
将一段Java代码编译成Class文件，然后再用字节码反编译工具进行反编译后，将会发现泛型都不见了，程序又变回了Java泛型出现之前的写法，泛型类型都变回了原生类型
public static String method(List stringList){
System.out.println("String List");
return "String";
}
public static String method(List integerList){
System.out.println("Integer List");
return Integer;
} 上面这段代码是不能被编译的，因为参数List＜Integer＞和List＜String＞编译之后都被擦除了，变成了一样的原生类型List＜E＞，擦除动作导致这两种方法的特征签名变得一模一样。
（方法重载时两个方法方法名和参数都相同，返回值类型不同是，jdk的编译器不会报错，但是一般IDE的编译器会报错）。
由于Java泛型的引入，各种场景（虚拟机解析、反射等）下的方法调用都可能对原有的基础产生影响和新的需求，如在泛型类中如何获取传入的参数化类型等。因此，JCP组织对虚拟机规范做出了相应的修改，引入了诸如Signature、LocalVariableTypeTable等新的属性用于解决伴随泛型而来的参数类型的识别问题，Signature是其中最重要的一项属性，它的作用就是存储一个方法在字节码层面的特征签名[3]，这个属性中保存的参数类型并不是原生类型，而是包括了参数化类型的信息。修改后的虚拟机规范要求所有能识别49.0以上版本的Class文件的虚拟机都要能正确地识别Signature参数。
另外，从Signature属性的出现我们还可以得出结论，擦除法所谓的擦除，仅仅是对方法的Code属性中的字节码进行擦除，实际上元数据中还是保留了泛型信息，这也是我们能通过反射手段取得参数化类型的根本依据。