Java面向对象系列[v1.0.0][菱形语法与泛型构造器]

菱形语法与泛型构造器

正如泛型方法允许在方法签名中声明泛型形参一样，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("SpringBoot实战");
      // 泛型构造器中的T类型为Integer。
      new Foo(200);
      // 显式指定泛型构造器中的T类型为String，
      // 传给Foo构造器的实参也是String对象，完全正确。
      new <String> Foo("Spring实战");
      // 显式指定泛型构造器中的T类型为String，
      // 但传给Foo构造器的实参是Double对象，下面代码出错
        // new <String> Foo(12.3);
   }
}

菱形语法

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);
   }
}