lambda表达式可以用于具有目标类型的任何上下文。
有目标类型的上下文是指:
1 变量声明,赋值和数组的初始化,其目标类型是被赋值的类型(或数组类型);
2 return语句,目标类型是方法的返回类型;
3 方法或构造函数的参数,目标类型是相应参数的类型。如果方法或构造函数被重载,重载解析的一般机制用于lambda表达式匹配到目标类型之前。(重载解析后,可能仍存在多个匹配的方法或构造函数签名接受不同的函数式接口,其具有相同的函数描述符。在这种情况下,lambda表达式必须强制转换到这些函数式接口的类型之一);
4 Lambda表达式体期望的目标类型是从外部目标类型反过来派生出来的类型。考虑
Callable<Runnable> c = () -> () -> { System.out.println("hi"); };
这里的外部目标类型是Callable<Runnable>,它有一个函数描述符
Runnable call() throws Exception;
所以在lambda体的目标类型为Runnable的函数描述符即run方法。此函数没有参数也没有返回值,所以匹配上面的内部lambda表达式;
5 三元条件表达式(?:),其目标类型由上下文所提供。例如
Callable<Integer> c = flag ? (() -> 23) : (() -> 42);
6 强制类型表达式,其明确规定了目标类型。例如:
Object o = () -> { System.out.println("hi"); }; // 非法: 可能是Runnable or Callable (除其他)
Object o = (Runnable) () -> { System.out.println("hi"); }; // 合法,因为消除歧义
Where can lambda expressions be used? | Maurice Naftalin's Lambda FAQ