120 | 再探泛型-零基础学Java-极客时间

作者回复: 这是Java自带的Collections类里的copy方法。dest是目标list，src是源list。从src复制到desc。 public static <T> void copy(List<? super T> dest, List<? extends T> src) { producer-extends，consumer-super（PECS）。也就是说，如果一个list（泛指使用泛型的地方，下同）是生产者，程序需要从里面取数据，就应该用extends，比如这里的src。如果一个list是消费者，需要往里面放数据，是消费者，就应该用super，比如这里的dest。为什么呢？生产者，生产出来的数据应该有更丰富的类型信息，也就是说应该是某个类型（T）或者其子类行，这样读出来才能放心大胆的把它当作T类型使用。所以List<? extends T> src的意思是说，读吧，里面的对象要么是T，要么是T的子类，extends嘛。消费者，规定类型的上界，只要是T或者T的父类，都应该允许写入。如果是规定下界，比如? extends T，那么会是什么类型呢？可以是T的任意子类型，那还怎么写入，比如X是T的子类，那么这个list代表的可能就是List<X>，写入的时候，如果你只知道这个list里是T的子类，但是不知是哪个子类，写入什么T的子类都有可能出错。这个比较绕，要细细品。

2020-02-19

2

8

冷月无声

老师，泛型的逆变中添加具体类型的时候，如果说 g2ListSup = new ArrayList<GrandParent>(); 那么Parent和Children是可以添加进去的，而如果添加GrandParent 或者 Object的时候是会报错的，也就是逆变的时候是可以添加其子类的，而协变是不允许添加任何的，对吗 g2ListSup.add(new Parent()); g2ListSup.add(new Children()); g2ListSup.add(new GrandParent()); g2ListExt.add(new Object());

作者回复: Effective Java里总结出过一个简单的抛弃这些概念的规则：producer-extends, consumer-super（PECS），想让List作为生产者提供数据，就用extends，想让List作为消费者放入数据，就用super。

2020-02-08



7

因为热爱

嗷嗷，还有就是作为老师滴课代表还想帮大家学习两个语法也是来源与老师的FAQ里的方法分别是forEach和双冒号在Java语言里的作用 //TODO 学习forEach语法简单来说就是读取一个指定的对象 // 默认void forEach（Consumer <？super T > action） // 为中的每个元素执行给定的操作，Iterable 直到所有元素都已处理或该操作引发异常。 // 除非实现类另行指定，否则操作将按照迭代顺序执行 // （如果指定了迭代顺序）。该操作引发的异常将中继到调用方。 //实施要求： //默认实现的行为类似于： // // // for (T t : this) // action.accept(t); // //参数： //action -每个元素要执行的动作 //抛出： //NullPointerException -如果指定的操作为null //TODO 学习Java里的双引号的作用，双冒号运算符就是Java中的方法引用，方法引用的格式是 // 类名：：方法名。 ... JDK8中有双冒号的用法，就是把方法当做参数传到stream内部， // 使stream的每个元素都传入到该方法里面执行一下。

作者回复: 总结的很好～

2020-12-07



3

jjn0703

老同事写接口都是List<Map<String, Object>>类型的返回值，请问老师读这种数据回来一般怎么个方法呀，就是强转吗？

作者回复: 返回值是这种类型，你提到强转，我的理解是map的value类型。确实，这时候如果知道map的value具体是什么类型，就需要强转。当然，如果不确定，可以instanceof判断一下。

2019-10-07



3

jibu

老师，我在ppt和留言区看到了两种表述：1.编译期检查并类型擦除。2.编译期类型检查，运行时类型擦除。前者应该是对的吧，编译期检查并擦除，运行时就无法获取泛型信息了。

作者回复: 编译期擦除，运行时擦除可能是我一不小心说秃噜嘴了。

2020-04-26



2

xj111

老师，泛型这个概念感觉很抽象，只理解到了尖括号中的东西是泛型，定义一种类型元素的程度，在深层次的东西没有理解；

作者回复: 我在视频里提过一嘴，Java 的范型就做了两件事情 1）根据各种语法元素，让编译器知道一个 Object 引用允许指向什么类型的对象。什么上界下界，协变逆变，都是细节。最终的目的就是判断，一个范型的引用是不是可以指向某个具体类型的对象，或者一个范型的参数，是否可以接受某个具体的类型的引用作为实参。 2）检查完之后，就是强制类型转换。 Java 编译器会在生成的字节码里，帮我们加上强制类型转换的语句，省去我们自己写强制类型转换了。而且通过1）的检查，也“尽力”避免了出现ClassCastException的可能。汇成一句话就是： “编译期类型检查，运行时类型擦除” 你如果去看 Java 编译出来的带范型的类文件的字节码，会发现编译器添加的强制类型转换相关的操作 P.S. ：Java 的范型是后面加上去的，有些设可能是处于妥协。但是在我看来，也是够用了。

2019-07-28



2

因为热爱

首先十分感谢老师的这篇关于范型的FAQ解决了我对范型理解上的一些问题。还有就是关于为什么逆变写入信息这块我怕我的理解错误，请老师帮忙看看我的理解错误了没有～～谢谢老师！这里把老师的那篇FAQ的地址先附上：https://github.com/geektime-geekbang/LetsJava/blob/master/FAQ/04%E7%AB%A0-%E8%8C%83%E5%9E%8B%E5%BC%95%E7%94%A8%E7%9A%84%E9%80%9A%E9%85%8D%E7%AC%A6%E5%86%8D%E8%A7%A3.md 接下来我来总结一下，我从老师的FAQ里学到的东西把。首先是关于协变，举个例子比如说List< ? extend Human > 这说一个human类，它的子类有 Grandparent，Parent，Child 我理解的意思是你可以去读取调用Human类本身，或者它的子类的数据，但是你不能往里面放东西如果你往里面放了东西，那么就一定会出错！为什么？ List<? extends Human> humans的意思是，humans指向的可能是humans本身或者任意一个继承它本身的List 可能是List<Parent>，也可能是List<Child>，或者List<GrandParent>，或者任意继承Human的类的List 这种情况下，向里面写什么，都有错的可能，因为你不知道具体是个什么范型的List。所以，协变List<? extends Human>只能用来读取数据，不能用来写数据其次是逆变写入问题举个例子：List<?super Parent>humans humans的意思是，humans指向的可能是humans本身或者任意一个human去继承的父类这个时候你可以向里面去写入信息，比如： humans.add(new Child()); humans.add(new Parent()); 但是注意！不能向里面写入Parent的父类或者间接父类，写了就会出错为什么会出错呢，我的理解是这样的，当你向humans里去add一个Human元素时，Java会认为如果你想从Parent里去读取数据的时候，就会读取不到，因为List<Parent>只能去读取List<Parent>这个类型里的元素，而读取不到Human这个元素，但是你添加的时候呢，添加的又是Human元素。就会出现问题所以这就是为什么只能向List<?super Parent>humans里去写入Parent元素或者Parent的子类元素的原因把。关于我对逆变写入方法的理解就这么多，我怕出错，老师如果我错了，请您一定要提醒一下我错哪了，求求撩～最后是为什么逆变通配符只能用来写不能用来读的原因因为从List<? super Parent> humans里读取的对象，类型是未知的，所以不能读取最后的最后总结一下关于协变的总结就是，你只能去读取协变本身的那个类型和它的子类型的元素，不能去读取它的父类，以及它的间接父类的元素以及不能写入元素。关于逆变的总结就是，你只能去写入逆变本身的那个类型和它的子类型的元素，不能去写入它的父类，以及它的间接父类的元素要是你既想去写入，又想去读取，就不要去使用协变和逆变的通配符。协变和逆变器通配符的本身的意义就在于扩大了你写入和读取参数类型的元素的能力，但是只能满足其一，不能满足其二所以在用到协变和逆变通配符的时候要去想清楚它具体的语法含义再去使用，否则就会报错，哈哈哈哈哈老师这以上就是我总结的内容了～实在有点长，对不住老师了，哈哈哈哈哈🤣🤣🤣

作者回复: 不得不说你理解的很到位。具体使用的时候就是一个用来读，一个用来写。你总结的里面也说明白了错误的写入或者读取，会出现什么问题。理解了就会觉得自然，赞。 “关于协变的总结就是，你只能去读取协变本身的那个类型和它的子类型的元素，不能去读取它的父类，以及它的间接父类的元素以及不能写入元素。 ” 不能去读取它的父类描述不够精确。其实任何一个子类的实例都可以当成它父类的实例来使用。学的不错哦，加油哦～

2020-12-07

2

1

SteelHuaSheng

自己折腾了半天，还是有点迷，感觉get不到point，抓不住泛型的思想、脉络、要点没有那种捋顺，串起来的感觉。。。感觉泛型一会行一会不行，一会让你过一会不让你过。。抓狂。。。 --1 List<Children> g3OnlyList = new ArrayList<>(); List<? extends Parent> g2ListExt = null; g2ListExt = g3OnlyList; // g2ListExt.add(new Parent());// 这个不行！ --2 // List<Parent> g2 = new ArrayList<Children>();// 无法通过编译 // List<Parent> g2 = g3OnlyList;// 无法通过编译 // g2.add(new Parent()); // 无从谈起了，因为上面编译过不了 --3 // List list = g3OnlyList; // list.add(new Parent()); // 这个不会报错，这个是可以的！（和上一章偷梁换柱、移花接木效果一样） --4 ArrayList<GrandParent> g1 = new ArrayList<>(); g1.add(new GrandParent());// 这个可以 g1.add(new Parent());// 这个可以 g1.add(new Children());// 这个可以 // 去for循环g1，然后比如调用一个叫大笑的方法时，又体现出多态，各种笑不一样， // 这又怎么理解？不是不让add吗？ --5 什么叫写入使用逆变，读取使用协变？逆变用来干嘛的？协变作为方法参数，传子类进去。我感觉比较好理解。逆变作为方法参数，传父类进去？这什么鬼？ --6 无论是协变还是逆变，都只能用在引用上，而不能在创建对象时使用其做为泛型参数 new ArrayList<? extends Parent>() 这是一个单独的语法点，还是说和上面几点有关系？老师，救我。。。

作者回复: 别急，先看看我这篇FAQ： https://github.com/geektime-geekbang/LetsJava/blob/master/FAQ/04%E7%AB%A0-%E8%8C%83%E5%9E%8B%E5%BC%95%E7%94%A8%E7%9A%84%E9%80%9A%E9%85%8D%E7%AC%A6%E5%86%8D%E8%A7%A3.md

2020-04-23



1

梁大瓜

Java里引用和实例是分开的。那我理解类型可擦除，就认为范型仅仅是在引用的时候才有用，对具体的实例没有影响。

作者回复: 类型擦除是指运行时无法获取范型信息。范型仅仅是能用在编译期对引用类型（对应你的问题，不是具体对象的类型）进行类型检查，运行的时候，范型信息就被擦除了。

2019-10-11



1

收起评论