循环泛型引发javac编译StackOverflowError问题求助

问题场景 #

编译以下Java代码时触发StackOverflowError：

package test;
import test.Criteria.Builder;

public class Criteria<B extends Builder<? extends Criteria>> {
    protected Criteria(Builder builder) {
    }

    // 注意此处
    // 若使用下方注释代码可编译成功
    // public static <B extends Builder> B builder() {
    public static <B extends Builder<E>, E extends Criteria<B>> B builder() {
        return (B) new Builder<>();
    }

    public static class Builder<C extends Criteria<? extends Builder<C>>> {
    }
}

编译报错信息：

D:\workspace>javac Criteria.java

系统资源不足。
有关详细信息, 请参阅以下堆栈跟踪。
java.lang.StackOverflowError
        at jdk.compiler/com.sun.tools.javac.code.Type.equalsIgnoreMetadata(Type.java:513)
        at jdk.compiler/com.sun.tools.javac.code.Type$ClassType.contains(Type.java:1150)
        at jdk.compiler/com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4769)
        at jdk.compiler/com.sun.tools.javac.code.Types$Rewriter.visitTypeVar(Types.java:4724)
        at jdk.compiler/com.sun.tools.javac.code.Type$TypeVar.accept(Type.java:1681)

已测试JDK版本：oraclejdk-1.8.0_271、oraclejdk-17.0.8、openjdk-17.0.2、openjdk-21.0.1，均出现该问题。

问题结论 #

这是Java编译器的Bug，对应官方Bug编号JDK-8324809。该Bug核心原因是：编译器处理存在递归边界的复杂泛型定义时，类型检查逻辑陷入无限递归，最终耗尽栈内存抛出StackOverflowError，且在多个主流JDK版本中均存在此缺陷。

编译修复方案 #

有两种可行的修复方式：

• 方案一：简化泛型声明
  使用代码中注释的简化版builder()方法声明，移除递归的泛型约束：

  public static <B extends Builder> B builder() {
      return (B) new Builder<>();
  }
  

  该方式直接避免了编译器的泛型递归检查逻辑，可正常编译。

• 方案二：调整泛型边界打破循环
  修改Criteria或Builder的泛型参数定义，打破两者之间的递归依赖关系。例如调整Builder的泛型约束为非递归形式，或简化Criteria的泛型参数边界。

内容的提问来源于stack exchange，提问作者rui.zhang