Java嵌套泛型与原始类型的返回类型推断问题解析

public class Main {
    List<List<Integer>> f0() {
        return List.of(List.of(1L));
    }
    List<List<Integer>> f1() {
        return List.of((List) List.of(1L));
    }
    List<List<Integer>> f2() {
        var r = List.of((List) List.of(1L));
        return r;
    }
    List<List<Integer>> f3() {
        return List.of((List) List.of(1L), List.of(1L));
    }
    List<List<Integer>> f4() {
        return List.of((List) List.of(1L), (List) List.of(1L));
    }
}

上述代码中，f1和f4可正常编译，f0、f2和f3编译失败。已知f0失败原因是需返回List<List<Integer>>，实际返回List<List<Long>>，但其余方法的行为可通过以下解析理解：

f2编译错误：

incompatible types: List<List> cannot be converted to List<List<Integer>>

f3编译错误：

error: incompatible types: inference variable E has incompatible bounds
                return List.of((List) List.of(1L), List.of(1L));
                              ^
    equality constraints: Integer
    lower bounds: Long
  where E is a type-variable:
    E extends Object declared in method <E>of(E)

1. f0方法 #

• 返回表达式类型：List<List<Long>>
• 编译失败原因：方法声明返回List<List<Integer>>，但List<Long>和List<Integer>是不兼容的泛型类型，Java泛型不支持直接协变转换（除非使用通配符? extends Integer），因此类型不匹配导致编译报错。

2. f1方法 #

• 返回表达式类型：List<List<Integer>>（编译器通过目标类型推断得出）
• 编译成功原因：(List) List.of(1L)是原始类型List，调用List.of(原始类型List)时，编译器会根据方法的返回目标类型List<List<Integer>>，将List.of的泛型参数推断为List<Integer>。原始类型可被适配为任意参数化泛型类型（会产生未检查转换警告，但编译允许），最终返回类型符合方法声明。

3. f2方法 #

• 返回表达式类型：List<List>（var仅根据右侧表达式自身推断类型）
• 编译失败原因：List.of((List) List.of(1L))的参数是原始类型List，此时没有目标类型约束var的推断，因此List.of的泛型参数被推断为原始类型List，变量r的类型为List<List>。而List<List>与List<List<Integer>>属于不兼容的泛型类型（原始类型和参数化类型无法直接转换），返回时触发类型不兼容错误。

4. f3方法 #

• 返回表达式类型：无法完成有效类型推断（存在约束冲突）
• 编译失败原因：调用List.of时传入两个参数：
  • 第一个参数是原始类型List，可被视为任意List<?>；
  • 第二个参数是List<Long>。
    方法返回目标类型要求List.of的泛型参数必须是List<Integer>，但第二个参数的类型是List<Long>，Long与Integer无继承关系，导致推断变量同时被约束为List<Integer>和List<Long>，产生冲突，编译报错。

5. f4方法 #

• 返回表达式类型：List<List<Integer>>（编译器通过目标类型推断得出）
• 编译成功原因：两个参数都是原始类型List，编译器会根据方法返回目标类型List<List<Integer>>，将List.of的泛型参数推断为List<Integer>。原始类型可被适配为List<Integer>，最终返回类型符合方法声明，编译通过。

1. 泛型类型推断（JLS §18）：调用泛型方法未显式指定参数时，编译器会结合调用上下文（包括目标类型）和参数类型推断泛型参数。对于可变参数泛型方法，会统一推断所有参数的共同超类型。
2. 原始类型与参数化类型的交互（JLS §4.8）：原始类型会擦除泛型信息，使用时编译器会放弃泛型检查，允许转换为任意参数化类型（但会产生未检查警告）。但var的类型推断仅基于表达式自身，不考虑后续目标类型。
3. 类型兼容性（JLS §5.1.10）：参数化类型之间的转换需满足泛型子类型规则，原始类型与参数化类型不属于兼容类型，无法直接转换。

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