泛型的介绍

该笔记在B站黑马程序员 JavaSE强化泛型 课程所记录

泛型

泛型的概念：

​ Java泛型(generics)是JDK5中引入的一个新特性,泛型提供了编译时类型安全监测机制,该机制允许我们在编译 时检测到非法的类型数据结构。

​ 泛型的本质就是参数化类型,也就是所操作的数据类型被指定为一个参数(类型形参)。

好处：

1. 编译期间检查类型 (类型安全)
2. 减少了数据类型转换 (消除了强制类型的转换)

泛型类、接口 ：

泛型类 ：

泛型类的定义语法：

class 类名称 <泛型标识, 泛型标识， ...>{

​	private 泛型标识 变量名:

​	.....

}

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

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

Java1.7以后,后面的<>中具体的数据类型可以省略不写： 类名<具体的数据类型> 对象名 = new 类名<>();

泛型类在创建对象的时候,来指定操作的具体数据类型.

泛型类注意事项：

1. 泛型类,如果没有指定具体的数据类型,此时,操作类型是Object.

2. 泛型的类型参数只能是类类型,不能是基本数据类型(例如：int)

3. 同一泛型类,根据不同的数据类型创建的对象,本质上是同一类型.

从泛型类派生自类：

1. 子类也是泛型类,子类和父类的泛型类型要一致.(子类中有一个标识包含父类的标识)

   class ChildGeneric<T> extends Generic<T>
   

2. 子类不是泛型类,父类要明确泛型的数据类型.

   class ChildGeneric extends Generic<String>
   

泛型接口 ：

泛型接口的定义语法：

interface 接口名称 <泛型标识, 泛型标识, ...> {

​	泛型标识 方法名();

​	....

}

泛型接口的使用：

1. 实现类不是泛型类,接口要明确数据类型.

   class ChildGeneric implements Generic<String>
   

2. 实现类也是泛型类,实现类和接口的泛型类型要一致.

   class ChildGeneric<T> implements Generic<T>
   

泛型方法 ：

1. 泛型类,是在实例化类的时候指明泛型的具体类型.
2. 泛型方法,是在调用方法的时候指明泛型的具体类型.

语法：

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

​		方法体...

}

1. public与返回值中间非常重要,可以理解为声明此方法为泛型方法.

2. 只有声明了的方法才是泛型方法,泛型类中的使用了泛型的成员方法并不是泛型方法.

3. 表明该方法将使用泛型类型T,此时才可以在方法中使用泛型类型T.

4. 与泛型类的定义一样,此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于标识泛型.

   public <T, E, K> E getProduct(ArrayList<E> list){    
       return list.get(random.nextInt(list.size()));
   }
   

泛型方法与可变参数：

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

泛型方法总结：

1. 泛型方法能使方法独立于类而产生变化.
2. 如果static方法要使用泛型能力,就必须使其成为泛型方法.

类型通配符：

什么是类型通配符？

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

2. 所以, 类型通配符是类型实参, 而不是类型形参.

   private static void getShow(Box<?> box){    
       Object a = box.getFirst();    
       System.out.println(a);}
   

类型通配符的上限：

类/接口<? extends 实参类型>

要求该泛型的类型，只能是实参类型，或实参类型的子类类型.

private static void getShow1(Box<? extends Number> box){    
    Number a = box.getFirst();    
    System.out.println(a);}

类型通配符的下限：

类/接口<? super 实参类型>

要求该泛型的类型，只能是实参类型，或实参类型的父类类型.

private static void getShow1(Box<? super Integer> box){    
    Number a = box.getFirst();    
    System.out.println(a);}

类型擦除：

概念：

​ 泛型是Java1.5版本引进的概念，在这之前没有泛型，但是泛型代码能够很好地和之前版本的代码兼容。那是因为泛型信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉，我们称之为——类型擦除。

无限制类型擦除：

普通泛型类， T 最后会转化为 Object

有限制类型擦除：

有上限类型， T 会转化为上限类型

擦除方法中类型定义的参数：(泛型方法)(T会转化为上限类型方法)

public <T extends Number> T getValue(T value){

​	return value;

}

泛型与数组：

泛型数组的创建：

1. 可以声明带泛型的数组引用，但是不能直接创建带泛型的数组对象.

   ArrayList<String>[] listArr = new ArrayList[5];
   
   ArrayList<Integer> intList = new ArrayList<>();
   
   intList.add(100);
   
   ArrayList<String> strList = new ArrayList<>();
   
   strList.add("abc");
   
   listArr[0] = strList;
   
   String s = listArr[0].get[0];
   

2. 可以通过java.lang.reflect.Array的newInstance(Class ,int)创建 T[] 数组.

   private T[] array;
   
   public void F(Class<T> clz, int length){//构造方法直接创建
   	//通过Array.newInstance创建泛型数组
   	array = (T[])Array.newInstance(clz, length);
   }
   

泛型和反射：

反射常用的泛型类：

1. Class
2. Constructor