What is the type of a lambda expression?
一个lambda表达式是功能接口的一个实例。但是lambda表达式自身不能包含它实现了哪个功能接口的信息。这个信息会从lambda表达式被使用的上下文中推断出来。例如,表达式:
x -> 2*x
能够是如下的功能接口的实例:
interface IntOperation{
int operate(int i);
}
所以以下写法是合法的:
interface iop = x -> x*2;
赋值右侧的表达式类型期待是IntOperation。这个被称之为lambda表达式的目标类型。明确的说,一个lambda表达式是能够和不同的功能接口类型兼容的,所以一样的表达师在不同的上下文中有不同的目标类型。例如,给定一个接口:
interface DoubleOperation{
double operate(double i);
}
下面的写法也是合法的:
DoubleOperation dop = x -> x*2;
Lambda表达式的目标类型必须是功能接口,并且为了能够和目标类型兼容,lambda表达式必须和接口的函数描述符的参数类型一致,和函数描述符的返回类型兼容,和函数描述符的异常声明一致。