全局构造函数按什么顺序调用

Question

C++ 中全局对象的构造函数按什么顺序调用？

这个问题是在内存池的背景下出现的，该内存池管理某些消费者的内存需求。我看到了一个相当大的源代码，它在全局命名空间中定义了一些仅使用堆函数的消费者。应在不更改使用者的命名空间的情况下添加内存池。因此，我在全局命名空间中添加了一个池类和一个定义，并修改了每个消费者类以从类“thePool”的实例中获取内存。不幸的是，在执行结束时，当调用所有全局析构函数时，我遇到了一个很好的段错误。 gdb backtrace 显示到 pool::free 的分支产生了段错误。这对我来说听起来很奇怪。然而，我将其归结为一个非常简单的池/消费者示例，它位于全局命名空间中。不幸的是，这不会重现段错误——池的析构函数在消费者的所有析构函数之后被调用。这是纯粹的运气，还是对 g++ 4.5 的良好猜测？

这是简化的示例：

#include<iostream>

using namespace std;


struct pool {
  pool() {
    cout << "pool::pool" << endl;
  }
  ~pool() {
    cout << "pool::~pool" << endl;
  }
  void get() {
    cout << "pool::get" << endl;
  }
  void free() {
    cout << "pool::free" << endl;
  }
};

pool thePool;


struct consumer {
  ~consumer() {
    cout << "consumer::~consumer" << endl;
    thePool.free();
  }
  consumer() {
    cout << "consumer::consumer" << endl;
    thePool.get();
  }
};



consumer a,b;

int main() {
}

输出是：

pool::pool
consumer::consumer
pool::get
consumer::consumer
pool::get
consumer::~consumer
pool::free
consumer::~consumer
pool::free
pool::~pool

很好！正如我想要的那样。纯属运气？我的意思是池的 dtor 可以在销毁消费者 a 或 b 之前被调用，对吧？

要回答的问题是：“全局对象的缺点是按什么顺序调用的？”

Answer 1

全局变量按照声明的顺序进行初始化。因此它们的构造函数将按照它们初始化的顺序被调用。在一个翻译单元内确实如此。然而，语言规范并未定义跨多个翻译单元的初始化顺序。

它们的析构函数按照与通常初始化相反的顺序被调用。

Answer 2

翻译单元之间未定义 - 但按其他声明的顺序。