能否在std::function内部通过移动赋值替换自身？

你的问题核心在于：初始化std::function的lambda里并没有所谓的this指针——这个lambda是一个独立的匿名函数，还没被绑定到func上，自然无法通过*this来修改外层的std::function对象。要实现“首次调用执行初始化，之后替换为优化版本”的需求，我们只需要让lambda能访问到外层的func变量即可。

修改后的可编译代码 #

#include <iostream>
#include <functional>

int main() {
    // 先声明std::function对象，确保后续lambda能捕获到它
    std::function<void()> func;
    
    // 定义lambda并赋值给func，捕获func的引用
    func = [&func]() {
        std::cout << "a\n";
        // 将func替换为新的lambda，后续调用就会执行这个新版本
        func = std::move([]() {
            std::cout << "b\n";
        });
    };
    
    func(); // 输出a，同时替换func
    func(); // 输出b
    func(); // 输出b
}

关键细节说明 #

1. 先声明再赋值：必须先定义func变量，再创建lambda并赋值给它——这样lambda才能捕获到已经存在的func对象，避免捕获未初始化的引用。
2. 捕获方式：这里用引用捕获&func足够安全，因为func在main函数中的生命周期覆盖了所有调用场景。如果担心后续func被移动导致引用失效，也可以改用指针捕获：

   func = [func_ptr = &func]() {
       std::cout << "a\n";
       *func_ptr = std::move([]() { std::cout << "b\n"; });
   };
   

3. std::move的作用：替换时用std::move转移新lambda的所有权，避免不必要的拷贝操作，提升效率。

为什么原代码无法编译 #

原代码中，你试图在lambda里用*this来赋值，但这个lambda并不是std::function的成员函数，它没有隐含的this指针。同时，这个lambda是在初始化func的过程中创建的，此时它还没有被关联到func上，根本无法指代外层的std::function对象，所以编译器会报错“‘this未被lambda函数捕获’”。

内容的提问来源于stack exchange，提问作者j00hi