C++静态POD初始化

Question

我有一个简单的 POD 实例

一个.hpp

class A {
    struct Zzz {
        A*  m_aPtr;
        int m_val;
    }

    static Zzz s_zzz;
};

a.cpp

A::Zzz A::s_zzz;

我希望 s_zzz.m_aPtr 和 s_zzz.m_val 都将在任何其他编译单元中的任何其他静态初始化之前初始化为零，并且由语言本身保证。 我是对的吗？

通常我为结构提供默认构造函数。 说

A::Zzz::Zzz() :
 m_aPtr(0),
 m_val(0)
{
}

它会产生初始化顺序问题还是引入编译器依赖性？

Answer 1

至少在 C++0x 中，您可以依赖在任何其他初始化代码运行之前执行的所有零初始化。

来自 C++0x FCD，部分[basic.start.init]

具有静态存储持续时间 (3.7.1) 或线程存储持续时间 (3.7.2) 的变量应在任何其他初始化发生之前进行零初始化 (8.5)。

如果您正在考虑从其他初始化代码使用此变量，那么显式构造函数将是一个大错误，因为它有时会与其他初始化代码混合运行，并覆盖其他初始化程序已经进行的任何更改。

Answer 2

我希望 s_zzz.m_aPtr 和 s_zzz.m_val 都将在任何其他编译单元中的任何其他静态初始化之前初始化为零，并且由语言本身保证。

它将被零初始化，因为它是命名空间范围内的静态生命周期变量。

零初始化发生在任何动态初始化之前（动态初始化的一个例子是当您进行一些显式初始化或类具有构造函数时）。

不同翻译单元之间的零初始化顺序没有定义，但没有任何方法可以检测或依赖它，因为它发生在其他任何事情之前，所以这无关紧要。

关于你的第 2 点，目前还不清楚你在问什么。

但是对于你的静态生命周期对象，效果只是它首先被初始化为零，然后在动态初始化期间你的构造函数被用来再次将它归零（尽管编译器可能足够聪明，可以优化掉多余的额外初始化）。

干杯 & hth.,

勘误表：Ben Voigt 提供了一个令人信服的例子，说明上面最后一段是错误的。 所以请无视。 构造函数的存在意味着对象可以在改变它的操作之前、之间或之后的某个时刻动态初始化，从而导致相当不可预测的结果......

Answer 3

1. 编译单元之间的静态初始化顺序无法保证（参见http://www.parashift.com/c++-faq-lite/ctors.html#faq-10.14 ）。

2. 不幸的是，如果它有一个构造函数，它将不再是一个 POD。

Answer 4

1. 静态数据始终初始化为零。
2. 不，它不应该引入任何初始化问题。

当应用程序加载到内存中时，静态区域被初始化为零。 这是在任何代码开始执行之前。