泛型除了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原则