泛型(8)-Java7的"菱形"语法与泛型构造器

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

package com.j1803;
class  Foo{
    public <T> Foo(T t){
        System.out.println(t);
    }
}
public class GenericConstructor {
    public static void main(String[] args) {
        //泛型构造器中的T类型为String
        new Foo("AAAA");
        //泛型构造器中T类型为Integer
        new Foo(45);

        //显示指定泛型构造器中的T类型为String
        //传给Foo构造器的实参也是String对象,完全正确
        new <String>Foo("BBBB");

        //显示指定泛型构造器中的T类型为String
        //传给Foo构造器的实参确实Double对象,编译错误
        //new <String>Foo(45.23);//编译错误
    }
}

 new <String>Foo("BBBB");不仅显示指定了泛型构造器中泛型形参T的类型应该是String,而且程序传给该构造器的参数值也是String类型,因此程序完全正确,而在new <String>Foo(45.23);总则因为类型不同而出现编译错误.
Java7新增的"菱形"语法,它允许调用构造器时在构造器后使用一对尖括号来代表泛型信息,但如果程序显示地指定了泛型构造器中声明的泛型形参的实际类型,则不可以使用"菱形"语法.

package com.j1803.Type_wildcards;
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>(6);

        //MyClass类声明中的E是String类型
        //如果显示指定泛型构造器中声明的T形参是Integer;
        //此时就不能使用"菱形"语法,下列代码是错的.
        //MyClass<String>mc3=new <Integer> MyClass<>(5);
    }
}
上面的代码中即制定了泛型构造器的泛型参数是Integer类型,又想使用"菱形"语法,所以这行代码无法通过编译