java泛型（三）、通配符的使用

来源：互联网发布：修改游戏数据编辑：程序博客网时间：2024/06/05 13:22

通配符有三种：

1、无限定通配符形式<?>

2、上边界限定通配符形式< ? extends Number> //用Number举例

3、下边界限定通配符形式< ? super Number> //用Number举例

1、泛型中的？通配符

如果定义一个方法，该方法用于打印出任意参数化类型的集合中的所有数据，如果这样写

[java] view plain copy
import java.util.ArrayList;  
import java.util.Collection;  
import java.util.List;  
publicclass GernericTest {  
    publicstaticvoid main(String[] args) throws Exception{  
        List<Integer> listInteger =new ArrayList<Integer>();  
        List<String> listString =new ArrayList<String>();  
        printCollection(listInteger);  
        printCollection(listString);      
    }   
    publicstaticvoid printCollection(Collection<Object> collection){  
               for(Object obj:collection){  
            System.out.println(obj);  
        }    
    }  
}  

语句printCollection(listInteger);报错

The method printCollection(Collection<Object>) in the type GernericTest is not applicable for the arguments (List<Integer>)

这是因为泛型的参数是不考虑继承关系就直接报错。

这就得用？通配符

[java] view plain copy
import java.util.ArrayList;  
import java.util.Collection;  
import java.util.List;  
  
publicclass GernericTest {  
    publicstaticvoid main(String[] args) throws Exception{  
        List<Integer> listInteger =new ArrayList<Integer>();  
        List<String> listString =new ArrayList<String>();  
        printCollection(listInteger);  
        printCollection(listString);  
    }  
    publicstaticvoid printCollection(Collection<?> collection){  
               for(Object obj:collection){  
            System.out.println(obj);  
        }  
    }  
}  

在方法public static void printCollection(Collection<?> collection){}中不能出现与参数类型有关的方法比如collection.add();因为程序调用这个方法的时候传入的参数不知道是什么类型的，但是可以调用与参数类型无关的方法比如collection.size();

总结：使用?通配符可以引用其他各种参数化的类型,?通配符定义的变量的主要用作引用，可以调用与参数化无关的方法，不能调用与参数化有关的方法。

2、泛型中的?通配符的扩展

1:界定通配符的上边界

Vector<? extends 类型1> x = new Vector<类型2>();

类型1指定一个数据类型，那么类型2就只能是类型1或者是类型1的子类

Vector<? extends Number> x = new Vector<Integer>();//这是正确的

Vector<? extends Number> x = new Vector<String>();//这是错误的

2:界定通配符的下边界

Vector<? super 类型1> x = new Vector<类型2>();

类型1指定一个数据类型，那么类型2就只能是类型1或者是类型1的父类

Vector<? super Integer> x = new Vector<Number>();//这是正确的

Vector<? super Integer> x = new Vector<Byte>();//这是错误的

提示：限定通配符总是包括自己

3.泛型和通配符

1，List
2，List<Object>
3，List<Number>
4，List<?>
5，List<? extends Number>
6，List<? super Long>

普通的泛型使用估计没啥问题，但是带上 ? 的泛型就会变得很复杂。

对于 <? super T> 和 <? extends T> 看看这个例子：

如果要将某一个数组中的元素拷贝至另一个的话

1，先看看这个方法签名：
Java code
?
1
public static <T> void copy(List<T> src, List<T> dest)

如果 src 和 dest 是相同泛型参数的话，这个签名是没有问题，但是由于泛型类与数组不一样，由于泛型类并不具有协变性，也就是说下面的代码是错误的：
Java code
?
1
List<Object> objs = new ArrayList<Long>();

数组是协变性的，下面的代码是正确的：
Java code
?
1
Object[] objs = new Long[4];

用这个 copy 方法的话，如果 src 是 List<Long>，而 dest 是 List<Object> 的话，这样就会产生编译错误。但是实际上 List<Long> 中的每一个元素是可以赋值给 List<Object> 的，因此这个 copy 方法签名还有待完善。

由于泛型类不具有协变性，但是 Java 的泛型提供了一个通配符类型 ? 使用这个可以将泛型类变成协变的，下面的代码是正确的：
Java code
?
1
List<? extends Object> objs = new ArrayList<Long>();

<? extends Object> 表示泛型是 Object 或者是 Object 的子类型，同理
<? super Long> 表示泛型是 Long 或者是 Long 的父类型。

这样就可以把 copy 方法完善成为：

Java code
?
1
public static <T> void copy (List<? extends T> src, List<? super T> dest)

至于其他的，看看下面的语句哪些正确的，哪些是不正确的？

Pair 是个泛型类，SubTypeOfPair 是 Pair 的子类

Java code
?
1
2
3
4
5
Collection<Pair<String, Long>> c1 = new ArrayList<Pair<String, Long>>();

Collection<Pair<String, Long>> c2 = c1; // s1
Collection<Pair<String, ?>> c3 = c1; // s2
Collection<? extends Pair<String, ?>> c4 = c1; // s3

Java code
?
1
2
3
4
5
6
Collection<SubTypeOfPair<String, Long>> c1 = new ArrayList<SubTypeOfPair<String, Long>>();

Collection<Pair<String, Long>> c2 = c1; // s4
Collection<SubTypeOfPair<String, Long>> c3 = c1; // s5
Collection<Pair<String, ?>> c4 = c1; // s6
Collection<? extends Pair<String, ?>> c5 = c1; // s7

0 0