Javadoc 在处理密封（sealed）泛型接口时会因 permits 子句中错误使用带类型参数的类名（如 Class<T>）而报错，但实际编译通过；根本原因在于 Java 语言规范明确禁止在 permits 列表中使用参数化类型，必须使用原始类型。

javadoc 在处理密封（sealed）泛型接口时会因 `permits` 子句中错误使用带类型参数的类名（如 `class`）而报错，但实际编译通过；根本原因在于 java 语言规范明确禁止在 `permits` 列表中使用参数化类型，必须使用原始类型。

Java 17 引入的密封类/接口机制（sealed / permits）为类型层次提供了强约束能力，但在与泛型结合时存在关键限制：permits 子句仅接受类型名（即原始类型），不支持任何形式的类型参数或类型实参。这意味着即使你的实现类本身是泛型的（如 class Class<T> implements Interface<T>），在 permits 中也必须写作 Class，而非 Class<T>。

✅ 正确写法如下：

package mypackage;

/**
 * 这是一个密封的泛型接口。唯一允许的实现类是 Class（原始类型）。
 */
public sealed interface Interface<T> permits Class {
    // 空接口，设计使然
}

package mypackage;

/**
 * 这是 Interface 的唯一允许实现——作为泛型类，它在实现时绑定类型参数。
 */
public final class Class<T> implements Interface<T> {
    // 空实现，设计使然
}

⚠️ 常见错误与说明：

Java Maven Common

Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。

下载

• ❌ sealed interface Interface<T> permits Class<T> → Javadoc（及部分 IDE 如 Eclipse）会解析失败，报错类似 '{' expected，因其将 <T> 视为语法错误；
• ✅ permits Class 是唯一合法形式：permits 描述的是可继承/实现的类或接口的声明名，而非其使用实例；
• 编译器在类型检查阶段会验证 Class<T> 是否确实实现了 Interface<T>，因此语义完整性不受影响；
• Eclipse 用户需注意：该问题在 Eclipse JDT 中长期存在未修复（Bug 576378），建议升级至最新版本或临时禁用 Javadoc 验证以规避误报。

? 总结：密封性（sealed/permits）关注的是类型系统的结构约束，而泛型关注的是类型参数的抽象与实例化，二者作用域不同，不可混用语法。始终在 permits 中使用原始类型名，并将泛型逻辑留给 implements 或 extends 子句完成——这是符合 Java 语言规范、兼容所有工具链（javac、Javadoc、IDE）的唯一健壮方案。

立即学习“Java免费学习笔记（深入）”；