阅读量:0
Lambda表达式在Java中的类型推断主要依赖于上下文。编译器会根据Lambda表达式所在的上下文来推断出参数类型和目标类型。这种推断过程被称为“类型推断”。
类型推断的过程可以分为以下几个步骤：
确定目标类型：首先，编译器会查找Lambda表达式所在的上下文，以确定其目标类型。目标类型通常是一个接口或者一个方法的参数类型。例如，如果Lambda表达式被赋值给一个函数式接口类型，那么目标类型就是这个函数式接口。
检查函数描述符：接下来，编译器会检查目标类型的函数描述符（function descriptor），这是一个描述接口方法签名的元素。函数描述符包括方法的参数类型、返回类型以及抛出的异常类型。
类型推断：根据函数描述符，编译器会尝试推断Lambda表达式的参数类型。如果Lambda表达式的参数类型已经明确指定了，那么编译器会直接使用这些类型。如果没有明确指定，编译器会尝试根据上下文推断出参数类型。
类型兼容性检查：最后，编译器会检查推断出的参数类型是否与目标类型的函数描述符兼容。如果兼容，那么类型推断成功；否则，编译器会报错。
需要注意的是，类型推断并不总是成功的。在某些情况下，编译器可能无法推断出正确的参数类型，这时候需要显式地指定参数类型。此外，类型推断也可能导致歧义，例如当两个接口方法具有相同的函数描述符时。在这种情况下，需要显式地指定目标类型，以消除歧义。
