java语法糖 之 泛型

泛型定义

　　泛型的本质是为了参数化类型（在不创建新的类型的情况下，通过泛型指定的不同类型来控制形参具体限制的类型）。也就是说在泛型使用过程中，操作的数据类型被指定为一个参数，这种参数类型可以用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。

　　一些常用的泛型类型变量：
　　E：元素（Element），多用于java集合框架
　　K：关键字（Key）
　　N：数字（Number）
　　T：类型（Type）
　　V：值（Value）

泛型基础

　　泛型方法

/**
 * 泛型方法的基本介绍
 * @param tClass 传入的泛型实参
 * @return T 返回值为T类型
 * 说明：
 *     1）public 与 返回值中间<T>非常重要，可以理解为声明此方法为泛型方法。
 *     2）只有声明了<T>的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法。
 *     3）<T>表明该方法将使用泛型类型T，此时才可以在方法中使用泛型类型T。
 *     4）与泛型类的定义一样，此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型。
 */
public <T> T genericMethod(Class<T> tClass)throws InstantiationException ,
  IllegalAccessException{
        T instance = tClass.newInstance();
        return instance;
}

　　泛型方法与可变参数

public class Test { 
    //“...”是可变参数列表的特殊标志
    public static void print(String str,Object... obj) {    
        System.out.println("str="+str);
        for (int i = 0; i < obj.length; i++) {
            System.out.println(obj[i]); 
        } 
    } 
    public static void main(String[] args) { 
        print("phl",1,2,"multiple parameters",true,3.2134); 
    } 　

　　通配符泛型

• <? extends Parent> 指定了泛型类型的上届    类型参数是Parent的子类
• <? super Child> 指定了泛型类型的下届    类型参数是Child的超类（包括Child本身）
• <?> 指定了没有限制的泛型类型

public class Generic<T extends Number>{
    private T key;

    public Generic(T key) {
        this.key = key;
    }
    public T getKey(){
        return key;
    }
}

泛型原理：类型擦除　

　　Java中的泛型基本上都是在编译器这个层次来实现的。在生成的Java字节码中是不包含泛型中的类型信息的。使用泛型的时候加上的类型参数，会在编译器在编译的时候去掉，这个过程就称为类型擦除。如果是没有限定的泛型参数类型，就会被替换为Object.

　　java中不支持的泛型用法：

public class TypeErasureGenerics<E> {
     public void doSomething(Object tiem) {
         if(item instanceof E) { //item cannot be resolved to a variable
             
         }
         E newItem = new E(); //Cannot instantiate the type E
         E[] itemArray = new E[10]; // Cannot create a generic array of E
     }
}