对象的秘密生活

抽象数据类型是通过编写一种特殊的程序来实现的[…]，该程序根据可对其执行的操作来定义类型。

—— Barbara Liskov，使用抽象数据类型进行编程