Java™ 教程（类型推断）

以下是此示例的输出：

Box #0 contains [10]
Box #1 contains [20]
Box #2 contains [30]

泛型方法addBox定义了一个名为U的类型参数，通常，Java编译器可以推断泛型方法调用的类型参数，因此，在大多数情况下，你不必指定它们，例如，要调用泛型方法addBox，可以使用类型见证指定类型参数，如下所示：

BoxDemo.addBox(Integer.valueOf(10), listOfIntegerBoxes);

或者，如果省略类型见证，Java编译器会自动推断（从方法的参数）类型参数是Integer：

BoxDemo.addBox(Integer.valueOf(20), listOfIntegerBoxes);

只要编译器可以从上下文中推断出类型参数，就可以用一组空的类型参数（<>）替换调用泛型类的构造函数所需的类型参数，这对尖括号被非正式地称为菱形。

例如，请考虑以下变量声明：

Map> myMap = new HashMap>();

你可以使用一组空的类型参数（<>）替换构造函数的参数化类型：

Map> myMap = new HashMap<>();

请注意，要在泛型类实例化期间利用类型推断，必须使用菱形，在以下示例中，编译器生成未经检查的转换警告，因为HashMap()构造函数引用HashMap原始类型，而不是Map>类型：

Map> myMap = new HashMap(); // unchecked conversion warning

请注意，构造函数在泛型和非泛型类中都可以是泛型的（换句话说，声明它们自己的形式类型参数），考虑以下示例：

class MyClass {
   MyClass(T t) {
    // ...
  }
}

考虑以下MyClass类的实例化：

new MyClass("")

此语句创建参数化类型MyClass的实例，该语句显式指定泛型类MyClass的形式类型参数X的类型Integer，请注意，此泛型类的构造函数包含形式类型参数T，编译器为此泛型类的构造函数的形式类型参数T推断类型String（因为此构造函数的实际参数是String对象）。

Java SE 7之前版本的编译器能够推断泛型构造函数的实际类型参数，类似于泛型方法，但是，如果使用菱形（<>），Java SE 7及更高版本中的编译器可以推断出要实例化的泛型类的实际类型参数，考虑以下示例：

MyClass myObject = new MyClass<>("");

在此示例中，编译器为泛型类MyClass的形式类型参数X推断类型Integer，它推断出此泛型类的构造函数的形式类型参数T的类型String。

值得注意的是，推理算法仅使用调用参数、目标类型以及可能明显的预期返回类型来推断类型，推理算法不使用程序后面的结果。

Java编译器利用目标类型来推断泛型方法调用的类型参数，表达式的目标类型是Java编译器所期望的数据类型，具体取决于表达式的显示位置，考虑方法Collections.emptyList，声明如下：

static  List emptyList();

考虑以下赋值语句：

List listOne = Collections.emptyList();

此语句期望List的实例，此数据类型是目标类型，因为方法emptyList返回List类型的值，所以编译器推断类型参数T必须是值String，这适用于Java SE 7和8，或者，你可以使用类型见证并指定T的值，如下所示：

List listOne = Collections.emptyList();

但是，在这种情况下，这不是必需的，不过，在其他情况下这是必要的，考虑以下方法：

void processStringList(List stringList) {
    // process stringList
}

假设你要使用空列表调用方法processStringList，在Java SE 7中，以下语句不编译：

processStringList(Collections.emptyList());

Java SE 7编译器生成类似于以下内容的错误消息：

List