Java泛型

1 引入泛型

        早期的Object类型可以接收任意的对象类型，但是在实际的使用中， 会有类型转换的问题。也就也就存在这隐患，所以Java在1.5版本提供了泛型来解决这个安全问题。

2 什么是泛型

        泛型，即就是“参数化类型” 。比如定义方法时有形参，然后调用此方法时传递实参。参数化类型，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式，然后在使用或者调用时传入具体的类型。泛型提供了编译时类型安全检测机制，泛型的好处就是在编译的时候能够检查类型安全。泛型的参数在真正使用泛型时都必须作出指明。

3 泛型类

        泛型类型用于类的定义中，被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口。 如下，一个最普通的泛型类：

public class Demo<T>{ / /T可以为任意标识符，
private T key; / 成员变量key的类型为T
public Demo(T key) { / /泛型构造方法形参key的类型也为T
this.key = key;
}
public T getKey(){ / /泛型方法getKey的返回值类型为T
return key;
}
}

传入的实参类型需与泛型的类型参数类型相同，即为Integer.

Demo<Integer> demo = new Demo<Integer>(123456);

1.泛型的类型参数只能是类类型. 2.泛型的类型参数可以有多个。3.如果没有定义具体类型,默认为Object.

4 从泛型类派生子类

子类也是泛型类，子类和父类的泛型类型要一致。

class A  extends Demo< T >

子类不是泛型类，父类要明确泛型的数据类型。

class A  extends Demo< String >

5 泛型接口

泛型接口与泛型类的定义及使用基本相同。

public interface Demo<T> { }//定义一个泛型接口

子类也是泛型类，子类和父类的泛型类型要一致。

class A<T> implements Demo<T>{ }

子类不是泛型类，父类要明确泛型的数据类型

public class A implements Demo<String> { }

6 泛型通配符

 1.类型通配符一般是使用" ？"代替具体的类型实参。

public void show(Demo<?> obj){ // ? 表示实际传入的参数类型可以是任意的
}
Demo<Integer> gInteger = new Demo<Integer>(123);
Demo<Number> gNumber = new Demo<Number>(456);
show(gInteger);
show(gNumber);

2.类型通配符上限

        类/接口 <？extends 实参类型>，要求该泛型的类型，只能是实参类型，或实参类型的子类类型。

3.类型通配符下限

        类/接口 <？super 实参类型>， 要求该泛型的类型，只能是实参类型，或实参类型的父类类型。

7 类型擦除

        泛型是Java 1.5版本才引进的概念，在这之前是没有泛型的，但是，泛型代码能够很好地和之前版本的代码兼容。那是因为，泛型的信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉，我们称之为 —— 类型擦除。 泛型类被类型擦除后，相应的类型就被替换成 Object 类型或者上限类型。

        虚拟机没有泛型类型对象——所有对象都属于普通类。无论何时定义一个泛型类型，都会自动提供一个相应的原始类型（raw type）。这个原始类型的名字就是去掉类型参数后的泛型类型名，类型变量会被擦除，并替换为其限定类型（或者对于无限定的变量则替换为Object）。

case：

public class Demo<T>{
T name;
public Demo(T name) {
this.name= name; }
}
//Demo是一个泛型类，我们查看它在运行时的状态信息可以通过反射。
Demo<String> demo= new Demo<String>("jim");
Field f = eclz.getField(“name”);
System.out.println(f.getName()+" type:"+f.getType());
name type:java.lang.Objec