三,含导函数的抽象函数构造