本地静态变量何时初始化

Question

我一直看到同一句话说静态变量只初始化一次，我也看到一句话说“当第一次进入块时”。

局部静态变量是否像其他全局变量一样在程序执行开始时初始化？还是局部静态变量与普通全局变量不同，只有在调用/到达它们的函数/块时才被初始化？

Answer 1

C17 6.2.4 (3)

一个对象，其标识符被声明为没有存储类说明符_Thread_local，或者 具有外部或内部链接或存储类说明符static，具有静态存储持续时间。 它的生命周期是程序的整个执行过程，它的存储值只初始化一次，之前 程序启动。

但是，请记住 as-if 规则。实现可以等待初始化变量，直到第一次调用该函数，因为在此之前符合规范的程序无法访问其值，因此无法区分。 p>

如果您的实现具有扩展或实现定义的行为，它们确实提供了在第一次调用函数之前访问变量的方法，那么这样的实现应该记录在这种情况下您是否会看到初始化值.在大多数情况下，我希望答案是“是”。

我熟悉的最常见的实现是从可执行文件加载初始值，或者将其放在启动时归零的 bss 部分中，就像对全局或文件范围 @987654324 所做的那样@变量。

Answer 2

虽然依赖于实现，但静态变量（任何范围）在加载可执行文件时都会被初始化。