抽象函数的九种构造