以下是此示例的輸出：

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