以下是此示例的輸出：

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

泛型方法addBox定義了一個名為U的類型參數(shù)，通常，Java編譯器可以推斷泛型方法調(diào)用的類型參數(shù)，因此，在大多數(shù)情況下，你不必指定它們，例如，要調(diào)用泛型方法addBox，可以使用類型見證指定類型參數(shù)，如下所示：

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

或者，如果省略類型見證，Java編譯器會自動推斷（從方法的參數(shù)）類型參數(shù)是Integer：

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

只要編譯器可以從上下文中推斷出類型參數(shù)，就可以用一組空的類型參數(shù)（<>）替換調(diào)用泛型類的構(gòu)造函數(shù)所需的類型參數(shù)，這對尖括號被非正式地稱為菱形。

例如，請考慮以下變量聲明：

Map> myMap = new HashMap>();

你可以使用一組空的類型參數(shù)（<>）替換構(gòu)造函數(shù)的參數(shù)化類型：

Map> myMap = new HashMap<>();

請注意，要在泛型類實例化期間利用類型推斷，必須使用菱形，在以下示例中，編譯器生成未經(jīng)檢查的轉(zhuǎn)換警告，因為HashMap()構(gòu)造函數(shù)引用HashMap原始類型，而不是Map>類型：

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

請注意，構(gòu)造函數(shù)在泛型和非泛型類中都可以是泛型的（換句話說，聲明它們自己的形式類型參數(shù)），考慮以下示例：

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

考慮以下MyClass類的實例化：

new MyClass("")

此語句創(chuàng)建參數(shù)化類型MyClass的實例，該語句顯式指定泛型類MyClass的形式類型參數(shù)X的類型Integer，請注意，此泛型類的構(gòu)造函數(shù)包含形式類型參數(shù)T，編譯器為此泛型類的構(gòu)造函數(shù)的形式類型參數(shù)T推斷類型String（因為此構(gòu)造函數(shù)的實際參數(shù)是String對象）。

Java SE 7之前版本的編譯器能夠推斷泛型構(gòu)造函數(shù)的實際類型參數(shù)，類似于泛型方法，但是，如果使用菱形（<>），Java SE 7及更高版本中的編譯器可以推斷出要實例化的泛型類的實際類型參數(shù)，考慮以下示例：

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

在此示例中，編譯器為泛型類MyClass的形式類型參數(shù)X推斷類型Integer，它推斷出此泛型類的構(gòu)造函數(shù)的形式類型參數(shù)T的類型String。

值得注意的是，推理算法僅使用調(diào)用參數(shù)、目標(biāo)類型以及可能明顯的預(yù)期返回類型來推斷類型，推理算法不使用程序后面的結(jié)果。

Java編譯器利用目標(biāo)類型來推斷泛型方法調(diào)用的類型參數(shù)，表達(dá)式的目標(biāo)類型是Java編譯器所期望的數(shù)據(jù)類型，具體取決于表達(dá)式的顯示位置，考慮方法Collections.emptyList，聲明如下：

static  List emptyList();

考慮以下賦值語句：

List listOne = Collections.emptyList();

此語句期望List的實例，此數(shù)據(jù)類型是目標(biāo)類型，因為方法emptyList返回List類型的值，所以編譯器推斷類型參數(shù)T必須是值String，這適用于Java SE 7和8，或者，你可以使用類型見證并指定T的值，如下所示：

List listOne = Collections.emptyList();

但是，在這種情況下，這不是必需的，不過，在其他情況下這是必要的，考慮以下方法：

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

假設(shè)你要使用空列表調(diào)用方法processStringList，在Java SE 7中，以下語句不編譯：

processStringList(Collections.emptyList());

Java SE 7編譯器生成類似于以下內(nèi)容的錯誤消息：

List