与抽象类型相关的操作 赋值:可以 实例化:不行 声明变量(参量):初级抽象类型可以,高阶类型不可以 声明类型:高阶类型只能用于声明类型,初级抽象类型即可以声明类型也可以声明变量。 操纵桥接(抽象层面的联系建立)