初始化具有不确定值的对象

Question

以下是否会调用未定义的行为？

int x;
int i = x;

参考C++03

(4.1/1) 如果左值引用的对象不是 T 类型的对象 并且不是从 T 派生的类型的对象，或者如果该对象是 未初始化，需要此转换的程序已 未定义的行为。

编辑： 然而，从（3.3.1/1）开始，一个对象可以用它自己的不确定值初始化，为什么呢？ IE

int x = x; //not an undefined behaviour

Answer 1

是的，因为您正在读取未初始化且未分配的变量 (x) 的值。

Answer 2

正如您的引用中所述，如果 x 未初始化，则它是未定义的。

int x; // 0 initialized
int i = x;

int main() {
  int z; // not initialized
  int k = z; // UB
}

Answer 3

唯一要记住的是，这没关系：

static int x;
int j = x;

但你的例子却不行。

Answer 4

它调用完美定义的行为。无论 x 在堆栈上分配时的垃圾值是什么，都将按原样分配给 i。

但是，根据您的编译器，您可能会收到有关引用未初始化变量的编译时警告。

Answer 5

int x = x; //不是未定义的行为

错误。