以下是此示例的輸出：

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

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

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

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

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

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

例如，請(qǐng)考慮以下變量聲明：

Map> myMap = new HashMap>();

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

Map> myMap = new HashMap<>();

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

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

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

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

考慮以下MyClass類的實(shí)例化：

new MyClass("")

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

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

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

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

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

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

static  List emptyList();

考慮以下賦值語(yǔ)句：

List listOne = Collections.emptyList();

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

List listOne = Collections.emptyList();

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

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

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

processStringList(Collections.emptyList());

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

List