类型参数
泛型有三种实现方式，分别是泛型接口、泛型类、泛型方法，下面通过泛型方法来介绍什么是类型参数。
泛型方法声明方式：访问修饰符 <T,K,S...> 返回类型 方法名(方法参数){方法体}
一、访问修饰符与返回类型中间有个<T,K,S...>，T、K、S等属于类型参数，可以随便定义。
二、返回类型和方法参数可以是或者包含类型参数T、K、S等。
三、可以限定类型参数必须实现某些接口或者继承某个类，多个限定的类、接口中间用&分隔，类必须放在限定列表中所有接口的前面。
四、泛型方法可以定义在普通类中。
示例：
import java.io.Serializable;
public class Demo {
public static void main(String[] args) {
B b = new B();
C c = new C();
System.out.println(D.d(b, c));
}
}
class A {
@Override
public String toString() {
return "A{}";
}
}
class B extends A implements Serializable, Cloneable {
@Override
public String toString() {
return "B{}";
}
}
class C extends A {
@Override
public String toString() {
return "C{}";
}
}
class D {
public static <T extends A & Serializable & Cloneable, K> K d(T t, K k) {
System.out.println(t);
return k;
}
}
输出：
B{}
C{}
通配符类型
通配符类型可以理解为一种泛型调用时传递的一种特殊数据类型，表示允许类型参数在某个范围内变化。通配符类型有三种，分别是?、? extends、? super。它有什么用？创建如下三个类：
public class ParentClass{}
public class SonClass extends ParentClass{}
public class Operate<T> {
private T item;
public Operate(T item) {
this.item = item;
}
public T get() {
return item;
}
public void set(T item) {
this.item = item;
}
}
? extends X
子类型限定，表示泛型的类型参数不是固定的，而是X及其子类型。
如果存在Operate<ParentClass> operate1 = new Operate<SonClass>(new SonClass())，那么这行代码会报错，编译器提示类型不兼容，因为左边不是右边的基类。此时如果有这样一个方法：
public static void method(Operate<ParentClass> operate) {}，
就无法将 new Operate<SonClass>(new SonClass()) 传递给这个方法。解决办法就是使用子类型限定定义方法参数：
public static void method(Operate<? extends ParentClass> operate) {}，
就可以将 new Operate<SonClass>(new SonClass()) 传递给这个方法。
子类型限定的副作用是不能传递null以外的类型。
Operate<? extends ParentClass>的方法可以想象成下面这个样子（实际上不能这样写代码）：
public ? extends ParentClass get() {
return item;
}
public void set(? extends ParentClass item) {
this.item = item;
}
此时get方法可以正常调用，因为返回的item肯定是ParentClass或者它的子类型。但是set方法就不能传递null以外的类型了，因为编译器只知道需要ParentClass或者它的子类型，但是不知道具体是哪个类，所以只能调用set(null)。如下：
public static void method(Operate<? extends ParentClass> operate) {
operate.get();
operate.set(null);
operate.set(new ParentClass());//报错
operate.set(new SonClass());//报错
}
? super X
超类型限定，表示泛型的类型参数不是固定的，而是X及其父类型。
Operate<? super SonClass>的方法可以想象成下面这个样子（实际上不能这样写代码）：
public ? super SonClass get() {
return item;
}
public void set(? super SonClass item) {
this.item = item;
}
一、类型参数限定为X及其父类型，直至Object类，因为不知道具体是哪个父类型，因此方法返回的类型只能赋给Object。
二、只能传递null、X及其子类型，因为X及其子类型都是向上转型成X及其父类型。
Operate<? super SonClass> operate3 = new Operate<ParentClass>(new ParentClass())是成立的，所以可以将new Operate<ParentClass>(new ParentClass())传递给以下方法。
public static void method(Operate<? super SonClass> operate) {
SonClass sonClass = operate.get();//报错
ParentClass parentClass = operate.get();//报错
Object object = operate.get();
operate.set(new ParentClass());//报错
operate.set(null);
operate.set(new SonClass());
}
?
无类型限定，泛型的类型参数没有限定。
一、只能传递null类型。
二、方法返回的类型只能赋给Object。
new Operate<SonClass>(new SonClass())、new Operate<ParentClass>(new ParentClass())、new Operate<Object>(new Object())、new Operate<String>(new String())等都可以传递给以下方法。
public static void method(Operate<?> operate) {
SonClass sonClass = operate.get();//报错
ParentClass parentClass = operate.get();//报错
operate.set(new ParentClass());//报错
Object object = operate.get();
operate.set(null);
operate.set(new SonClass());//报错
}
有什么作用呢？对于一些不需要实际类型的方法，就显得比泛型方法可读性强，如下。
public static void method(Operate<?> operate) {
System.out.println(operate.get() == null);
}
public static <T> void method(Operate<T> operate) {
System.out.println(operate.get() == null);
}