Lambda FAQ_4.Lambda表达式的类型是什么?

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表达式必须和接口的函数描述符的参数类型一致，和函数描述符的返回类型兼容，和函数描述符的异常声明一致。

原文

原文地址