答案：java 中 lambda 表达式的类型由编译器通过类型推断机制确定。确定上下文类型。检查 lambda 表达式中的变量类型。匹配上下文类型和变量类型。推断 lambda 表达式的类型。

Java 中 Lambda 表达式的类型推断机制

Lambda 表达式是一种匿名函数，可以代替传统的方法声明。Java 编译器使用类型推断机制来确定 lambda 表达式的类型。

类型推断的工作原理

立即学习“Java免费学习笔记（深入）”；

Java 编译器通过以下步骤推断 lambda 表达式的类型：

1. 确定 lambda 表达式周围上下文的类型。
2. 检查 lambda 表达式中的变量类型。
3. 将 1 中的上下文类型与 2 中的变量类型匹配。
4. 根据匹配的结果推断 lambda 表达式的类型。

实战案例

我们可以通过示例来理解类型推断机制的工作方式：

// 创建一个接口，定义一个有返回值的方法
interface MathOperation {
    int operate(int a, int b);
}

// 创建一个返回 MathOperation 类型的 lambda 表达式
MathOperation addition = (a, b) -> a + b;

// 调用 lambda 表达式
int result = addition.operate(10, 20);

在上面的示例中：

• 编译器确定 addition 变量声明的上下文类型为 MathOperation。
• Lambda 表达式中的变量类型为 int。
• 编译器匹配 MathOperation 接口的 operate 方法的参数和返回类型，得出 lambda 表达式的类型为 MathOperation。

因此，addition 变量被推断为 MathOperation 类型，并且可以像其他 MathOperation 实例一样使用。