1.7 出现的

https://www.cnblogs.com/heimianshusheng/p/5766573.html

Java 7中对于泛型的类型推导方面的改进

在Java 7以前的版本中使用泛型类型，需要在声明并赋值的时候，两侧都加上泛型类型。比方说这样：

Map<String,Integer> map = new HashMap<String,Integer>();

很多人当初肯定和我一样，对此感到很不解：我在变量声明中不是已经声明了参数类型了吗？为什么在对象初始化的时候还要显示的写出来？这也是泛型在一开始出现的时候受到很多人吐槽的地方。不过，让人欣慰的是，java在进步的同时，那些设计者们也在不断的改进java的编译器，让它变的更加智能与人性化。这里，就是我们今天的主角：类型推倒...额...不是推倒，是类型推导，即type inference，这哥们儿的出现，再写上面这样的代码的时候，可以很开心地省略掉对象实例化时的参数类型，也就变成了这个样子：

Map<String,Integer> map = new HashMap<>();

在这条语句中，编译器会根据变量声明时的泛型类型自动推断出实例化HashMap时的泛型类型。再次提醒一定要注意new HashMap后面的“<>”，只有加上这个“<>”才表示是自动类型推断，否则就是非泛型类型的HashMap，并且在使用编译器编译源代码时会给出一个警告提示（unchecked conversion warning）。这一对尖括号"<>"官方文档中叫做"diamond"。

但是，这时候的类型推导做的并不完全（甚至算是一个半成品），因为在Java SE 7中创建泛型实例时的类型推断是有限制的：只有构造器的参数化类型在上下文中被显著的声明了，才可以使用类型推断，否则不行。例如：下面的例子在java 7无法正确编译（但现在在java8里面可以编译，因为根据方法参数来自动推断泛型的类型）：

List<String> list = new ArrayList<>();
list.add("A");// 由于addAll期望获得Collection<? extends String>类型的参数，因此下面的语句无法通过
list.addAll(new ArrayList<>());