软件构造 第三章第五节 ADT和OOP中的等价性