问为什么在Python中使用抽象基类？

EN

简短版本

ABC在客户端和实现的类之间提供了更高级别的语义契约。

长版本

在类和它的调用者之间有一个协定。这个类承诺做某些事情，并具有某些属性。

合同有不同的层次。

在很低的级别上，协定可能包括方法的名称或其参数的数量。

在静态类型的语言中，该约定实际上是由编译器执行的。在Python语言中，您可以使用EAFP或类型自检来确认未知对象是否满足预期的约定。

但在合同中也有更高级别的语义承诺。

例如，如果有一个__str__()方法，它应该返回对象的字符串表示形式。它可以删除对象的所有内容，提交事务，并从打印机中打印出一个空白页面……但对于它应该做什么有一个共同的理解，如Python手册中所述。

这是一个特例，手册中描述了语义契约。print()方法应该做什么？它应该将对象写到打印机还是屏幕上的一行，或者其他什么？这取决于-你需要在这里阅读评论来理解完整的合同。一段简单地检查print()方法是否存在的客户端代码已经确认了约定的一部分-可以进行方法调用，但没有就调用的更高级别语义达成一致。

定义抽象基类( Abstract Base Class，ABC)是在类实现者和调用者之间产生协定的一种方式。它不仅仅是一个方法名称的列表，而是对这些方法应该做什么的共同理解。如果从这个ABC继承，您将承诺遵循注释中描述的所有规则，包括print()方法的语义。

与静态类型相比，Python的鸭子类型在灵活性方面有很多优势，但它并不能解决所有问题。ABC提供了介于Python的自由形式和静态类型语言的束缚和约束之间的中间解决方案。