在定义泛型时，我们可以通过extends来限定泛型类型的上限，也可以通过super来限定下限，这两个限定字一般会和?等关键字搭配使用。

比如有这样的代码List<? super Father> dest，这里，super包含“高于”的意思，? Super Father就表示dest存放的对象应当“以Father为子类”；换句话说，在dest里，可以存放任何子类是Father类的对象。

再来看个extends的用法。比如有这样的代码，List<? extends Father> src，extends用来表示继承，这里的src可以存放以”Father”为父类的对象；也就是说，src可以存放任何Father对象的子类。

在实际的项目里，我们一般从List<? extends Father> src这类的集合里读元素，而从List<? super Father> dest这样的集合里写元素。通过下面的GenericExtends.java例子，再来了解extends，super和?的用法。

1    import java.util.ArrayList;
2    import java.util.List;
3    //定义一个空的父类和空的子类
4    class Father{ }
5    class Son extends Father{}
6    //这是个包含main方法的主类
7    public class GenericExtends {
8       //这个方法里，将把src里的对象复制到dest里
9       static void copy(List<? super Father> dest,
10                        List<? extends Father> src) {
11            for (int i=0; i<src.size(); i++)
12            {  dest.add(src.get(i));    }
13        }

在第9行copy方法的两个参数里，我们看到了两个包含extends和super泛型的参数。在方法体的for循环里，我们的做法符合刚才讲到的原则：从带extends泛型的集合里读，往带super泛型的集合里写。

14        public static void main(String[] args) {
15         Father f = new Father();
16            Son s = new Son();
17         //创建了一个带Father泛型的集合，并向其中放了一个元素
18            List<Father> srcFatherList = new ArrayList<Father>();
19            srcFatherList.add(f);
20            List<Father> destFatherList = new ArrayList<Father>();
21         //通过copy方法，把元素复制进了destFatherList里
22            copy(destFatherList,srcFatherList);
23         //这里的输出是1，说明copy方法成功地往destFatherList里写了元素
24            System.out.println(destFatherList.size());
25        }
26    }

在定义方法的参数时，我们可以用带extends和super的泛型来确保输入参数类型的准确性。除此之外，这两种泛型的用处不大，比如在main函数的第22行里，调用copy方法时，我们传入的参数都是List<Father>类型。

下面我们来展示些错误的用法：

错误用法一：用带问号的类型实例化集合对象。

1      List<?> list = new ArrayList<String>(); //正确
2     //List<?> list = new ArrayList<?>(); //错误

第1行里，虽然在等号的左边我们用到了问号，但在右边，我们确立了泛型类型是String，这个是正确的。与之相比，在等号的左边和右边我们都用了问号，这是错误的，因为编译器不知道list集合该采用哪种泛型类型。

错误用法二：向包含<? extends Father>泛型的集合里写。

1    List<? extends Father> list = new ArrayList<Father>();
2    //list.add(f); //error

第2行会报语法错，原因是编译器不知道这个基于Father的子类型究竟是什么；因为没法确定，为了保证类型安全，所以就不允许往里面加数据。

错误用法三：从包含<? super Father>泛型的集合里读。

1        List<? super Father> list1 = new ArrayList<Father>();
2        list.add(f); //正确
3        //list.get(0);//错误

第3行会报语法错，原因是编译器不知道该用哪种Father的父类来接收get的返回值；于是，同样为了保证类型安全，所以就不允许读。

从上述的第二和第三种错误的用法里，我们能感受到，extends和super这两种定义泛型的用法除了在定义方法参数之外，还真没其他合适的用途。

集合部分的面试点归纳：

对于初级程序员或者是刚完成升级的高级程序员来说，应该能“合理地”使用集合，这个要求看似不难，其实不然，搞懂了当然不难。

下面看些常见的面试题，并作相应的答疑。

1 ArrayList和LinkedList有什么差别？在哪种场景里应当用ArrayList（或LinkedList）？

大家如果学过数据结构，这个问题不难回答：前者是基于数组，数组比较擅长索引查找，但不擅长被频繁地插入或删除；后者是基于链表，它擅长被频繁地插入或删除，如果对其频繁地进行索引查找，就会影响性能。

2 ArrayList和Vector有什么差别？

我们知道，ArrayList是线程不安全的，而且会以大概50%的规模进行动态扩容；而Vector是线程安全的，它会以100%的规模进行动态扩容。所以在单线程环境下，出于性能和内存使用量这两方面的考虑，建议使用ArrayList。

3 我们知道，Set里不允许插入重复的元素。对于HashSet和TreeSet，如果我们要插入自定义的类，我们该往自定义的类里加入什么方法来保证“不重复”？

对于HashSet，它是基于Hash表的，我们需要重写其中的hashCode和equals方法；对于TreeSet，我们需要重写compareTo方法（当然还得实现Compareable接口）。

在大多数场景下，我们是会放入自定义类型，而不是简单数据类型。如果候选人不知道怎么回答，那么我就可以认定他只是“简单地用到了集合”，而不是“对集合有深入的了解”。

4 在使用迭代器遍历集合对象时，我们能不能边访问边修改？如果这样做，会有什么问题？

第一，会报异常，因为使用迭代器时不能边访问边修改；第二，这种异常其实是种保护机制，因为边遍历边修改会增加出错的机会；第三，如果确实需要这样做，可以使用CopyOnWriteArrayList之类的集合，或者干脆别通过迭代器来访问集合对象。

5 在使用HashMap时，你有没有重写hashCode和equals方法，如果不重写，会有什么问题？如果候选人对此一脸雾水，那么我会给点提示：如果我们要在HashMap的Key部分放入自定义的类，而不是基本数据结构，那么我们该在这个自定义的类里重写什么方法？

如果大家被问到这个问题，可以好好利用这个机会来展示你对此的深入了解。

要点1，HashMap是基于hash表这个数据结构来实现的，所以其中的get或containsKey的效率相当高（接近于1）。

要点2，描述一下Hash表的数据结构，重点说说如何通过hash算法把待存入的数据和存储位置绑定到一起了，同时还可以说出HashMap表里是通过链地址法来解决冲突。

要点3，hashCode方法其实是对应hash表里的hash算法，由此我们可以计算出待存储元素的存放位置。如果我们不重写，将会用到Object里的hashCode方法，它是返回该对象的内存地址；而如果我们不重写equals方法，那么在冲突的情况下，就无法定位到具体的对象了。总之，如果不重写hashCode和equals方法，在调用containsKey和get方法时，就无法得到“看上去一致”的对象了。

如果面试官（也包括笔者）看到应试者能清晰地说出上述的意思，就认为此人对技术细节非常了解，就有可能减少集合部分（或者乃至Java Core部分）的面试题。如果大家也是这样并在回答其它问题时不犯原则性的错误，那么也可能得到“对技术了解比较透彻”之类的好评。

6 Collections和Collection有什么差别？

Collections 是一个集合的一个类，其中包含有一些和集合操作相关的静态多态方法。Jave集合里则有另外一个和它非常相似的接口Collection（不带s），它是线性表类集合的父接口，List和Set等接口都是通过实现这个接口来实现的。

7 你有没有用过T，?， super和extends这种泛型？

说实在的，上述泛型在实际的项目里用得还真不多，你如果说没用过，面试官也不会难为你。不过大家可以结合3.5.1部分的知识点，向面试官说明你是怎么把泛型作用到类和方法上，也可以结合上文描述的copy方法向面试官说明? extends和? super的用法，如此面试官就会认为你对集合部分的知识掌握得很透彻。