如何实现IDE提示「匿名new Foo()可替换为lambda」的正确修改

Lambda表达式不存在独立的固有类型，它的实际类型完全由上下文的**目标类型（Target Type）**推导得出，Java语法对Lambda转换有强制要求：

• Lambda转换的目标类型必须是函数式接口（即仅定义了1个抽象方法的接口，你代码里的Foo接口符合函数式接口的定义）
• 你直接把() -> { return "hi"; }赋值给Object类型变量时，Object是普通类而非接口，编译器无法从这个类型上推导出Lambda要实现的是哪个函数式接口，就会抛出"Target type of a lambda conversion must be an interface"编译错误。

你之前写的匿名内部类写法new Foo() { public String foo() { return "hi"; }}是显式声明创建Foo接口的实现类实例，这个实例本身是Object的子类，自然可以向上转型赋值给Object类型变量；但Lambda写法没有显式声明接口类型的步骤，必须先给编译器明确它对应的函数式接口类型，才能完成后续的向上转型。

IDEA给出的替换提示是基于你写匿名内部类时显式标注的new Foo()上下文生成的，如果你替换时丢掉了Foo这个类型信息直接赋值给Object，就丢失了Lambda推导必须的目标类型上下文，必然编译失败。

给Lambda显式指定目标类型为Foo接口，再向上转型为Object即可，和原匿名内部类的多态传递逻辑完全一致：

• 通过强制类型转换(Foo)给编译器明确Lambda的目标类型是Foo接口，让编译器完成Lambda到Foo接口实现的转换
• 转换得到的Foo实现类实例本身是Object子类，可以直接赋值给Object类型变量

package org.example;

interface Foo {
    String foo();
}

public class Bar implements Foo {
    @Override
    public String foo() {
        return "hi";
    }

    public static void main(String[] args) {
        Object poly1 = new Bar();
        Foo poly2 = new Bar();
        // 显式指定Lambda目标类型为Foo，再向上转型为Object，完全等价于原匿名内部类写法
        Object poly3 = (Foo) () -> "hi";
        // 验证方法调用逻辑：需要强转回Foo类型才能调用foo方法，和原匿名内部类的行为完全一致
        System.out.println(((Foo)poly3).foo());
    }
}

注：如果不需要强制把变量类型声明为Object，直接将poly3声明为Foo类型再写Lambda是更符合Java编码规范的写法，即Foo poly3 = () -> "hi";，这也是IDEA提示默认的替换结果。

内容的提问来源于stack exchange，提问作者mellow-yellow