构造可导函数_解决抽象函数问题