内置对象/库的静态初始化顺序惨败

Question

如果我有一些静态初始化的变量（在main 开始之前），我是否可以随意使用这些构造函数中的任何内置内容，例如<iostream> 或<vector>？

“静态初始化顺序失败”的发生是因为静态变量的初始化顺序（在不同的翻译单元中）未定义。

如果是良性的，比如

std::cout << "Hello" << std::endl;

碰巧依赖<iostream> 中的一些静态变量被提前初始化？ （我不是说确实如此，但假设确实如此。）内置库中的这些静态变量在我自己的静态变量之前初始化是什么意思？就像里面说"Person.cpp" 或其他什么。

编辑： Is std::cout guaranteed to be initialized? 被建议作为此问题的副本。但是，我认为我的问题范围更广，因为它询问的是 any 标准内置库，而不仅仅是 <iostream>。

Answer 1

C++ 标准没有对程序在 main 开始之前或 main 完成之后的行为做出强有力的陈述。

根据经验，我发现 C++ 运行时破坏了一些对象（例如用于管理 std::mutex 的资源）的许多问题，这在复杂类型的破坏中造成了死锁。

我会推荐以下静态模式

C++ 按照执行顺序在函数中创建声明为静态的对象。这留下了一个模式，可以确保对象在需要时存在。

   AnObject * AnObject::getInstance() {
       static AnObject a;
       return &a;
   }

这应该被执行以获取全局，并将在调用getInstance() 时发生。

C++ 11 以上

此代码保证是线程安全的，如果多个执行线程到达getInstance，则只有一个将构造对象，其余的将等待。

预 C++ 11

创建此模式会用线程安全问题替换定义不明确的顺序。

幸运的是，可以在 main 中创建一个临界区/互斥体原语，它可以进行仲裁。

在某些操作系统（例如 InitializeCriticalSection 和 Windows）中，这些锁可以在 main 作为静态变量之前安全地创建。

   AnObject * AnObject::getInstance() {
       EnterCriticalSection( &aObjectcrit );
       static AnObject a;
       LeaveCriticalSection( &aObjectcrit );
       return &a;
   }

假设您在调用此函数时或之前已初始化 aObjectcrit。

这种模式的结果是洋葱构造的一种形式，其中对象按照需要的顺序被需要，当程序退出时，它们会按照创建时的相反顺序被销毁。

Answer 2

您混淆了对象 (std::cout) 和类型 (std::vector)。前者被链接问题所覆盖，后者是一种类型。静态初始化适用于对象，但不适用于类型。