要确保子类仅派生自单一指定超类型，是否应使用抽象类而非接口？

结论 #

这个依据是完全合理的，你完全可以将抽象类作为工具，约束子类仅能单次派生自对应超类型，这刚好契合了抽象类和接口的本质设计差异。

核心逻辑说明 #

• 接口的核心定位是描述行为契约/附加能力，设计上天然支持多实现，本身没有任何互斥约束能力。如果将Omnivore、Herbivore、Carnivore定义为接口，你无法从语法层面阻止开发人员写出class Test implements Herbivore, Carnivore这类违反业务规则的代码。
• 抽象类属于类的分支，在Java、C#等绝大多数主流面向对象语言中，都原生遵循「类单继承」规则，子类最多只能继承一个抽象父类，刚好匹配你要求的「三个超类型互斥、每个子类仅能选一个」的约束，相当于直接用语言原生特性把业务规则变成了编译级别的强制校验，比后续靠业务代码校验靠谱得多。

适用边界补充 #

• 上述结论仅适用于遵循「类单继承、接口多实现」规则的语言，如果是C++这类支持多类继承的语言，抽象类本身无法实现这个约束，需要配合其他语法规则实现。
• 如果这几个互斥超类型不需要包含任何公共实现代码，仅需要定义方法签名，你也可以选择「枚举类+类属性」的替代方案：比如定义枚举DietType包含OMNIVORE/HERBIVORE/CARNIVORE三个值，再给所有动物类加一个必填的DietType dietType成员属性，同样能实现仅能选一个的约束，还不会占用你唯一的类继承名额，灵活度更高。

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