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

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

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

上面代码的数据结果：

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

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

        List allMsg = new ArrayList<String>();
        allMsg.add("hello");
        allMsg.add("world");
        allMsg.add(999);
        
        for(Object msg : allMsg)
        {
            System.out.println("[类型:" + msg.getClass().getSimpleName() + ",值:" + msg + "]");
        }

输出结果：

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

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

        List<String> allMsg = new ArrayList<String>();
        List<?> genericList = allMsg;

        for (Object msg : allMsg)
        {
            System.out.println("[类型:" + msg.getClass().getSimpleName() + ",值:" + msg + "]");
        }

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