多线程下Meyers Singleton作为类成员使用崩溃问题排查

让我们一步步拆解你遇到的两个核心问题，以及对应的修复方式：

1. 致命的Meyers单例语法错误 #

你写的static Data data();这行代码完全不是创建静态Data对象——它实际是声明了一个名为data、返回Data类型的无参函数！这会导致GetInstance()返回的是函数的引用（而非Data对象的引用），单线程下可能因为编译器的巧合兼容没立刻崩溃，但多线程下必然触发未定义行为。

正确的Meyers单例写法是去掉括号，直接定义静态对象：

static Data &GetInstance() {
    static Data data; // 这里没有括号！
    return data;
}

2. 多线程下的对象生命周期冲突 #

你使用了pthread_detach让子线程脱离主线程控制，但主线程可能在子线程还没完成工作时就提前退出了。当主线程退出时，全局/静态对象（包括Meyers单例的data）会被自动销毁，此时如果还有子线程在访问Worker里的data_引用（指向已销毁的Data对象），就会直接触发段错误。

修复生命周期问题的两种方案： #

• 推荐方案：等待所有子线程完成后再退出主线程
  放弃pthread_detach，改用pthread_join阻塞主线程，直到所有子线程都执行完毕，确保单例对象在所有线程都不再使用后才被销毁：

  pthread_t t[3] = {0};
  for (int i = 0; i < 3; i++) {
      pthread_create(&t[i], NULL, do_work, NULL);
  }
  // 等待所有子线程结束
  for (int i = 0; i < 3; i++) {
      pthread_join(t[i], NULL);
  }
  

• 备选方案：避免单例被自动销毁（不推荐）
  如果必须使用detach线程，可以把单例改成动态分配（比如static Data* data = new Data();），这样对象不会自动销毁，但会造成内存泄漏，仅适用于特殊场景。

额外的小问题修正 #

你的Worker::work()函数缺少返回值类型，C++中默认会当作int返回，这也是潜在的未定义行为，需要补充void：

void work() {cout << "working on data " << &data_ << endl;}

另外，打印引用本身会调用operator<<，而你没有为Data定义这个运算符，应该打印引用的地址&data_来验证单例的唯一性。

修正后的完整可运行代码 #

#include <iostream>
#include <pthread.h>

using namespace std;

class Data {
public:
    static Data &GetInstance() {
        static Data data; // 修正：正确创建静态单例对象
        return data;
    }
private:
    Data() {cout << "Create data" << endl;}
    ~Data() {cout << "Destroy data" << endl;}
    Data(const Data &) = delete; // 禁用拷贝构造，强化单例特性
    Data &operator=(const Data &) = delete; // 禁用赋值运算符
};

class Worker {
public:
    Worker() : data_(Data::GetInstance()) {}
    void work() { // 修正：添加返回值类型
        cout << "working on data " << &data_ << endl; // 修正：打印对象地址
    }
private:
    Data &data_;
};

void* do_work(void* arg) {
    Worker *worker = new Worker();
    worker->work();
    delete worker;
    pthread_exit(NULL);
}

int main() {
    pthread_t t[3] = {0};
    for (int i = 0; i < 3; i++) {
        pthread_create(&t[i], NULL, do_work, NULL);
    }
    // 等待所有子线程完成
    for (int i = 0; i < 3; i++) {
        pthread_join(t[i], NULL);
    }
    return 0;
}

运行这段代码后，你会得到预期的输出：

Create data
working on data 0xXXXXXXXXXXXX
working on data 0xXXXXXXXXXXXX
working on data 0xXXXXXXXXXXXX
Destroy data

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