Java定义双向参数化类出现原始类型告警 能否正常使用无问题？

运行结论 #

你的代码可以正常编译运行，IDE给出的是泛型使用不规范的告警，不属于编译错误，不会直接阻断程序执行。
Java的泛型采用编译期类型擦除实现，只要你业务逻辑中没有错误的类型强制转换，即使存在原始类型使用的告警，编译生成的字节码也可以正常在JVM中运行。

告警原因解释 #

• 「参数化类'Etat'的原始使用」：你定义Transition类的泛型约束时，直接使用了带泛型参数的Etat类作为父类上限，但没有为Etat指定对应的泛型实参，属于原始类型（raw type）用法，不符合Java泛型的编码规范。
• 「作为原始类型'java.util.ArrayList'成员的'add(E)'调用未受检」：你在使用ArrayList存储Etat/Transition实例时，要么直接使用了没有指定泛型参数的原始类型ArrayList，要么存入的是原始类型的泛型类实例，编译器无法完成类型安全校验，因此抛出未受检调用告警。

修复方案 #

你的两个类属于循环泛型约束场景，补全泛型参数即可消除告警：

基础修复（通配符实现） #

public abstract class Etat<T extends Transition<?>> {}
public abstract class Transition<E extends Etat<?>> {}

后续使用ArrayList时也明确指定泛型类型，例如：

// 替换你原来的原始类型ArrayList定义
ArrayList<Etat<MyTransition>> etatList = new ArrayList<>();

严格类型约束修复（自限定泛型） #

如果需要更严格的类型绑定，避免后续类型误用，可以采用自限定写法：

public abstract class Etat<T extends Transition<E, T>, E extends Etat<T, E>> {}
public abstract class Transition<E extends Etat<T, E>, T extends Transition<E, T>> {}

注意事项 #

原始类型的泛型用法存在类型安全隐患：如果后续代码中出现错误的类型转换，编译期不会抛出错误提示，运行时才会触发ClassCastException，建议补全泛型参数消除所有告警，提前暴露类型问题。

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