局部变量为何影响类型推断相等约束？类型推断捕获问题咨询

这是个非常典型的Java类型推断细节问题，咱们一步步拆解清楚背后的逻辑：

1. 为什么原代码会报错？ #

首先要明确两个关键知识点：

• Java中Object.getClass()的返回类型规则：对于静态类型为T的表达式，getClass()返回的是Class<? extends |T|>（|T|是T的类型擦除结果），而且这个返回类型是捕获的通配符类型（也就是错误信息里的CAP#1）。哪怕T是final类型（比如你的E1枚举），语言规范依然会返回Class<? extends T>，而不是Class<T>。
• barEnum方法的类型约束：它要求参数是Class<T>，且T extends Enum<T>——这是枚举类型的典型递归类型约束。

当你直接写barEnum(e.getClass())时，发生了这些事：

• e的静态类型是E1，所以e.getClass()的类型是Class<CAP#1>，其中CAP#1是编译器生成的捕获类型，代表? extends E1。
• 类型推断需要找到一个T，满足两个条件：
  1. Class<T>匹配传入的Class<CAP#1> → 要求T = CAP#1
  2. T extends Enum<T> → 要求CAP#1 extends Enum<CAP#1>
     但CAP#1被编译器视为一个未知的、可能存在的E1子类（哪怕枚举实际上是final不能被继承，编译器不会在类型推断阶段考虑这个运行时细节）。这就导致推断出的T需要同时满足T=CAP#1和T=E1，约束冲突，因此报错。

2. 为什么引入局部变量后错误消失？ #

当你把getClass()的结果存入Class<? extends Enum> c这个局部变量时，发生了两个关键变化：

• 局部变量的类型是Class<? extends Enum>，这是一个非捕获的通配符类型，不再是之前严格的Class<CAP#1>。
• 调用barEnum(c)时，编译器的类型推断逻辑发生了变化：
  它会顺着你要赋值的目标类型EnumSet<E1>，尝试推断T为E1。此时barEnum需要Class<E1>，而c的类型Class<? extends Enum>可以被未经检查地转换为Class<E1>。编译器允许这种转换（只会产生unchecked警告，而不是错误），因为它认为你明确知道自己在做什么——毕竟你已经把结果赋值给了EnumSet<E1>，相当于手动指定了目标类型。

简单来说，局部变量的引入相当于“打破”了之前严格的捕获类型约束，让编译器可以进行更宽松的类型推断，接受未经检查的转换。

3. 更优雅的解决方案 #

其实你不需要用原始类型Enum，可以用显式类型参数+安全强制转换的方式，既解决问题又避免unchecked警告：

private static void foo1(EnumSet<E1> s, E1 e) {
    // 显式指定T为E1，同时强制转换类型（因为枚举是final的，这个转换绝对安全）
    EnumSet<E1> x2 = A.<E1>barEnum((Class<E1>) e.getClass());
}

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