c++ - C++ 静态初始化在同一个回溯中出现两次是否正常？

Question

我正在尝试调试使用 GCC 编译的 C++ 程序，该程序在启动时卡住。 GCC mutex 保护函数的静态局部变量，似乎等待获取这样的锁是它卡住的原因。这是如何发生的相当令人困惑。第一个模块 A 的静态初始化发生(GCC 调用的 __static_init 函数在回溯中可见)，它调用具有静态局部变量的函数 Foo()。静态局部变量是构造函数调用了好几层函数的对象，然后回溯突然有几个??的，然后它在第二个模块B的静态初始化中(__static函数再次出现) ，然后调用 Foo()，但由于 Foo() 从未在第一次返回时本地静态变量上的互斥量仍然设置，因此它锁定。

一个静态初始化如何触发另一个？我的第一个理论是共享库——模块 A 将调用模块 B 中的某些函数，这将导致模块 B 加载，从而触发 B 的静态初始化，但事实并非如此。模块 A 根本不使用模块 B。所以我有第二个(也是可怕的)猜测。说:

1. 模块 A 使用一些模板化函数或模板化类中的函数，例如foo<int>::bar()

2. 模块 B 也使用 foo<int>::bar()

3. 模块 A 完全不依赖于模块 B

4. 在链接时，链接器有两个 foo<int>::bar() 实例，但这没关系，因为模板函数被标记为弱符号...

5. 在运行时，模块 A 调用 foo<int>::bar ，并且模块 B 的静态初始化被触发，即使模块 B 不依赖于模块 A!为什么？因为链接器决定在链接时使用模块 B 的 foo::bar 实例而不是模块 A 的实例。

这个特定场景是否有效？或者一个模块的静态初始化永远不会触发另一个模块中的静态初始化？

说明:GCC 自动创建互斥体来保护任何函数静态变量。我自己没有对互斥体做任何事情。这是 GCC 使函数静态变量线程安全的方法。

更新:我知道翻译单元之间没有定义静态初始化，我不应该依赖于命令。但我很好奇这是否是正常行为，可以作为调试问题的线索。编译器生成执行此操作的代码是否正常，或者它是否可能表示 GCC 中存在错误？

Answer 1

欢迎来到the "static initialization order fiasco" .您可能应该阅读整篇文章，因为它会(详细地)描述您如何遇到这个问题以及如何解决它。