泛型(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类型,又想使用"菱形"语法,所以这行代码无法通过编译