Java中泛型通配符的一点概念

Posted 2020-09-20 kuillldan

以List<T>为例，通常如果我们想在List中存储某种类型的数据，我们会用下面的语法进行声明和使用：

1         List<String> allMsg = new ArrayList<String>();
2         allMsg.add("hello");
3         allMsg.add("world");
4         
5         for(String msg : allMsg)
6         {
7             System.out.println("[类型:" + msg.getClass().getSimpleName() + ",值:" + msg + "]");
8         }

上面代码的数据结果：

[类型:String,值:hello]
[类型:String,值:world]

这里，数据源allMsg是已知的List<String>类型。但我们如果用List去接收List<String>会是什么效果呢？结果是，List中的所有数据都变成Object类型了，我们甚至能将Integer传入到List节点中，这样破坏了泛型的设计初衷--保持集合中元素类型的一致性（编译时安全检查）。请看下面的代码：

1         List allMsg = new ArrayList<String>();
2         allMsg.add("hello");
3         allMsg.add("world");
4         allMsg.add(999);
5         
6         for(Object msg : allMsg)
7         {
8             System.out.println("[类型:" + msg.getClass().getSimpleName() + ",值:" + msg + "]");
9         }

输出结果：

[类型:String,值:hello]
[类型:String,值:world]
[类型:Integer,值:999]

有时候，我们想用一个变量接受各种类型的数据，如List<String>或者List<Integer>，我们可以用通配符“？”作为泛型。代码如下：

1         List<String> allMsg = new ArrayList<String>();
2         List<?> genericList = allMsg;
3 
4         for (Object msg : allMsg)
5         {
6             System.out.println("[类型:" + msg.getClass().getSimpleName() + ",值:" + msg + "]");
7         }

一旦用？作为泛型类型，该变量变为只读变量，不能更改内容，下面的代码无法通过编译：