多型数据结构的两层含义

本文讨论了多型数据结构(polymophic data type)中“多型”的两层含义:一方面表现为数据类型的可变性;另一方面表现为操作的可变性。而贯穿在数据结构中不变的是数据间的关系。这样实质上是把操作做为了数据结构的更为有机的组成部分。基于这两种含义,我们可以通过数据类型具体化和操作的受限来得到次级的数据结构。若这级还有一定的可塑性,可再用上述方法得到再次级的数据结构。这样各种数据结构间层次更为清晰。