java泛型方法--显式的类型说明

最近在学习guava这个类库的时候发现了一个比较少见的语法

public class ImmutableDemo {
    public static void main(String[] args) {
        ImmutableSet<String> set=ImmutableSet.of("a","b","c","d");
        ImmutableSet<String> set1=ImmutableSet.copyOf(set);
        ImmutableSet<String> set2=ImmutableSet.<String>builder().addAll(set).add("e").build();//显式的类型说明
        System.out.println(set);
        ImmutableList<String> list=set.asList();
    }
}

其中的

ImmutableSet<String> set2=ImmutableSet.<String>builder().addAll(set).add("e").build();

在.运算符和 builder() 方法之间有一个泛型。这种语法很少见，于是看了看《Java编程思想》P363中有关于这种语法的介绍，如下

显式的类型说明

在泛型方法中，可以显式地指明类型。要显式地指明类型，必须在点操作符与方法名之间插入尖括号，然后把类型置于尖括号内。如果是在定义该方法的类的内部，必须在定义该方法的类的内部，必须在点操作符之前使用this关键字，如果是使用static的方法，必须在点操作符之前加上类名。不过只有在编写非赋值语句时才需要这样额外的说明。

就按照guava的这个方法来说明一下。

首先，builder() 是ImmutableSet 类中的一个静态方法

 public static <E> Builder<E> builder() {
    return new Builder<E>();
  }

如果是赋值语句的话就不需要显式的类型说明，因为可以类型推导，如

ImmutableSet.Builder<String> builder=new ImmutableSet.Builder<>();
builder.build();

然而如果不显式创建一个Builder 对象直接调用该方法的话，就需要显式的类型说明了，因为该方法是静态的泛型方法，直接由类来调用该方法的话就无法进行类型推导，因此只能显式说明了。

ImmutableSet<String> set2=ImmutableSet.<String>builder().addAll(set).add("e").build(); 

显式说明泛型方法builder()的泛型是String