作者johnny94 (32767)
看板java
标题[问题] 关於 wildcard 的疑问
时间Sat Jun 2 17:52:56 2018
最近在学习 generic 的知识，看到 wildcard 有一些疑问，
假设我们有一个这样的 Class
class Node<T> {
T data;
public Node(T data) {
this.data = data
}
public voide setData(T data) {
this.data = data;
}
}
在 Java 中包含 type variable 的 class 是没有关系的，即便两个 type variables
有继承关系。
例如：
List<Number> numList = new ArrayList<>();
List<Integer> intList = new ArrayList<>();
numList = intList // compile error
但是 Java 为了增加一些使用上的弹性，增加了一些语法使得开发者们可以在一些限制下
做到上面的操作，就是使用 wildcard type：
List<
? extends Number> numList = new ArrayList<>();
List<Integer> intList = new ArrayList<>();
numList = intList // ok!
不过这样的用法是一些有限制的，像是我们没有办法增加元素到 numList 里面
numList.add(1) // compile error
这也是使用 wildcard type 时需要注意到的 PECS 原则
(剩下的就不再赘述，这边只是让版友知道我对这个主题目前的理解)
--------------------------------------------------------------------------
回到最开始的 Node 类别，当我想要使用 wildcard type 时
我这样写：
Node<? extends Number> node = new Node<>(3); // ok (why?)
node.setData(1) // compile error
第二行出错我可以理解，但是我一直想不透为啥第一行是可以成功的
想了很久感觉自己可能陷入思考的误区，还请版友解惑一下了。
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 153.150.177.211
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/java/M.1527933180.A.179.html
※ 编辑: johnny94 (153.150.177.211), 06/02/2018 17:54:58
1F：→ ssccg: new Node<>(3)会被算成 new Node<Integer>(3) 06/02 18:53
2F：→ ssccg: <>是自动找一个可行的类别，不是照抄变数宣告的类别... 06/02 18:55
3F：→ johnny94: ....原来是这样阿，这样子我马上懂了...感谢 ssccg！ 06/02 19:01
4F：→ johnny94: 我真的是一直以为他是照抄变数宣告的类别XDD 06/02 19:03