为什么 arraylist<父类> arlst= new arraylist<子类>();不行呢

2021-01-04 18:51:01 +08:00
 misakawaque
为什么不能这样转换呢?
3443 次点击
所在节点    Java
19 条回复
johnkiller
2021-01-04 18:54:55 +08:00
ArrayList<? extends FatherClass> arlst = new ArrayList<ChildClass>();
geelaw
2021-01-04 18:57:45 +08:00
因为范型参数 T 既要传入又要传出,因此是不变的。

一个装橘子的列表有两个性质:取出来的东西都是橘子;是橘子的都能放进去。
一个装水果的列表也有类似的两个性质。

如果一个装橘子的列表 L is-a 装水果的列表,则任何是水果的东西都能装进 L,然而 L 不可以装苹果而苹果是水果。
lululau
2021-01-04 19:02:11 +08:00
哪个 Java Generics 的教程不讲这么基本的问题?
Takamine
2021-01-04 19:18:32 +08:00
PECS 。
hantsy
2021-01-04 19:33:38 +08:00
Child 是 Parent 的子类, 可以写 Parent p = new Child()

但是 List<Child> 不是 List<Parent>子类,注意它们的 Type 是 List,而不是参数,就这么简单。
maninfog
2021-01-04 19:37:56 +08:00
关键词 协变 逆变
yuk1no
2021-01-04 19:41:35 +08:00
因为这样写是 invariant 的
misakawaque
2021-01-04 20:28:05 +08:00
因为是看书自学的
外国人语言还是蛮晦涩的,有什么推荐教程么
lidlesseye11
2021-01-04 20:33:26 +08:00
不如先说说如果能的话你想借此实现什么效果呢?
声明了一个<父类>的 list,实际上指向的是个<子类>的 list ?

或者说,假如 arraylist<父类> arlst= new arraylist<子类>() 没问题,那这个 list 的类型限制到底限制了个啥?
接下来 arlst.add(父类)应该报错吗? arlst.add(子类)应该报错吗? arlst.add(另一个子类)应该报错吗?
misakawaque
2021-01-04 20:41:09 +08:00
@lidlesseye11
简单来说就是自己看书产生的疑问
就像一楼的 ArrayList<? extends FatherClass> arlst = new ArrayList<ChildClass>();是成立的
而 arraylist<父类> arlst= new arraylist<子类>();不行
就对他们的区别产生了疑问
autogen
2021-01-04 21:00:42 +08:00
可以这样:

arraylist<父类> arr = new arraylist<>();
arr.add(子类);
leoleoasd
2021-01-04 21:19:37 +08:00
Java 中泛型是不变的,可有时需要实现逆变与协变,怎么办呢?这时,通配符?派上了用场:

<? extends>实现了泛型的协变,比如:
List<? extends Number> list = new ArrayList<Integer>();
<? super>实现了泛型的逆变,比如:
List<? super Number> list = new ArrayList<Object>();


摘自 https://www.cnblogs.com/en-heng/p/5041124.html
qwerthhusn
2021-01-04 21:39:03 +08:00
来个? extends XXX 或者? super XXX 就行了
Java 泛型语法复杂点的及其羞涩难懂,知道个大概就行了,后面用的时候慢慢就熟悉了
mxalbert1996
2021-01-04 22:24:04 +08:00
kx5d62Jn1J9MjoXP
2021-01-04 23:23:37 +08:00
List<鸡> chicks = new ArrayList<>();
List<鸟> birds = chicks;
birds.add(new 鸭());
鸡 c = chicks.get(0);
no1xsyzy
2021-01-05 00:57:12 +08:00
范畴论( Category Theory )中的 协变 与 逆变
吐槽下:面向对象的数学原理就是范畴论,但目前没有任何一门语言完全按照范畴论来设计面向对象架构,因为一个核心就是只能有 obj = obj.metaphor(field=new_value) ,不能有 obj.field=new_value,那就很不直观了。

剩下的 #2 讲得挺清楚的。
az467
2021-01-05 01:07:33 +08:00
1.因为 Java 类型构造器是不变的。
2.ArrayList 是 mutable 的容器类,这么做符合里氏替换原则。
3.就算你想让它协变逆变双变都不行,Java 不支持,换语言吧。
Suddoo
2021-01-05 09:14:37 +08:00
@hantsy 上次美团的面试官问了我这个问题,感觉回答得不够简练
PoetAndPoem
2021-01-05 14:43:04 +08:00
@mxalbert1996 谢谢, 好久没看 effective java 了==

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/741633

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX