C++闭包模板类多线程下因闭包类型不同出现异常问题排查

核心问题：悬垂引用导致的未定义行为 #

你的Thread类存在致命的悬垂引用问题：

• Thread类的成员m_closure是左值引用类型（C&）
• 构造函数接收右值引用（C&&）并将其绑定到m_closure上
• 构造Thread对象时传入的是临时lambda表达式（右值），构造完成后这个临时lambda会立即被销毁，导致m_closure变成悬垂引用

当新线程调用m_closure()时，实际访问的是已经被销毁的lambda对象，此时任何操作都是未定义行为：

• 若两个lambda类型相同，可能因内存尚未被覆盖偶然表现正常
• 若lambda类型不同，内存被快速覆盖就会触发段错误（比如你案例中thread2访问heapInt时，lambda对象已销毁，捕获的指针值被篡改，解引用垃圾地址导致崩溃）

你提到的线程栈段独立不是根本原因，真正的问题是闭包对象本身已经被销毁——哪怕捕获的是指针，lambda里存储指针的内存区域已经失效，读取到的是垃圾值，自然会引发段错误。

修复方案 #

最可靠的修复是让Thread类拥有闭包的所有权，将m_closure从引用类型改为值类型，这样闭包会被拷贝/移动到Thread对象内部，生命周期与Thread对象一致：

修改后的Thread类 #

// thread.h
#pragma once

#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>
#include <unistd.h>
#include <utility> // 用于std::move

template <typename C>
class Thread
{
private:
    C m_closure; // 改为值类型，拥有闭包所有权
    pthread_t m_thread;

public:
    // 接收右值，移动构造闭包
    Thread(C&& closure)
        : m_closure(std::move(closure)),
          m_thread()
    {}

    // 支持左值构造，适配命名闭包对象
    Thread(const C& closure)
        : m_closure(closure),
          m_thread()
    {}

    void start()
    {
        pthread_create(&m_thread, NULL, &Thread::threadFunction, (void *)this);
    }

    void join()
    {
        pthread_join(m_thread, NULL);
    }

private:
    void callbackOnInstance()
    {
        m_closure();
    }

    static void * threadFunction(void *);
};

template <typename C>
void * Thread<C>::threadFunction(void *caller)
{
    Thread<C> *callerObject = (Thread<C> *)caller;
    callerObject->callbackOnInstance();
    return nullptr;
}

测试代码无需修改 #

原main.cpp中的代码可以直接使用，临时lambda会被移动到Thread对象的m_closure中，生命周期与Thread对象一致，不会再出现悬垂引用问题。

额外说明 #

• 如果闭包无法被拷贝或移动，可以考虑用std::unique_ptr存储闭包，但这种场景较少见
• 永远避免在类中存储临时对象的引用，除非能确保该对象的生命周期长于类对象本身

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