我们遇到了静态初始化顺序惊异的一些问题，我正在寻找一种方法来检查大量代码中可能出现的情况。有没有关于如何高效地做到这一点的建议？
编辑：我得到了一些解决静态初始化顺序问题的好答案，但那不是我的问题。我想知道如何找到受此问题影响的对象。 Evan的回答似乎是目前为止在这方面最好的答案；我认为我们不能使用valgrind，但我们可能有能够执行类似功能的内存分析工具。那只会捕获初始化顺序对于给定构建错误的问题，而且顺序可以随每个构建而改变。也许有一个静态分析工具可以捕获这个问题。我们的平台是运行在AIX上的IBM XLC/C++编译器。
首先，这只是一个临时的解决办法，因为您有一些全局变量需要摆脱，但目前还没有时间（您最终会摆脱它们的，不是吗？:-）
class A
{
public:
// Get the global instance abc
static A& getInstance_abc() // return a reference
{
static A instance_abc;
return instance_abc;
}
};
这将确保在第一次使用时初始化它，并在应用程序终止时销毁它。
C++11确保了这是线程安全的：
§6.7 [stmt.dcl] p4
如果控制同时进入声明并且正在初始化变量，则并发执行必须等待初始化完成。
但是，C++03没有正式保证静态函数对象的构造是线程安全的。因此，在技术上，getInstance_XXX() 方法必须受到关键部分的保护。好消息是，gcc作为编译器的一部分有一个显式补丁，即使存在线程也保证每个静态函数对象只会被初始化一次。
请注意：不要使用双重检查锁定模式试图避免锁定的成本。这在C++03中不起作用。
在创建时，没有问题，因为我们保证在可以使用之前就已经创建了它。
销毁后访问对象可能存在潜在问题。只有当您从另一个全局变量（我指非局部静态变量）的析构函数中访问对象时才会发生这种情况。
解决方案是确保您强制销毁顺序。
请记住，销毁顺序与构造顺序完全相反。因此，如果您在析构函数中访问对象，则必须保证该对象未被销毁。为此，您必须仅确保在调用对象构造之前已完全构造了对象。
class B
{
public:
static B& getInstance_Bglob;
{
static B instance_Bglob;
return instance_Bglob;;
}
~B()
{
A::getInstance_abc().doSomthing();
// The object abc is accessed from the destructor.
// Potential problem.
// You must guarantee that abc is destroyed after this object.
// To guarantee this you must make sure it is constructed first.
// To do this just access the object from the constructor.
}
B()
{
A::getInstance_abc();
// abc is now fully constructed.
// This means it was constructed before this object.
// This means it will be destroyed after this object.
// This means it is safe to use from the destructor.
}
};
我刚刚写了一些代码来追踪这个问题。我们有一个相当大的代码库（1000+个文件），在Windows/VC++ 2005上运行良好，但在Solaris/gcc上启动时会崩溃。 我编写了以下的.h文件：
#ifndef FIASCO_H
#define FIASCO_H
/////////////////////////////////////////////////////////////////////////////////////////////////////
// [WS 2010-07-30] Detect the infamous "Static initialization order fiasco"
// email warrenstevens --> [initials]@[firstnamelastname].com
// read --> http://www.parashift.com/c++-faq-lite/ctors.html#faq-10.12 if you haven't suffered
// To enable this feature --> define E-N-A-B-L-E-_-F-I-A-S-C-O-_-F-I-N-D-E-R, rebuild, and run
#define ENABLE_FIASCO_FINDER
/////////////////////////////////////////////////////////////////////////////////////////////////////
#ifdef ENABLE_FIASCO_FINDER
#include <iostream>
#include <fstream>
inline bool WriteFiasco(const std::string& fileName)
{
static int counter = 0;
++counter;
std::ofstream file;
file.open("FiascoFinder.txt", std::ios::out | std::ios::app);
file << "Starting to initialize file - number: [" << counter << "] filename: [" << fileName.c_str() << "]" << std::endl;
file.flush();
file.close();
return true;
}
// [WS 2010-07-30] If you get a name collision on the following line, your usage is likely incorrect
#define FIASCO_FINDER static const bool g_psuedoUniqueName = WriteFiasco(__FILE__);
#else // ENABLE_FIASCO_FINDER
// do nothing
#define FIASCO_FINDER
#endif // ENABLE_FIASCO_FINDER
#endif //FIASCO_H
在解决方案中的每个.cpp文件内，我添加了以下内容：
#include "PreCompiledHeader.h" // (which #include's the above file)
FIASCO_FINDER
#include "RegularIncludeOne.h"
#include "RegularIncludeTwo.h"
Starting to initialize file - number: [1] filename: [p:\\OneFile.cpp]
Starting to initialize file - number: [2] filename: [p:\\SecondFile.cpp]
Starting to initialize file - number: [3] filename: [p:\\ThirdFile.cpp]
[\s\S]*（整个文件）替换为#include "HeaderContainingTheMacro.h"\nFIASCO_FINDER\n$0。 $0是为了在放置前言后将整个文件放回原处。 - Antonio根据您使用的编译器，您可以在构造函数初始化代码处设置断点。在Visual C++中，这是_initterm函数，该函数给出要调用的函数列表的开始和结束指针。
然后进入每个函数以获取文件和函数名称（假设您已启用调试信息进行编译）。一旦您拥有了名称，就从函数中退出（返回到_initterm），并继续执行，直到_initterm退出。
这将提供给您所有静态初始化程序，而不仅仅是您代码中的初始化程序 - 这是获取详尽列表的最简单方法。您可以过滤掉那些您无法控制的初始化程序（例如第三方库中的初始化程序）。
其他编译器也适用这一理论，但函数名称和调试器的功能可能会有所改变。
编译器生成的代码基本上是“初始化”C++的代码。要找到这个代码/调用堆栈的简单方法是在构造函数中创建一个静态对象，其中包含对NULL进行解引用的内容 - 在调试器中断点并探索一下。MSVC编译器设置了一个函数指针表，可以迭代静态初始化。您应该能够访问此表并确定程序中发生的所有静态初始化。
也许可以使用Valgrind来查找未初始化内存的使用情况。解决“静态初始化顺序混乱”的最好方法是使用一个静态函数，该函数返回一个对象实例，就像这样：
class A {
public:
static X &getStatic() { static X my_static; return my_static; }
};
将所有全局对象替换为返回在函数中声明为静态的对象引用的全局函数。这不是线程安全的，因此如果您的应用程序是多线程的，您可能需要一些技巧，如pthread_once或全局锁。这将确保在使用之前初始化所有内容。
现在，要么您的程序可以正常工作（万岁！），要么它会陷入无限循环，因为您有一个循环依赖关系（需要重新设计），要么您继续解决下一个错误。
首先，您需要列出所有具有非平凡构造函数的静态对象列表。
在此基础上，您可以逐个处理它们，或者仅将它们全部替换为单例模式对象。
单例模式经常受到批评，但是懒惰的“按需”构建是一种相当简单的方法，可以解决现在和未来大部分问题。
旧的...
MyObject myObject
新的...
MyObject &myObject()
{
static MyObject myActualObject;
return myActualObject;
}
当然，如果你的应用程序是多线程的，这可能会给你带来比一开始更多的问题...
这些回答中有一些已经过时了。为了方便像我这样从搜索引擎来的人：在Linux和其他地方，可以通过Google的AddressSanitizer找到这个问题的实例。
AddressSanitizer是LLVM的一部分，从版本3.1开始，并且是GCC的一部分，从版本4.8开始
然后您可以执行以下操作：
$ g++ -fsanitize=address -g staticA.C staticB.C staticC.C -o static
$ ASAN_OPTIONS=check_initialization_order=true:strict_init_order=true ./static
=================================================================
==32208==ERROR: AddressSanitizer: initialization-order-fiasco on address ... at ...
#0 0x400f96 in firstClass::getValue() staticC.C:13
#1 0x400de1 in secondClass::secondClass() staticB.C:7
...
更多细节请参见此处： https://github.com/google/sanitizers/wiki/AddressSanitizerInitializationOrderFiasco