填空题 多态是类型理论的概念，指的是一个名字可以表示多个不同类的实例，只要他们具有某个共同的（）而且相关。

填空题 模块组合有若干种方式，（）可以视为模块组合的一种机制，它把若干个函数联系起来，构成更大规模的程序。

填空题 构造器主要是供类或对象本身之外的使用者用来创建（）实例的。