1. 泛型究竟是什么？
在讨论类型推导(type inference)之前，必须回顾一下什么是泛型(Generic).泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。通俗点将就是“类型的变量”。这种类型变量可以用在类、接口和方法的创建中。理解Java泛型最简单的方法是把它看成一种便捷语法，能节省你某些Java类型转换(casting)上的操作：
List<Apple> box = new ArrayList<Apple>();box.add(new Apple());
Apple apple =box.get(0);
上面的代码自身已表达的很清楚：box是一个装有Apple对象的List。get方法返回一个Apple对象实例，这个过程不需要进行类型转换。没有泛型，上面的代码需要写成这样：
Apple apple = (Apple)box.get(0);
当然，泛型绝不像我在这里描述的这么简单，但这不是我们今天的主角，对于泛型还不是很明白的同学需要补课了～当然，最好的参考资料还是官方文档。
2. 泛型带来的问题（Java 7之前）
泛型的最大优点是提供了程序的类型安全同时可以向后兼容，但也有让开发者不爽的地方，就是每次定义时都要写明泛型的类型，这样显示指定不仅感觉有些冗长，最主要是很多程序员不熟悉泛型，因此很多时候不能够给出正确的类型参数，现在通过编译器自动推断泛型的参数类型，能够减少这样的情况，并提高代码可读性。
3. 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<>());
4. 在Java8中的再进化
在最新的java官方文档之中，我们可以看到对于类型推导的定义：
Type inference is a Java compiler's ability to look at each method invocation and corresponding declaration to determine the type argument (or arguments) that make the invocation applicable. The inference algorithm determines the types of the arguments and, if available, the type that the result is being assigned, or returned. Finally, the inference algorithm tries to find the most specific type that works with all of the arguments.
简言之，类型推导也就是指编译器能够根据你调用的方法和相应的声明来确定需要的参数类型的能力。并且官方文档中还给出了一个例子加以诠释：
static <T> T pick(T a1, T a2) { return a2; }
Serializable s = pick("d", new ArrayList<String>());
在这里，编译器能够推导出传入pick方法中的第二个参数的类型是Serializable的。
在之前的java版本当中，上面的例子要能够通过编译的话需要这要写：
Serializable s = this.<Serializable>pick("d", new ArrayList<String>());
这样写的详细原因可以在Bruce Eckel的java编程思想（第四版）的泛型一章看得到，当然这本书是基于java6的，这个版本还没有类型推导这个概念。看到这里，很多人已经明显能看得出来最新版本中类型推导的强力之处了。已经不仅仅局限于泛型类的声明与实例化过程了，而是延伸到了具有泛型参数的方法当中了。
4.1 类型推导和泛型方法（Type Inference and Generic Methods）