初始化顺序是否有保证

Question

我正在使用类似于以下代码部分的代码来进行一些初始化。我知道p<T>::i_的初始化是无序的。我相信h 是有序的，所以我应该能够推断出它的初始化顺序。鉴于p 的标头包含在h 的定义之前，是否可以保证@987654325 @会在h之前初始化？

struct helper
{
   template <typename T>
   helper(const T&, int i)
   {
      p<T>::i_::push_back(i);
   }
};
static helper h;

类 p 定义如下。

template <typename T>
struct p
{
   static std::vector<int> i_;
};
template <typename T>
std::vector<int> p<T>::i_;

Answer 1

具有静态存储持续时间的对象的初始化顺序在翻译单元之间是未定义的，并且在每个翻译单元内是连续的。

在您的特定情况下，事情更复杂，因为具有静态存储的对象之一是模板类的静态成员。这实际上意味着访问成员p<T>::i_ 的每个翻译单元将创建符号，并添加适当的初始化代码。稍后链接器将选择其中一个实例并保留它。即使看起来 p<T>::i_ 在您的翻译单元中定义之前 h，您也不知道链接器将保留p<T>::i_ 的哪个实例，这可能是一个不同的翻译单元，因此无法保证顺序。

一般来说，拥有全局对象是个坏主意，我建议您尝试在没有这些全局对象的情况下重新设计程序。

Answer 2

全局或命名空间范围内的对象在一个翻译单元中从上到下构建。未定义不同翻译单元之间的全局或命名空间级别的构建顺序。在翻译单元之间排序初始化的最合理方法是将对象包装在合适的访问器函数中，例如：

template <typename T>
something<T>& get() {
    static something<T> values;
    return value;
}

但是请注意，这在 C++03 中不是线程安全的（因为 C++03 无论如何都没有线程的概念）。它在 C++11 中是线程安全的。

Answer 3

不，不能保证。

但是你可以做的是：

template<typename T>
std::vector<int>& registry() {
    static std::vector<int> reg;
    return reg;
}

...
registry<T>().push_back(i);
...

更好的是避免在启动过程中做一些过于聪明的事情。

在main 开始之前或结束之后进行调试是一场真正的噩梦（而且 IMO 甚至没有在标准中 100% 覆盖）。简单的注册可能没问题，但永远不要做任何可能失败的事情。

多年来，我从这种方法转向显式初始化/关闭，并且从未回头。