第15章 泛型

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

在面向对象编程语言中，多态算是一种泛化机制。（例如：如果将方法的参数视作基类，那么那个方法可以接受基类及其子类作为参数）但是final不能扩展，而且这么做虽然是方法更通用更灵活但是会对性能有损耗。

因为单继承是程序受限太多，所以我们想到了接口，接口允许我们快捷地实现类继承，可是有的时候即便有了接口对程序的约束还是太强（因为一旦指明接口，就要求你的代码必须使用特定的接口，而我们更希望代码更通用，能够用于“某种不具体的类型”，而不是一个具体的接口或类）。

泛型的概念：泛型实现了参数县类型的概念，使代码可以用于多种类型（解耦合降低类型间的约束）。指定容器要持有什么类型的对象，并告诉编译器，由编译器来保证类型的正确性并处理一切细节。

元组：将一组对象直接打包存储于其中的一个单一的对象。（eg： return “ first ”+“ second ” + " third " + " four "）

类型的推断只对赋值操作有效，其他时候并不起作用。

java泛型是使用擦除实现的，这意味着，当你使用泛型时，任何具体的类型都被擦除了，你唯一知道的就是你在使用一个对象。