泛型

概述

泛型，即“参数化类型”。就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定 义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。
主要作用就是1. 提高代码复用率 2. 泛型中的类型在使用时指定，不需要强制类型转换（类型安全，编译器会检查类型）

注意点

泛型的T符号只出现在实现类或者创建方法的时候用到，而不是在实例化的时候用到。逻辑很简单，因为你实例化的时候必须定义泛型该成为什么类型的，你这时候还用T肯定就要报错了。但是这里可以用"?"，我们下面说。

定义一个泛型类：

public class ClassName<T>{ private T data;public T getData() { return data; }public void setData(T data) { this.data = data; } 
}

泛型接口

接口申明
public interface IntercaceName<T>{T getData(); 
}实现接口时，可以选择指定泛型类型，也可以选择不指定，如下：
1.指定类型： 
public class Interface1 implements IntercaceName<String> { private String text; @Override public String getData() { return text; } 
} 2.不指定类型： 
public class Interface1<T> implements IntercaceName<T> { private T data; @Override public T getData() { return data; } 
}

泛型方法

private static <T> T/void 方法名(T a, T b) {}

这里要注意一点是第一个< T >是告诉编译器我这边后面会用到一些泛型，他们类型是T。使用方法的时候这个< T >并不用出现。当然可以申请多个泛型，比如< T, E >。同时这里T和E的类型可以相同，但是必须是对象，不能是八大基础类。

例子：

泛型和方法重写在创建方法上，从某种程度上来说有点像，并且他们各有优缺点。泛型的缺点就是不同方法的操作不同，一起处理容易报错。重写就是容易代码冗余。

泛型的类型限制

在使用泛型时， 可以指定泛型的限定区域 ，

• 例如： 必须是某某类的子类或 某某接口的实现类。
• 格式： <T extends 类或接口1 & 接口2> ⚠️注意这里通用extends
• 这里的说明只针对创建类或者创建方法，上图：
  
• 如果你在实例化阶段用就是报错：
  
  

通配符?

类型通配符是使用？代替方法具体的类型实参。

1. <? extends Parent> 指定了泛型类型的上界，指这里传入的必须是Parent的子类或自己。
2. <? super Child> 指定了泛型类型的下界，指这里传入的必须是Child的父类或自己。
3. <?> 指定了没有限制的泛型类型。这里很像Object。但是和Object不一样，因为Object可以在任何时候转成任何类。但是对于?，你一旦传了一个类，它就被定死成为了那个类，不会再转换成其他类了。

下面上代码：

public class general {public static void main(String[] args) {//1.新建对象类型是Apple，是申明要求的Fruit的子类Plate<? extends Fruit> p1 = new Plate<Apple>();//2.新建对象类型是Fruit自己Plate<? extends Fruit> p2 = new Plate<Fruit>();//3.新建对象类型是Fruit，是申明要求的Apple的父类Plate<? super Apple> p3 = new Plate<Fruit>();//4.新建对象类型是Apple自己Plate<? super Apple> p4 = new Plate<Apple>();}}
interface Fruit{}
class Apple implements Fruit{}
class Plate<T extends Fruit>{ T data; }

小细节

在编译之后程序会采取去泛型化的措施。 也就是说Java中的泛型，只在编译阶段有效。
在编译过程中，正确检验泛型结果后，会将泛型的相关信息擦出，并且在对象进入和离开方法的边界处添加 类型检查和类型转换的方法。也就是说，泛型信息不会进入到运行时阶段。