Static 程序启动时局部变量的初始化

Question

cppreference状态：

在块 scope 处使用说明符 static 或 thread_local (C++11 起)声明的变量具有 static 或线程 (C++11 起)存储持续时间，但在控件第一次通过它们的声明时被初始化（除非它们的初始化为零或constant-initialization ，可以在第一次进入块之前执行）。

我的问题是关于“除非”部分——你能给出 static 局部变量被零初始化和常量初始化的代码示例吗？ class 对象（例如MyClass obj; ）可以零初始化还是常量初始化？ 如果是这样，是否意味着它们的构造函数将在main()启动之前被调用？

Answer 1

你能给出 static 局部变量被零初始化和常量初始化的代码示例吗？

在下面给出的示例中，本地变量 static n满足常量初始化的两个条件，因此此处引用语句中的“除非”部分也成立。

int main()
{
     static const int i = 5; //both conditions for constant initialization are satisfied so that the "unless" part of your quoted statement also holds
}

---

变量或临时 object obj是常量初始化的，如果

• 它要么有一个初始化器，要么它的默认初始化导致执行一些初始化，并且

• 它的初始化全表达式是常量表达式，除了如果 obj 是一个 object，则该全表达式也可以为 obj 及其子对象调用 constexpr 构造函数，即使这些对象是非文字 class 类型 (C++11 起) .

---

class 对象（例如MyClass obj; ）可以零初始化还是常量初始化？

是的 class 对象也可以常量初始化。

struct Custom
{
    constexpr Custom()
    {
        
    }
};
int main()
{
     static constexpr Custom obj;//here also both conditions for constant initialization are satisfied
}

---

另请注意，初始化并不一定意味着必须使用构造函数。 例如，在#include <string> std::string s; int main(){} #include <string> std::string s; int main(){} s首先是零初始化，然后是默认初始化（使用默认构造函数）。 这意味着这里的第一个初始化步骤不使用任何构造函数。

Answer 2

根据这个： https://en.cppreference.com/w/cpp/language/zero_initialization

执行零初始化 [...] 对于每个具有 static [...] 存储持续时间且不受常量初始化约束的命名变量，在任何其他初始化之前。

所以在这种情况下

int main() {
    ...
    static MyClass a;
    ...
}

a零初始化可以在main()开始之前执行，但它的构造函数将按预期在main()内部调用。