函数提升的具体