构造法解决抽象函数问题