IntelliJ中Java Map Stream泛型类型推断报错但编译正常的原因

先看这段存在问题的代码：

public class Test {

    private static List<Model<?>> getModels() {
        return List.of(10).stream()
            .map(Test::getModel)
            .toList();
    }

    private static Model<?> getModel(int key) {
        return new Model<>(key);
    }

    public static void main(String... str) {
        System.out.println("Hello World!" + getModels());
    }

    public static class Model<T> {

        private T field;

        Model(T key) {
            field = key;
        }

        public String toString() {
            return "Model(" + field + ")";
        }

    }
}

这段代码里，IntelliJ会在return行标红报错，但用javac编译却完全正常。当给map方法显式指定泛型类型<Model<?>>后，IntelliJ的错误就消失了：

public class Test {

    private static List<Model<?>> getModels() {
        return List.of(10).stream()
            .<Model<?>>map(Test::getModel)
            .toList();
    }

    private static Model<?> getModel(int key) {
        return new Model<>(key);
    }

    public static void main(String... str) {
        System.out.println("Hello World!" + getModels());
    }

    public static class Model<T> {

        private T field;

        Model(T key) {
            field = key;
        }

        public String toString() {
            return "Model(" + field + ")";
        }

    }
}

IntelliJ鼠标悬停时显示的错误信息为：

Required type: List<Model> Provided: List>

原因分析 #

这是Java编译器和IntelliJ静态类型推断逻辑的差异导致的：

• Java编译器支持目标类型推断，当方法返回值要求是List<Model<?>>时，它会自动将stream().map(...).toList()的结果（原本为List<? extends Model<?>>）适配为List<Model<?>>——因为Model<?>是通配符类型，? extends Model<?>可以安全向上转型为Model<?>，编译器认可这种适配。
• 但IntelliJ的代码检查器在这个场景下没有做同样的适配处理，它严格按照流的推断类型判断：map(Test::getModel)返回的是Stream<? extends Model<?>>（getModel返回的Model<?>可被视为自身的子类），因此toList()得到的是List<? extends Model<?>>，和方法要求的List<Model<?>>不匹配，所以报错。

当显式给map指定<Model<?>>泛型参数后，流的类型被明确为Stream<Model<?>>，toList()自然得到List<Model<?>>，完全符合返回值要求，IntelliJ也就不再报错了。

内容的提问来源于stack exchange，提问作者Tashkhisi