为何VS Code中该Java程序的类型推断会失效？

问题重现 #

以下Java代码中，当将barsByFooIdAndBarId的类型声明从显式的Map<String, Map<String, Bar>>改为var时：

import java.util.*;
import java.util.stream.Collectors;

public class Main {

    record Foo(String id, List<Bar> bars) {}

    record Bar(String id) {}

    public static void main(String[] args) {
        // 将此处改为var时出现类型推断问题
        var barsByFooIdAndBarId = Collections.<Foo>emptyList()
            .stream()
            .collect(
                Collectors.toMap(
                    Foo::id,
                    foo ->
                        Collections.<String, Bar>emptyMap()
                            .entrySet()
                            .stream()
                            .collect(
                                Collectors.toMap(
                                    Map.Entry::getKey,
                                    entry ->
                                        foo
                                            .bars()
                                            .get(0)
                                )
                            )
                )
            );

        Bar bar = barsByFooIdAndBarId
            .computeIfAbsent("fooId", id -> Collections.emptyMap())
            .get("barId");

        System.out.println(bar);
    }
}

• javac和IntelliJ能正确推断出变量类型为Map<String, Map<String, Bar>>，程序正常编译运行
• VS Code的Red Hat "Language Support for Java(TM)" v1.31.0扩展会错误推断为Map<String, Map<String, Object>>，导致Bar bar的赋值因类型不兼容报错

问题根源 #

该问题确实源于VS Code Java扩展依赖的Eclipse JDT Language Server的类型推断逻辑，它与javac的类型推断实现存在差异：

1. 代码内层处理的是空流（Collections.<String, Bar>emptyMap().entrySet().stream()），JDT在推断嵌套Collectors.toMap的结果类型时，未能通过外层上下文（外层Collectors.toMap需要映射值为Map<String, Bar>）推导内层的泛型类型
2. 当流为空时，JDT的类型推断 fallback 到了最宽泛的Object类型，而javac会结合目标类型进行更精确的推导

解决方法 #

1. 显式指定内层收集器的类型参数：给内层Collectors.toMap添加泛型参数，明确类型约束

   Collectors.<String, Bar>toMap(
       Map.Entry::getKey,
       entry -> foo.bars().get(0)
   )
   

2. 升级Java扩展版本：检查并安装最新版的Red Hat Java扩展，后续版本可能修复了该类型推断的bug
3. 临时保留显式类型声明：暂时不使用var，保持原有的Map<String, Map<String, Bar>>显式类型声明来规避问题

内容的提问来源于stack exchange，提问作者Robin Dos Anjos