抽象数据类型（ADT）和面向对象编程（OOP）3.2规约