20190114——第十五章 泛型

一般类和方法，只能使用具体的类型，要么就是基本类型，要么是自定义的类，如果要编写可以应用于应用于多种类型的代码，这种刻板的限制对代码的束缚就会很大。

在面向对象编程语言中，多态算是一种泛化机制，例如，你可以将方法的参数类型设为基类，那么该方法就可以接受从这个基类中导出的任何类型作为参数。这样的方法更加通用一些，可应用的地方也多一些。在类的内部也应该如此，凡是需要说明类型的地方，如果使用基类，确实能够具备更好的灵活性，但是考虑到final类不能拓展，其他任何类都可以被扩展，所以这种灵活性大多数时候也会有一些性能消耗。

有时候，拘泥于单继承体系，也会使程序受限太多，如果方法是一个接口而不是一个类，这种限制就放松了很多，因为任何实现了该接口的类都能够满足该方法，这也包括暂时还不存在的类，这就给客户端程序员一种选择，他可以通过实现一个接口来满足类和方法，因此，接口允许我们快捷的实现类继承，也使我们有机会创建一个新类来做到这一点。

泛型实现了参数化类型的概念，使代码可以应用于多种类型， 泛型这个术语的意思是：适用于许多许多的类型，泛型在编程语言中出现时，其最初的目的是希望类或方法具有更广泛的表达能力，如何做到这一点呢，正是通过解耦类或方法与使用的类型之间的约束，稍后你将会看到，Java的泛型并没有这么高的的追求，实际上，你可能会质疑，JAVA中的术语"泛型"是否适合用来描述这一功能

一个元组类库
仅一次方法调用就能返回多个对象，你经常需要这样的功能吧。可是return语句只允许返回单个对象，因此解决办法就是创建一个对象，用它来持有想要返回的多个对象，当然，可以在每次需要的时候，专门创建一个类来完成这样的工作。可是有了泛型，我们就能够一次性解决这些问题。
这个概念称为元组，它是将一组对象直接打包存储与其中的一个单一对象，这个容器对象允许读取元素，但是不允许向其存放新的对象（这个概念也称为数据传送对象或信使）
通常，元组可以具有任意长度。同时，元组的对象可以是不同的类型，不过，我们希望能够为每个对象指明其类型，并且从容器中读取出来，能够得到正确的类型。

泛型接口
泛型也可以应用于接口，例如生成器。这是一种专门负责创建对象的类，实际上，这是工厂方法设计模式的一种应用。不过，当使用生成器创建新的对象，它不需要任何参数，而工厂方法一般需要参数。也就是说，生成器无需额外的信息就知道如何创建对象。
一般而言，一个生成器只定义一个方法，该方法用以生产新的对象，在这里，就是next（）方法，