9.4.3 Java7的“菱形”语法与泛型构造器

正如泛型方法允许在方法签名中声明泛型形参一样，Java也允许在构造器签名中声明泛型形参，这样就产生了所谓的泛型构造器。

一旦定义了泛型构造器，接下来在调用构造器时，就不仅可以让Java根据数据参数的类型来“推断”泛型形参的类型，而且程序员也可以显式地为构造器中的泛型形参指定实际的类型。如下程序所示。

class Foo {
    // 访问控制符 泛型形参 构造器名 参数列表
    public <T> Foo(T t) {
        System.out.println(t);
    }
}

public class GenericConstructor {
    public static void main(String[] args) {
        // 泛型构造器中的T类型为String。
        new Foo("疯狂Java讲义");
        // 泛型构造器中的T类型为Integer。
        new Foo(200);

        // 显式指定泛型构造器中的T类型为String，
        // 传给Foo构造器的实参也是String对象，完全正确。
        new <String>Foo("疯狂Android讲义"); //1号代码

        // 显式指定泛型构造器中的T类型为String，
        // 但传给Foo构造器的实参是Double对象，下面代码出错
        // new <String> Foo(12.3);//2号代码
    }
}

上面程序中1号代码不仅显式指定了泛型构造器中的泛型形参T的类型应该是String，而且程序传给该构造器的参数值也是String类型，因此程序完全正常。
但在2号代码 处，程序显式指定了泛型构造器中的泛型形参T的类型应该是String，但实际传给该构造器的参数值是Double类型，因此这行代码将会出现错误。

显式指定了泛型构造器中声明的泛型形参的实际类型，则不可以使用“菱形”语法

前面介绍过Java7新增的“菱形”语法，它允许调用构造器时在构造器后使用一对尖括号来代表泛型信息。但如果程序显式指定了泛型构造器中声明的泛型形参的实际类型，则不可以使用“菱形”语法。如下程序所示。

class MyClass<E> {
    // 访问控制符 泛型形参 构造器名 参数列表
    public <T> MyClass(T t) {
        System.out.println("t参数的值为：" + t);
    }
}

public class GenericDiamondTest {
    public static void main(String[] args) {
        // MyClass类声明中的E形参是String类型。
        // 泛型构造器中声明的T形参是Integer类型
        MyClass<String> mc1 = new MyClass<>(5);

        // 显式指定泛型构造器中声明的T形参是Integer类型，
        MyClass<String> mc2 = new <Integer>MyClass<String>(5);

        // MyClass类声明中的E形参是String类型。
        // 如果显式指定泛型构造器中声明的T形参是Integer类型
        // 此时就不能使用"菱形"语法，下面代码是错的。
        MyClass<String> mc3 = new <Integer> MyClass<>(5);//1号代码
    }
}

上面程序中1号代码既指定了泛型构造器中的泛型形参是 Integer类型，又想使用“菱形”语法，所以这行代码无法通过编译。