C++中静态对象的破坏顺序

Gal*_*man 49 c++ static destruction

我可以控制静态对象被破坏的顺序吗?有没有办法强制执行我想要的订单?例如,以某种方式指定我想要最后销毁某个对象,或者至少在另一个静态对象之后销毁?

小智 52

静态对象以与构造相反的顺序被破坏.施工顺序很难控制.您唯一可以确定的是,在同一编译单元中定义的两个对象将按定义的顺序构造.其他任何东西或多或少是随机的.

  • 如果您需要订单,有解决问题的方法:请参阅http://stackoverflow.com/questions/335369/finding-c-static-initialization-order-problems#335746 (11认同)
  • 我-1,因为这个答案并不是OP问题的真正答案. (3认同)
  • 从技术上讲,析构函数*的完成按照构造函数*完成的相反顺序发生.这在静态对象在另一个的构造函数期间初始化的情况下有所不同.参见C++ 14 [basic.start.term]/1 (3认同)

Hea*_*eek 25

对此的其他答案坚持认为无法完成.他们是对的,依据规范-但有一招,可以让你做到这一点.

仅创建一个单一的静态变量,它包含了所有其他的事情,你通常会做静态变量,像这样一类或结构的,:

class StaticVariables {
    public:
    StaticVariables(): pvar1(new Var1Type), pvar2(new Var2Type) { };
    ~StaticVariables();

    Var1Type *pvar1;
    Var2Type *pvar2;
};

static StaticVariables svars;
Run Code Online (Sandbox Code Playgroud)

您可以按照您需要的顺序创建变量,更重要的是,在构造函数和析构函数中以您需要的顺序销毁它们StaticVariables.要使其完全透明,您还可以创建对变量的静态引用,如下所示:

static Var1Type &var1(*svars.var1);
Run Code Online (Sandbox Code Playgroud)

Voilà - 完全控制.:-)那就是说,这是额外的工作,而且通常是不必要的.但是当必要时,了解它是非常有用的.


gim*_*mpf 12

简答:一般来说,没有.

稍微长一点的答案:对于单个翻译单元中的全局静态对象,初始化顺序是从上到下,销毁顺序完全相反.几个翻译单元之间的顺序是不确定的.

如果您确实需要特定订单,则需要自己完成.

  • 好家伙!当我写这篇文章时,我是否曾经困倦!即使我不知道我的意思:) (2认同)

Chr*_*isW 12

静态对象的反转方式与它们构造的顺序相反(例如,最后构造的对象最后被破坏),并且您可以使用第47项中描述的技术控制构造静态对象的顺序, " 在Meyers的书籍Effective C++中确保全局对象在被使用之前被初始化 " .

例如,以某种方式指定我想要最后销毁某个对象,或者至少在另一个静态注入之后?

确保它在另一个静态对象之前构造.

如何控制施工顺序?并非所有的静态都在同一个dll中.

我会忽略(为简单起见)它们不在同一个DLL中的事实.

我对Meyers第47项(长4页)的解释如下.假设你在这样的头文件中定义了global ...

//GlobalA.h
extern GlobalA globalA; //declare a global
Run Code Online (Sandbox Code Playgroud)

...添加一些代码到包含这样的文件......

//GlobalA.h
extern GlobalA globalA; //declare a global
class InitA
{
  static int refCount;
public:
  InitA();
  ~InitA();
};
static InitA initA;
Run Code Online (Sandbox Code Playgroud)

这样做的结果是包含GlobalA.h的任何文件(例如,定义第二个全局变量的GlobalB.cpp源文件)将定义InitA类的静态实例,该实例将在其中的任何其他内容之前构造.源文件(例如在第二个全局变量之前).

此InitA类具有静态引用计数器.当构造第一个InitA实例时,现在保证在构造GlobalB实例之前,InitA构造函数可以做任何事情来确保初始化globalA实例.


小智 5

在标准 C++ 中无法做到这一点,但如果您对特定编译器内部结构有很好的工作知识,则可能可以实现。

在 Visual C++ 中,指向静态 init 函数的指针位于.CRT$XI段(对于 C 类型静态 init)或.CRT$XC段(对于 C++ 类型静态 init)中。链接器收集所有声明并按字母顺序合并它们。您可以通过使用在适当的段中声明您的对象来控制静态初始化发生的顺序

#pragma init_seg
Run Code Online (Sandbox Code Playgroud)

例如,如果您希望在文件 B 之前创建文件 A 的对象:

文件 A.cpp:

#pragma init_seg(".CRT$XCB")
class A{}A;
Run Code Online (Sandbox Code Playgroud)

文件 B.cpp:

#pragma init_seg(".CRT$XCC")
class B{}B;
Run Code Online (Sandbox Code Playgroud)

.CRT$XCB在之前被合并.CRT$XCC。当 CRT 遍历静态 init 函数指针时,它将在文件 B 之前遇到文件 A。

在 Watcom 中,段是 XI,#pragma initialize 的变体可以控制构造:

#pragma initialize before library
#pragma initialize after library
#pragma initialize before user
Run Code Online (Sandbox Code Playgroud)

...查看文档了解更多信息