Java范型那些事（一）

参考资料：http://www.angelikalanger.com/GenericsFAQ/JavaGenericsFAQ.html

oracle官网介绍：https://docs.oracle.com/javase/tutorial/extra/generics/intro.html

同一系列：

Java范型那些事（二）

Java范型那些事（三）

 

在JDK1.5 加入了范型，范型可以增加代码的稳定性，使得在编译时能检查出更多的潜在bug，尤其是为集合类增加了编译时的类型安全，并减少了类型转换的苦差事。

目录

1. 简介

2. 定义简单的范型

3. 泛型和子类型

4. 通配符

5. 范型方法

---

1. 简介

泛型允许您抽象类型。最常见的示例是容器类型，例如Collections层次结构中的容器类型。

以下是此类的典型用法：

List myIntList = new LinkedList(); // 1
myIntList.add(new Integer(0)); // 2
Integer x = (Integer) myIntList.iterator().next(); // 3  

第3行的类型转换有点烦人。通常，程序员知道将哪种数据放入特定列表中。但是，类型转换是必不可少的。编译器只能保证迭代器返回一个Object。为确保赋值为Integer类型的变量是类型安全的，需要强制转换。

当然，类型强转不仅引入了混乱，它还引入了运行时错误的可能性，因为程序员可能会弄错。

如果程序员实际上可以表达他们的意图，并将列表标记为限制包含特定的数据类型，该怎么办？这是范型背后的核心理念。以下是使用泛型给出的上述程序片段的一个版本：

List myIntList = new LinkedList(); // 1'
myIntList.add(new Integer(0)); // 2'
Integer x = myIntList.iterator().next(); // 3'

注意变量myIntList的类型声明，它指定这不是一个任意List，而是一个数据类型是Integer的List，写成List 。我们说List是一个带有类型参数的通用接口 - 在本例中是Integer。我们还在创建列表对象时指定了类型参数。这时候，在取出元素时，不用在强制类型转化。

通过这种方式，编译器现在可以在编译时检查程序的类型正确性。当我们说使用类型List 声明myIntList时，这告诉我们关于变量myIntList的一些信息，无论何时何地使用它都保持类型不变，并且编译器将保证它。相比之下，强制类型转换只是程序员认为在某一时间点时是正确的。所以，特别是在大型程序中，使用范型是提高了可读性和稳健性。

 

2. 定义简单的范型

以下是java.util包中接口List和Iterator的定义的一小段摘录：

public interface  List  {
    void add(E x);
    Iterator iterator();
}

public interface Iterator {
    E next();
    boolean hasNext();
}

在简介中，我们看到了泛型类型声明List的调用，例如List 。在调用（通常称为参数化类型）中，所有出现的形式类型参数（在本例中为E）都被实际类型参数（在本例中为Integer）替换。

⚠️注意：范型的声明类似于接口和类一样，都只有一个文件，不会增加多个代码副本。可以将类型参数理解成方法或者构造函数中的普通形式参数，在调用范型方法时，实际的类型参数将替换形式类型参数。

关于类型参数的命名，建议使用简洁的单个大写字符，在集合类中通常使用 E 来表示元素的类型，List , Map中通常使用Map  来表示，再次，请注意形式类型参数的命名约定 - 键为K，值为V。

 

3. 泛型和子类型

通常，如果Foo是Bar的子类型（子类或子接口），并且G是一些泛型类型声明，则G 不是G 的子类型。这可能是您需要了解范型最难的事情，因为它违背了我们深刻的直觉。

 所以如果将子类型的范型对象赋值给父类型的范型对象，将会引起编译错误。

官网举了以下这个例子：

List ls = new ArrayList(); // 1
List