全局变量的初始化是否与 function 内部变量 static 的初始化相同

Question

我试图找出 C++ 中所有不同类型的初始化。 现在我正在阅读这个链接： https://en.cppreference.com/w/cpp/language/zero_initialization

在这个链接的例子中，我们有这样一段代码：

std::string s; // zero-initialized to indeterminate value
               // then default-initialized to ""

据我了解，全局变量的初始化如下：

当我们编译代码时， s是零初始化的，它被放在二进制文件的.bss段中。 当我们运行二进制文件时（意味着 kernel 开始将二进制文件加载到 RAM 中）， s默认初始化为空字符串"" 。

现在，我们定义一个 function 如下：

void func()
{
    static std::string s;
}

如果我们第一次调用 function， s将被初始化，这是肯定的。 但是它是否仍然使用两种方法进行初始化：首先是零初始化，然后是默认初始化，就像第一个s一样？

顺便说一句，我正在使用编译器 GCC 7.5 研究 Ubuntu、X86_64 架构。 如果我的问题没有被 C++ 标准化，你可以在评论中告诉我，我会关闭这个问题。

Answer 1

但是还是用两种方法初始化：先零初始化，再默认初始化，和第一个s一样吗？

假设，“as-if”规则有效地强制编译器考虑这个变量的存在，是的。 标准摘录：

在以下情况下执行零初始化：

对于每个具有 static 的命名变量或不受常量初始化的线程本地存储持续时间，在任何其他初始化之前。

默认初始化在三种情况下执行：

当一个具有自动、static 或线程本地存储持续时间的变量声明为没有初始化程序时；

正如 molbdnilo 在评论中所说，如果您只对标准声称的行为感兴趣，则应完全避免考虑二进制文件、kernel 和此处的段。