c – gcc中的模板的非延迟静态成员初始化？

我想知道如果我能够在多个编译单元之间实例化类时,在main()之前,静态成员(PWrap_T< T> :: p_s)将被初始化.尝试在主开始手动触摸每个编译单元的符号是不切实际的,但对我来说,其他任何操作都不会很清楚.

我已经用不同单位的bar()方法进行了测试,并且总是得到所需的结果,但是我需要知道什么时候/如果gcc会把地毯弄出来,是否可以防止.

此外,在库完成加载之前,所有来自DSO的静态成员将被初始化吗？

#include <iostream>
#include <deque>

struct P;
inline std::deque<P *> &ps() { static std::deque<P *> d; return d; }
void dump();

struct P {
  P(int id,char const *i) : id_(id),inf_(i) { ps().push_back(this); }
  void doStuff() { std::cout << id_ << " (" << inf_ << ")" << std::endl; }
  int  const        id_;
  char const *const inf_;
};

template <class T>
struct PWrap_T { static P p_s; };

// *** Can I guarantee this is done before main()? ***
template <class T>
P PWrap_T<T>::p_s(T::id(),T::desc());

#define PP(ID,DESC,NAME) /* semicolon must follow! */  
struct ppdef_##NAME  {                                   
  constexpr static int         id()   { return ID; }     
  constexpr static char const *desc() { return DESC; }   
};                                                       
PWrap_T<ppdef_##NAME> const NAME

// In a compilation unit apart from the template/macro header.
void dump() {
  std::cout << "[";
  for (P *pp : ps()) { std::cout << " " << pp->id_ << ":" << pp->inf_; }
  std::cout << " ]" << std::endl;
}

// In some compilation unit.
void bar(int cnt) {
  for (int i = 0; i < cnt; ++i) {
    PP(2,"description",pp);
    pp.p_s.doStuff();
  }
}

int main() {
  dump();
  PP(3,"another",pp2);
  bar(5);
  pp2.p_s.doStuff();
}

(C++11 §3.6.2/4 – [basic.start.init]:)

It is implementation-defined whether the dynamic initialization of a non-local variable with static storage duration is done before the ?rst statement of main. If the initialization is deferred to some point in time after the ?rst statement of main,it shall occur before the ?rst odr-use (3.2) of any function or variable defined in the same translation unit as the variable to be initialized.

… A non-local variable with static storage duration having initialization with side-effects must be initialized even if it is not odr-used (3.2,3.7.1).

此外,为模板成员的初始化尝试__attribute__((init_priority(int)))或__attribute__((constructor))产生警告：括号初始化器忽略后的属性,我不知道有关静态初始化的其他技巧.

提前感谢任何人谁可以给我一个答案这个！