告诉编译器不要对我的 __thread 变量执行析构函数

Question

我特别希望我的一个变量上没有构造函数和析构函数。是这样定义的

struct Dummy { ~Dummy() { assert(0); } };
__thread Dummy dumb;

真正的代码是零初始化的，并从线程本地内存池中抓取内存。该池在 main 结束时被销毁，因此该析构函数尝试访问已释放的内存池。

我可以解决这个问题，但我想以一种干净的方式来解决这个问题。 1）我可以告诉编译器在所有线程本地（或全局）变量之后释放我的池吗？还是在所有线程本地函数之前对其进行初始化，以便在适当的时间进行清理？或者更好 2) 根本不执行清理？我可以发誓 __thread 不允许构造函数/析构函数，所以我很惊讶这竟然跑了。

堆栈跟踪显示__run_exit_handlers 是调用析构函数的函数。它的父母是exit、__libc_start_main 和start。这发生在 clang 和 gcc 上

Answer 1

在我得到答案之前，任何阅读本文的人都应该知道这通常是一个非常糟糕的主意，应该被视为最后的手段。但是，OP想要的是可行的，所以这里是：

析构函数可能是 C++ 语言中最可靠的东西。所以如果你想阻止一个对象被执行，你必须自己管理对象的生命周期和内存。

我们可以只 new Dummy 对象而不是 delete 它，但这会泄漏堆内存，这是不可取的。相反，我们希望在与线程本地对象本身关联的内存中创建 Dummy 对象，但绝不要销毁。

为此，要走的路是std::aligned_storage和placement new：

struct Dummy { ~Dummy() { assert(0); } };

struct DummyWrapper {
  DummyWrapper() {
    // Create the dummy
    dummy_ptr = new (&dummy_data) Dummy();
  }

  // Intentionally leave the destructor defaulted-out
  ~DummyWrapper() = default;

  operator Dummy&() { return *dummy_ptr; }

  std::aligned_storage_t<sizeof(Dummy), alignof(Dummy)> dummy_data;
  Dummy* dummy_ptr;
};

__thread DummyWrapper dumb;

DummyWrapper 对象将被构造和销毁，这是没有办法的。但是，Dummy 对象只会被创建，而不会被销毁，但底层内存管理仍然保持正常。