简介
说明
本文介绍Java的通配符：任意类型、受限的泛型。
概述
在泛型操作中也可以通过通配符接收任意指定泛型类型的对象。
本文的公共代码（泛型类）：
package com.example.a;
class Point<T> {
private T var;
public T getVar() {
return var;
}
public void setVar(T var) {
this.var = var;
}
}
匹配任意类型
对象的引用传递是很常见的，但是如果在泛型类的操作中，在进行引用传递的泛型类型必须匹配才可以传递，否则是无法传递的。
引用不匹配的复现
测试类
package com.example.a;
public class Demo {
public static void main(String[] argv) {
Point<String> point = new Point<>();
point.setVar("hello");
fun(point);
}
/**
* @param temp 可以接收 Object 泛型类型的 Point 对象
*/
public static void fun(Point<Object> temp){
System.out.println("内容： "+ temp.getVar);
}
}
此时IDEA会有报错：
如果去编译它，会报错：
E:\project\Idea_Proj\demo_Java\demo_java\src\com\example\a\Demo.java:7:13 java: 不兼容的类型: com.example.a.Point<java.lang.String>无法转换为com.example.a.Point<java.lang.Object>
上面的程序中尽管String是 Object类的子类，但是在进行引用传递时也同样无法进行操作。
方案1：不指定泛型（不推荐）
将fun()方法中定义的Point<Object> 修改为 Point，即不指定泛型。
package com.example.a;
public class Demo {
public static void main(String[] argv) {
Point<String> point = new Point<>();
point.setVar("hello");
fun(point);
}
/**
* @param temp 可以接收 Object 泛型类型的 Point 对象
*/
public static void fun(Point temp){
System.out.println("内容： "+ temp.getVar);
}
}
结果
内容： hello
上面的程序编译时不会出现任何的语法错误，程序可以正常使用，但是在编写fun()方法时Info中并没有指定任何的泛型类型，这样做有些不妥当。 而且IDEA也会报黄色提示：
方案2：用通配符匹配（推荐）
为了解决这样的问题，Java中引入了通配符“？”，表示可以接收此类型的任意泛型对象。
package com.example.a;
public class Demo {
public static void main(String[] argv) {
Point<String> point = new Point<>();
point.setVar("hello");
fun(point);
}
/**
* @param temp 可以接收 所有泛型类型的 Point 对象
*/
public static void fun(Point<?> temp){
System.out.println("内容： "+ temp.getVar());
}
}
结果
内容： hello
此时IDEA没有任何警告了。
通配符?的问题
如果使用“？”接收泛型对象，则不能设置被泛型指定的内容。
下边这样写会报错：
但是可以设置null值：
受限泛型
在引用传递的泛型操作中也可以设置一个泛型对象的范围上限和范围下限。
- 范围上限
- 使用extends关键字声明，表示泛型的类型可能是所指定的类型或者是此类型的子类。
- 格式：
- 声明对象：类名称<? extends 类>对象名称
- 定义类：[访问权限] 类名称<泛型标识 extends 类>{}
- 范围下限
- 使用 super进行声明，表示泛型的类型可能是所指定的类型，或者是此类型的父类型，或是Object类。
- 格式：
- 声明对象：类名称<? super类> 对象名称
- 定义类：[访问权限] 类名称<泛型标识 extends 类>{}
泛型的上限
假设一个方法中能接收的泛型对象只能是数字（Byte、Short、Long、Integer、Float、Double)类型，此时在定义方法参数接收对象时，就必须指定泛型的上限。因为所有的数字包装类都是Number类型的子类。
在方法上使用
package com.example.a;
public class Demo {
public static void main(String[] argv) {
Point<Integer> integerPoint = new Point<>();
Point<Float> floatPoint = new Point<>();
integerPoint.setVar(20);
floatPoint.setVar(12.2f);
fun(integerPoint);
fun(floatPoint);
}
/**
* 接收 Info对象，范围上限设置为Number, 所以只能接收数字类型
*/
public static void fun(Point<? extends Number> temp){
System.out.println("内容： "+ temp.getVar());
}
}
执行结果
内容： 20 内容： 12.2
上面的程序在 fim()方法中只能接收数字类型的Info类的泛型对象，如果此时传递的是一个String类的泛型对象，则编译时将出现错误。
在类上使用
也可以直接在类的声明处指定泛型的上限范围。
泛型类
package com.example.a;
class Point<T extends Number> {
private T var;
public T getVar() {
return var;
}
public void setVar(T var) {
this.var = var;
}
}
测试类
如上：绿框内是正确的，红框内的会报错（因为String不是Number类型的）。
泛型的下限
当使用的泛型只能在本类及其父类类型上应用时，就必须使用泛型的范围下限进行配置。
示例1：基本用法
package com.example.a;
public class Demo {
public static void main(String[] argv) {
Point<String> stringPoint = new Point<>();
Point<Object> objectPoint = new Point<>();
stringPoint.setVar("hello");
objectPoint.setVar(new Object());
fun(stringPoint);
fun(objectPoint);
}
/**
* 只能接收 String 或 Object 类型的泛型
*/
public static void fun(Point<? super String> temp){
System.out.println("内容： "+ temp.getVar());
}
}
执行结果
内容： hello 内容： java.lang.Object@5680a178
在上面代码的fun()方法中，Info进行了下限的配置，所以只能接收泛型是String及Object类型的引用。
示例2：类型不对会报错
编译时的报错：
E:\project\Idea_Proj\demo_Java\demo_java\src\com\example\a\Demo.java:8:13 java: 不兼容的类型: com.example.a.Point<java.lang.Integer>无法转换为com.example.a.Point<? super java.lang.String>
请先 ！