此代码是否会产生未定义的行为，或者它只是未指定的行为？

Question

假设我们有两个编译单元如下：

// a.cpp
extern int value2;
int value1 = value2 + 10;

// b.cpp
extern int value1;
int value2 = value1 + 10;

当我在VC2010上尝试它时，它首先将value1和value2初始化为零。是不是value1和value2动态初始化，默认初始化不适用于它们？

谢谢，

Answer 1

3.6.2 / 1表示“在进行任何其他初始化之前，具有静态存储持续时间（3.7.1）的对象应为零初始化（8.5）”。

所以你是对的，它们不是默认初始化的。但是它们是零初始化的，实际上int是同一个东西。对于类类型，它不一定是相同的。

那就是说，我不承诺这里的行为仅仅是初始化顺序未指定，因此一个变量最终为10，另一个变量最终为20，但未指定哪个是哪个。它可能在某些其他方面未定义，但我想不出任何。

Answer 2

在每次其他初始化发生之前，每个全局变量首先进行零初始化 此行为在3.6.2 [basic.start.init] / 2：

下描述

  

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

^{（这是来自C ++ 0x FDIS，但我相信C ++ 98标准也是如此。）}