c++ - 静态变量的动态初始化阶段

Question

标准明确指出静态持续时间变量(命名空间范围和类静态成员)的动态初始化不必在执行 main 之前发生: “命名空间范围对象的动态初始化(8.5、9.4、12.1、12.6.1)是否在 main 的第一条语句之前完成是实现定义的。”是 3.6.2(3)动态初始化不是[总是？]如何实现的吗？有什么更好/更简单的方法来保证对象在使用前被初始化？

Answer 1

你的问题的答案在你引用的那句话之后的下一句(在 ISO/IEC 14882-2003 的 3.6.2 中)。

It is implementation-defined whetheror not the dynamic initialization(8.5, 9.4, 12.1, 12.6.1) of an objectof namespace scope is done before thefirst statement of main. If theinitialization is deferred to somepoint in time after the firststatement of main, it shall occurbefore the first use of any functionor object defined in the sametranslation unit as the object to beinitialized.

显然，要确保某些变量 X 已初始化，您只需在函数 main 中使用(直接或间接)在同一翻译单元中定义的任何函数或变量作为变量 X(例如，如果您在函数 main 中直接或间接使用 X，那么您可以确定它已经初始化)。

编辑:

如果除了保证您使用的变量已经初始化(它始终是 - 正如上面引用的标准文本所保证的那样)之外，您还想知道为什么标准包含在 之后可以延迟初始化的规定main 执行开始。

我的意思是如果问题也是:为什么不要求在 main 启动之前执行所有初始化？

嗯，这绝对不是关于动态链接 库的——在开始main 之前初始化它们的所有对象没有问题。此外，它与动态加载库(LoadLibrary/dlopen)无关——它们显然不在 C++ 标准的范围内(它们不是主题例如，一个定义规则，通常它们甚至可能不是 C++)。

理论上，此规定允许延迟初始化以避免不必要的运行时开销 - 例如除非您实际使用来自特定翻译单元(C++ 源文件)的某些函数或对象，否则您不必执行其运行时初始化。但是任何实现实际上都不太可能在运行时执行惰性初始化 - 多线程同步对于这种初始化具有挑战性，并且本身就是运行时开销。

但是 每个单独的实现实际做的是仅链接那些实际使用的模块(翻译单元)。因此，即使您链接了一些包含一些动态初始化对象的静态库(可能有副作用——比如文件创建或用户交互)，但不使用来自同一翻译单元的任何东西——实现也没有义务运行这个对象的初始化根本。因此，此条款允许避免在最终可执行文件中包含任何未使用的翻译单元 - 即使它们是程序的正式部分。