本篇文章为你整理了KTV和泛型(3)()的详细内容,包含有 KTV和泛型(3),希望能帮助你了解 KTV和泛型(3)。
泛型除了KTV,还有一个让人比较疑惑的玩意,而且它就是用来表达疑惑的:?
虽然通过泛型已经达到我们想要的效果了,例如:
List String list = new ArrayList String
这样就可以放心地存取String类型的数据。
但是(抱歉,凡事总有个但是),应用的场景总是在不断增加的。某一天:
老板:咱们之前给客户开发的功能中有个地方要改一改。
神牛:哪里要改呢?
老板:以前你写的代码List Cat list = new ArrayList Cat 只能列出Java宠物店托管的猫咪,但是现在Java宠物店已经扩大了经营范围,希望列出他们保管所有的宠物,只要是宠物就行......
神牛:这个easy!
老板:真的吗?
于是,神牛一通操作,代码就改成了这样:
class Cat extends Pets {};
class Dog extends Pets {};
public static void main(String[] args) {
List ? extends Pets list = new ArrayList Pets ();
Pets pets = list.get(0);
Cat cat = (Cat)list.get(1);
Dog dog = (Dog)list.get(2);
}
然鹅,过了一段时间,Java宠物店由于经营不善,已经将之前的宠物转卖、送人了一部分,现在就剩一些猫科动物,所以现在的宠物笼子需要重新分配,只要是猫科动物就要往里放。以前写的代码
List ? extends Pets list = new ArrayList Pets
就满足不了给宠物分配笼子的需求了(先想一想为啥不行了?)
神牛继续把键盘一顿猛敲,代码又改成了这样:
class Felidae {};
class Cat extends Felidae {};
public static void main(String[] args) {
List ? super Felidae list = new ArrayList Felidae ();
Cat cat = new Cat();
list.add(cat);
}
这样一改,以前的功能又不能用了(为啥不能列出保管的宠物了?)
从以上需求场景可以看到:
1、对于不确定或者不关心实际要操作的类型,可以使用无界通配符(尖括号里一个问号,即 ? ),表示可以持有任何类型;
2、 ? extends T 称之为「上界通配符」,表示只允许T及T的子类调用,例如只允许宠物类Pets的子类Cat和Dog调用;
3、 ? super T 刚好相反,称之为「下界通配符」,表示只允许T及T的父类调用,例如只允许Cat的父类Felidae调用;
4、由于上界通配符 ? extends T 中只知道T这个父类,而不知道具体的子类(所以用?代替),因此它无法实现向列表中加入新元素的功能,也就是做不到list.add()(这就是为什么满足不了给宠物分配笼子的需求);
5、而由于下界通配符 ? super T 中只知道T这个子类,而不知道具体的父类(所以用?代替),因此它无法实现从列表中获取元素的功能,也就是做不到list.get()(这也是为什么满足不了列出保管的宠物)。
刚才说了那么多,稍稍有点绕。总结一下:
由于 ? extends T 的只能取,不能存;而 ? super T 得只能存,不能取,因此在架构设计中就有一个推荐的实践经验:
1、生产者producer一般用 ? extends T
2、消费者consumer一般用 ? super T
泛型讲到这里,如果能够全部明白,就可以真正畅快地去KTV嗨了。而泛型其他的知识点,像什么无界通配符、泛型参数一致性、多重限定、基类劫持接口、自限定类型、循环泛型等乱七八糟的可以统统不去管了,因为很多工程师一辈子的职业生涯中几乎都碰不到它们,除非点背到极点。还是最开始的那几个建议:
1、不钻牛角尖,有问题见招拆招
2、解决主要宏观上、业务上的问题,暂时忽略次要的技术上的、细节上的问题
3、抓大放小,用好80/20原则
以上就是KTV和泛型(3)()的详细内容,想要了解更多 KTV和泛型(3)的内容,请持续关注盛行IT软件开发工作室。
郑重声明:本文由网友发布,不代表盛行IT的观点,版权归原作者所有,仅为传播更多信息之目的,如有侵权请联系,我们将第一时间修改或删除,多谢。