重访数据抽象(On Understanding Data Abstraction Revisited)

对象和抽象数据类型(ADTs)是两种不同的数据抽象形式。它们都可以用来实现不具有复杂方法的简单抽象,但是对象具有扩展性而ADTs易于验证。在实现具有复杂操作(比如,比较或者组合操作)的抽象时,二者之间就会出现显著的区别。对象接口支持同样级别的灵活性,但是常常需要在接口简单性和效率之间做个权衡。抽象数据类型支持干净的接口、优化和验证,但是不允许对抽象进行混合和扩展。