Lambda表达式基础（4）- 什么是Lambda表达式的类型？

什么是Lambda表达式的类型？

Lambda表达式是函数式接口的一个实例。但Lambda表达式本身不包含它要实现的函数式接口的信息；这要由它所在的上下文推断出来，例如表达式

    x -> 2 * x
可以是一个函数式接口的实例
    interface IntOperation { int operate(int i); }

所以这么写是合法的
    IntOperation iop = x -> x * 2;

赋值符的右边期望表达式的类型是IntOperation。这就是所谓的Lambda表达式的目标类型。显然一个lambda表达式的类型可以兼容不同的函数式接口，因此它遵循同样的Lambda表达式在不同的上下文中可以有不同目标类型，例如，给定一个接口
    interface DoubleOperation { double operate(double i); }

这么写同样合法
    DoubleOperation dop = x -> x * 2;

一个lambda表达式的目标类型必须是一个函数式接口，并能与目标类型兼容，lambda表达式必须具有相同的参数类型就像接口声明的函数描述一样，它的返回类型必须与函数描述符兼容，并且它只能抛出函数描述符允许的异常

原文链接：http://www.lambdafaq.org/what-is-the-type-of-a-lambda-expression/