C++全局变量初始化顺序

Question

我不明白下面的代码示例做什么以及它是如何做的：

#include <stdio.h> 

int f(); 

int a = f(); // a exists just to call f 

int x = 22; 

int f() { 
    ++x; 
    return 123; // unimportant arbitrary number 
} 

int main() { 
    printf("%d\n", x); 
} 

当这样跑了打印23，这是直观的答案。

但是在C++中，全局变量是supposed to be按定义顺序初始化。这意味着a应在x之前初始化，因为它在x之前定义。如果是这种情况，那么函数f必须在x初始化之前调用，因为f的调用是a的定义的一部分。

如果fx初始化之前确实叫，这将意味着f将设法增加x - 其结果我真的不特定的（最有可能UB，或一些乱码值）。然后，a初始化后，x将被初始化为22，程序将打印出22。

很明显，这不是什么情况。但是，什么？代码实际上做了什么？

它肯定好像x设置为22a = f()前计算，但是这将意味着初始化的顺序是相反的（我也可能是错的什么初始化，或者当它发生）。

Answer 1

这个问题有点微妙;有关详细信息，请参阅C++ 11 3.6.2。

对我们来说重要的是，有“非本地变量与静态存储时间”（或通俗的说法“全局变量”）的初始化两个阶段：静态初始化阶段和动态初始化阶段。静态阶段首先出现。它看起来像这样：

int a = 0; 
int x = 22; 

动态初始化之后运行：

a = f(); 

的一点是，静态初始化不“跑”在所有 - 它仅由设置，在已知值编译时间，所以这些值在执行任何执行之前就已经设置好了。什么使初始化int x = 22;静态是初始化器是一个常量表达式。

---

在有些情况下动态初始化可以被提升到静止期（但并不一定）的情况下，但这不是这些案件之一，因为它不符合要求，即

初始化的动态版本不到其初始化

当这种情况发生吊装之前改变命名空间范围的任何其他对象的值，则允许如果没有发生，最终的初始值可能会不同。标准中有一个这样的“不确定”初始化的例子。

Answer 2

另外，考虑：

#include <iostream> 
using namespace std; 

int f(); 
int g(); 

int a = f(); 
int b = g(); 

int main() { 
     cout << a << " " << b; 
} 

int f() { 
     b++; 
     cout << "f" << endl; 
     return 1; 
} 

int g() { 
     cout << "g" << endl; 
     return 2; 
} 

的输出是：

f 
g 
1 2 

更换b = g();与b = 22;导致1 23进行打印。 Kerrek SB的回答解释了这是为什么。

Answer 3

您可以随时改写你的程序，因为这：

#include <stdio.h> 

int f(int x) { 
    ++x; 
    return x; 
} 

int main() { 
    printf("%d\n", f(22)); 
}