Java泛型中的类型参数和通配符类型

类型参数

泛型有三种实现方式，分别是泛型接口、泛型类、泛型方法，下面通过泛型方法来介绍什么是类型参数。

泛型方法声明方式：访问修饰符 <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);

}