Java：静态检查两对类是否实现某个功能

Question

假设我有两个抽象类

A1

和

A2

。有没有办法确保 (

C1

扩展

A1

,

C2

扩展

A2

) 的每个组合都定义了某个

operation()

？我想确保即使有两个子项的一种组合没有提供

operation()

的实现，代码也不会编译。

Answer 1

定义一个HasOperation接口

interface HasOperation {
    void operation();
}

让A1和A2实现HasOperation接口，但不实现操作方法

abstract class A1 implements HasOperation {
}

等等

A1和A2的每个具体子类都需要实现操作方法