Java Lambda 表达式的类型推断是如何工作的

Java Lambda 表达式的类型推断是基于目标类型的

1. 确定目标类型：编译器首先会查找一个合适的目标类型（target type），即 Lambda 表达式将被分配给的接口或抽象类。目标类型通常是一个函数式接口，它只包含一个抽象方法。如果找不到合适的目标类型，编译器将报告错误。

2. 表达式主体的类型推断：编译器接下来会分析 Lambda 表达式的主体部分，以确定其返回类型。Lambda 表达式的主体可以是任何有效的 Java 语句块，包括一个语句、一个表达式或一个初始化块。

3. 参数类型推断：如果 Lambda 表达式具有参数，编译器将根据目标类型和参数类型来推断 Lambda 表达式的参数类型。例如，如果目标类型是 Function<String, Integer>，并且 Lambda 表达式的参数是一个 String 对象，那么编译器将自动推断出参数类型为 String。

4. 返回类型推断：编译器会根据 Lambda 表达式的主体和目标类型来推断返回类型。例如，如果目标类型是 Function<String, Integer>，并且 Lambda 表达式的主体是一个返回整数值的语句，那么编译器将自动推断出返回类型为 Integer。

5. 生成桥接方法：在某些情况下，编译器可能需要生成一个桥接方法（bridge method）以确保类型安全。这通常发生在 Lambda 表达式的主体引用了一个外部变量时。在这种情况下，编译器会生成一个桥接方法来确保正确的类型转换。

总之，Java Lambda 表达式的类型推断是通过编译器在编译时自动确定 Lambda 表达式的目标类型、参数类型和返回类型来实现的。这使得 Lambda 表达式更加简洁易用，同时保持了类型安全。