Java：静态检查两类子类组合是否实现指定operation()方法

如果使用Java 17及以上版本，**密封类（Sealed Classes）**配合switch表达式是最直接的编译时约束方案，能确保所有A1、A2的子类组合都必须实现operation()，缺任何一组都会触发编译错误。

步骤1：密封抽象类，限定所有子类 #

首先把A1和A2定义为密封类，明确指定它们的所有子类——这样编译器能知道所有可能的C1、C2类型：

// 密封A1，仅允许C1_1、C1_2作为子类
public sealed abstract class A1 permits C1_1, C1_2 {}
public final class C1_1 extends A1 {}
public final class C1_2 extends A1 {}

// 密封A2，仅允许C2_1、C2_2作为子类
public sealed abstract class A2 permits C2_1, C2_2 {}
public final class C2_1 extends A2 {}
public final class C2_2 extends A2 {}

步骤2：用switch表达式覆盖所有组合 #

创建一个处理类，通过嵌套switch表达式遍历所有C1和C2的组合，编译器会强制要求覆盖每一种可能的配对，未实现的组合会直接导致编译失败：

public class OperationHandler {
    public static void operation(A1 c1, A2 c2) {
        // switch表达式必须覆盖所有密封子类的组合，否则编译报错
        switch (c1) {
            case C1_1 c11 -> {
                switch (c2) {
                    case C2_1 c21 -> { /* 实现C1_1+C2_1的operation逻辑 */ }
                    case C2_2 c22 -> { /* 实现C1_1+C2_2的operation逻辑 */ }
                }
            }
            case C1_2 c12 -> {
                switch (c2) {
                    case C2_1 c21 -> { /* 实现C1_2+C2_1的operation逻辑 */ }
                    case C2_2 c22 -> { /* 实现C1_2+C2_2的operation逻辑 */ }
                }
            }
        }
    }
}

为什么这能满足要求？ #

• 新增A1或A2的子类时，必须先更新密封类的permits列表，否则编译器不允许创建子类。
• 更新permits后，switch表达式会因为缺少对应的case分支直接编译报错，强制你为新的组合实现operation()逻辑。

备选方案：注解处理器（兼容旧Java版本） #

如果用Java 17以下版本，可以自定义注解处理器：

1. 定义一个注解标记A1、A2的子类。
2. 编写注解处理器，扫描所有标记的子类，生成所有可能的组合。
3. 检查每一组组合是否存在对应的operation()实现，不存在则抛出编译错误。

这种方式需要额外开发注解处理器，但能在旧版本Java中实现编译时检查。

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