短版本
ABCs在客户端和实现的类之间提供更高级别的语义契约。
长版本
一个类和它的调用者之间有一个契约。类承诺做某些事情并具有某些属性。
合同有不同的级别。
在非常低的水平,合同可能包括方法的名称或其数量的参数。
在静态类型的语言中,合同实际上将由编译器执行。在Python中,您可以使用EAFP或内省来确认未知对象满足此预期合同。
但在合同中也有更高层次的语义承诺。
例如,如果有__str __()方法,则需要返回对象的字符串表示形式。它可以删除对象的所有内容,提交事务和吐出一个空白页从打印机…但是有一个共同的理解,它应该做什么,在Python手册中描述。
这是一个特殊情况,语义合同在手册中描述。 print()方法应该做什么?应该将对象写入打印机还是将线写入屏幕,还是其他?这取决于 – 你需要阅读评论,以了解这里的完整合同。只是检查print()方法是否存在的一段客户端代码已经确认了合同的一部分 – 可以进行方法调用,但不是对调用的更高级语义有约定。
定义抽象基类(ABC)是在类实现者和调用者之间产生合同的一种方式。它不仅仅是方法名称的列表,而是对这些方法应该做什么的共同理解。如果你从这个ABC继承,你承诺遵循评论中描述的所有规则,包括print()方法的语义。
Python的鸭式类型在灵活性上比静态类型具有许多优点,但它不能解决所有的问题。 ABCs提供了Python的自由形式和静态类型语言的束缚和约束之间的中间解决方案。