标签:含导函数的抽象函数的构造