为何不能将带引用捕获的Lambda传给std::thread？Timer类异常排查

问题1：为何不能将带有引用捕获的Lambda表达式传递给std::thread构造函数？ #

• 核心问题：引用捕获的变量易出现生命周期不匹配，引发悬空引用
  std::thread会把传入的可调用对象（比如Lambda）复制到线程的内部存储中，而线程的执行时机是不确定的——可能在原变量销毁后才启动执行。如果Lambda通过引用捕获了局部变量（比如当前函数的栈变量、构造函数的参数等），当原变量的生命周期结束（比如函数返回、构造函数执行完毕），Lambda中的引用就会变成悬空引用，此时线程访问该引用会触发未定义行为（程序崩溃、输出异常、无输出等）。

• 即使变量生命周期看似足够，仍有隐性风险
  就算你确保原变量在线程执行期间不会销毁，引用捕获也可能带来竞态条件（比如其他线程修改变量）、调度延迟导致的意外行为等问题，让程序逻辑变得不可预测。因此除非能100%保证引用的变量生命周期覆盖线程的整个执行周期（比如捕获全局变量、静态变量，或用std::ref包装并确保对象存活），否则不建议给std::thread传递带引用捕获的Lambda。

问题2：timer类仅输出"hello from 1"的原因及修复 #

问题根源 #

你的timer构造函数中，Lambda用[&]引用捕获了构造函数的参数period和callback，但这些参数都是构造函数的局部变量（包括右值引用参数C&& callback）。当timer对象（比如t1、t2）构造完成后，构造函数的参数会立即销毁，此时线程中的Lambda持有的就是悬空引用：

• t1可能是线程刚好在参数销毁前执行了callback()，侥幸输出了结果；
• t2的线程执行时callback已经销毁，访问悬空引用触发未定义行为，因此没有输出（甚至可能导致程序崩溃）。

修复方案 #

需要将period和callback的生命周期与timer对象绑定，或在Lambda中捕获它们的副本，而非引用。以下是两种可行的修复方式：

方式1：将参数保存为类成员变量，Lambda捕获this

#include <chrono>
#include <thread>
#include <iostream>

template<typename D, typename C>
class timer
{
private:
    D m_period;
    C m_callback;
public:
    timer(D period, C&& callback)
        : m_period(std::move(period)), m_callback(std::move(callback))
    {
        std::thread t{[this](){
            std::this_thread::sleep_for(m_period);
            m_callback();
        }};

        t.detach();
    }
};

int main()
{
    timer t1(std::chrono::seconds(2), [](){
        std::cout << "hello from 1\n";
    });

    timer t2(std::chrono::seconds(3), [](){
        std::cout << "hello from 2\n";
    });

    std::this_thread::sleep_for(std::chrono::seconds(5));
}

方式2：Lambda按值捕获参数（适合参数拷贝成本低的场景）

#include <chrono>
#include <thread>
#include <iostream>

template<typename D, typename C>
class timer
{
public:
    timer(D period, C&& callback)
    {
        // 用std::move转移参数所有权，避免不必要的拷贝
        std::thread t{[period = std::move(period), callback = std::move(callback)](){
            std::this_thread::sleep_for(period);
            callback();
        }};

        t.detach();
    }
};

int main()
{
    timer t1(std::chrono::seconds(2), [](){
        std::cout << "hello from 1\n";
    });

    timer t2(std::chrono::seconds(3), [](){
        std::cout << "hello from 2\n";
    });

    std::this_thread::sleep_for(std::chrono::seconds(5));
}

说明 #

两种方式都能确保线程执行时period和callback有效：

• 方式1通过类成员变量绑定生命周期，timer对象存活期间，成员变量始终有效；
• 方式2直接将参数拷贝到Lambda内部，Lambda的副本会被std::thread复制到线程存储中，独立于原构造函数的参数生命周期。

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