Java 泛型

泛型提供了编译时类型安全检测机制，该机制允许在编译时检测到非法的类型数据结构

泛型的本质就是参数化类型，也就是所操作的数据类型被指定为一个参数

优点：编译时检查类型、减少了数据类型的转换

1、接口

泛型类

class 类名称 <泛型标识,泛型标识, ...>{
	private 泛型标识 变量名;
}

//使用
类名<具体的数据类型> 对象名 = new 类名<具体的数据类型>();

• 常用的泛型标识：T、E、K、V

• 泛型在创建对象的时候，没有指定类型将按照object类型来操作。

• 泛型类不支持基本的数据类型

• 同一泛型类，根据不同的数据类型创建的对象，本质是同一类型。

从泛型类派生子类

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

  class ChildGeneric<T> extends Generic<T>

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

  class ChildGeneric<T> extends Generic<String>

泛型接口

• 实现类不是泛型类，接口要明确数据类型
• 实现类也是泛型类，实现类和接口的泛型类型要一致

2、2. 泛型方法

调用方法的时候指明泛型的具体类型。

修饰符 <T,E, ...> 返回值类型 方法名(形参列表){
	方法体...
}

• public与返回值中间非常重要，可以理解为声明此方法为泛型方法
• 只有声明了的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法
• 表明该方法将使用泛型类型T，此时才可以在方法中使用泛型类型T
• T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型
• 泛型方法能使方法独立与类而产生变化
• static 方法要使用泛型能力，就必须使其成为泛型方法

泛型可变参数

public <E> void print(E... e){
	for(E e1:e){
		System.out.printLn(e);
	}
}

3、3. 类型通配符

• 类型通配符一般是使用 ？ 代替具体的类型实参
• 类型通配符是类型实参，而不是类型形参。代表任意类型

类型通配符的上限

类/接口<? extends 实参类型>
//要求该泛型的类型只能是实参类型或实参类型的子类型
//不能填充元素

类型通配符的下限

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

4、4. 类型擦除

​ 泛型信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉，称之为类型擦除。

• 无限制类型擦除

  public class Erasure<T>{									public class Erasure{	
  	public T key;												public Object key;
  	public T getKey(){											public Object getKey(){
  		return key;					类型擦除						return key;
  	}															}
  	public void setKey(T key){								public void setKey(Object key){
  		this.key = key;												this.key = key;
  	}															}
  }															}

• 有限制类型擦除

  public class Erasure<T extends Number>{						public class Erasure{	
  	public T key;												public Number key;
  	public T getKey(){											public Number getKey(){
  		return key;					类型擦除						return key;
  	}															}
  	public void setKey(T key){								public void setKey(Number key){
  		this.key = key;												this.key = key;
  	}															}
  }															}

• 擦除方法中的类型定义的参数

  public <T extends Number> T getValue(T value){							public Number getValue(Number value){
  	retuen value;									类型擦除				return value;
  }																		}	

• 桥接方法

  public interface Info<T>{												public interface Info{
  	T info(T var);															Object info(Object var);
  }																		}
  public class InfoImpl implements Info<Integer>{				类型擦除	public class InfoImpl implements Info{
  	@Override																public Integer info(Integer var){
  	public Integer info(Integer var){											return var;
  		return var;															}
  	}																	//桥接方法，保持接口和类的实现关系
  }																		@Override
                                                 	public Object info(Object var){
                                                  	retuen info((Integer)var);
                                                  }
                                                }

5、5. 泛型和数组

• 可以声明带泛型的数组引用，但是不能直接创建带泛型的数组对象
• 可以通过 java.lang.reflect.Array 的 newInstance(Class, int) 创建 T[]数组

6、6. 泛型和反射

• Class

  Class<Person> personClass = Person.class;
  Constructor<Person> constructor = personClass.getConstructor();
  Person person = constructor.newInstance();

• Constructor