现在我们来看看 JDK8 是怎么对 Lambda 表达式进行类型推断的，Lambda 的实际类型叫做它的目标类型(target type)，因为 JDK8 沿承了已有的类型系统，所以象这样的写法：
button.addActionListener((ActionEvent e) -> foo());
addActionListener() 方法接收的是一个 ActionListener 类型的参数，所以这里的 Lambda 表达式 (ActionEvent e) -> foo() 代表的就是一个 ActionListener 实例，编译器是怎么知道这一点的，而且相同的 Lambda 是可以表示不同的类型的，见：
Callable<String> c = () -> "done"; //这个 () -> "done" 是 Callable<String> 类型
PrivilegedAction<String> a = () -> "done"; //同样的 () -> "done" 却是 PrivilegedAction<String> 类型
答曰，根据 Lambda 表达式所处的上下文去感知。上下文决定了 Lambda 所期盼的类型，比如说变量声明类型，方法要求的输入参数类型，所以它必须是明确，不能模棱两可。所以一个 Lambda 表达式能否放在某处需要满足以下几个条件：
- 期盼的类型必须是一个功能性接口，这样就能唯一定位到那个抽象方法上去，确定方法签名，接下来就是 阅读全文 >>