C++中临时Lambda能否按引用传递？MSVC可用GCC不可用

这个问题挺典型的，刚好踩中了C++标准里的一个坑，还有不同编译器的行为差异——咱们一步步拆解来看：

首先给你拍板结论：C++标准里，把临时对象绑定到非const左值引用是未定义行为，你的代码刚好撞在了这里。MSVC能跑是因为它开了个非标准的“后门”，而GCC严格遵循标准，直接给你拦下来了。而且就算MSVC能跑，这里还藏着个致命的悬空引用问题，只是你没触发崩溃而已。

你的代码到底哪里出问题了？ #

先看你的start_work函数：

template <typename Functor>
void start_work(Functor &worker_fn) // 这里是【非const左值引用】
{
    worker_thread = std::thread([&](){ worker_fn(); });
}

调用的时候你传的是个临时Lambda：

start_work([do_work](int value){ do_work(value); });

临时对象（包括临时Lambda）本质是右值，C++标准明确规定：非const的左值引用不能绑定到右值。MSVC为了兼容一些老代码，默认开了个非标准扩展允许这么干，但GCC不买账，直接报错——这就是跨平台出问题的原因。

更要命的是，就算MSVC编译过了，你的线程里捕获的是worker_fn的引用，而临时Lambda在start_work函数执行完返回后就被销毁了，等线程真正执行的时候，这个引用已经变成了“悬空引用”，这属于彻头彻尾的未定义行为——今天没崩只是运气好，哪天崩了都找不到原因。

为什么编译器差异这么大？ #

• MSVC默认有个非标准扩展：允许临时对象绑定到非const左值引用，这是历史遗留的兼容做法，不符合C++标准。
• GCC默认严格遵守C++标准，直接拒绝这种危险的绑定，避免你写出埋雷的代码。

怎么改才正确？ #

给你几个靠谱的解决方案，按推荐程度排序：

1. 改用值传递（最安全，推荐） #

把start_work的参数改成值传递，线程里也按值捕获：

template <typename Functor>
void start_work(Functor worker_fn) // 值传递，临时Lambda会被拷贝进来
{
    worker_thread = std::thread([=](){ worker_fn(); }); // 按值捕获拷贝后的对象
}

这样一来，临时Lambda会被拷贝到函数参数里，线程捕获的是这个拷贝后的对象，完全不用担心生命周期问题，而且所有编译器都能正常编译，跨平台无压力。

2. 用std::ref显式包装（不推荐，除非你能控制生命周期） #

如果你非要用引用传递，可以用std::ref把临时Lambda包装成左值引用：

start_work(std::ref([do_work](int value){ do_work(value); }));

但要注意：这种方式依然解决不了悬空引用的问题！临时Lambda在start_work返回后还是会销毁，线程里的引用照样失效——除非你能保证临时对象的生命周期能覆盖线程的整个执行过程，否则别这么干。

3. 改用const左值引用或右值引用 #

如果你的Lambda不需要修改内部状态，可以把函数参数改成const左值引用（const左值引用是可以绑定临时对象的）：

template <typename Functor>
void start_work(const Functor &worker_fn)
{
    worker_thread = std::thread([&](){ worker_fn(); });
}

或者用右值引用，把临时Lambda的所有权转移到线程里：

template <typename Functor>
void start_work(Functor &&worker_fn)
{
    worker_thread = std::thread(std::move(worker_fn)); // 转移所有权，避免临时对象销毁
}

这两种方式也符合标准，能解决跨平台问题，具体选哪种看你的Lambda是否需要修改状态。

总结一下 #

临时Lambda就是个临时对象，按非const左值引用传递是不符合C++标准的，属于未定义行为。MSVC的编译通过只是依赖了非标准扩展，还隐藏了悬空引用的大坑。正确的做法是改用值传递或者右值引用，确保对象的生命周期能覆盖线程的执行周期，这样才能写出跨平台且安全的代码。

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