为什么新变量的初始化本身有效？

Question

考虑一些代码：

#include <iostream>

int main()
{
    using std::cout;
    int a=3;
    cout << "a="<<a<<"\n";

    {
        int a=a;
        cout << "new a = " << a << "\n";
        a=5;
        cout << "a = " << a << "\n";
    }
    cout << "old a = " << a << "\n";
}

我希望它可以打印，

a=3
new a = 3
changed a = 5
old a = 3

但是我得到的实际上似乎在第二行中说new A = 0。我认为它可以像类构造函数中的初始化列表一样工作，在该类别的构造函数中可以写作，

C::C(int a) : a(a) {}

但由于某种原因，这是不同的。首先，完全删除外部代码不会导致汇编错误。因此，我假设int a = a;是有效的。打开所有编译器警告会导致这一点：

test.cpp: In function ‘int main()’:
test.cpp:10:15: warning: ‘a’ is used uninitialized in this function
         int a=a;

所以我现在的问题：为什么这种语法完全有效？编译器为什么不说“未定义变量A”之类的话？

Answer 1

它在句法上有效，因为变量的声明点是在其初始评估之前的，并且该名称在此之后可用。这允许较少的狡猾初始化，例如

void *p = &p;

合法使用要初始化的变量的名称（而不是值）。

这在行为上是无效的，因为使用非初始化对象的值会产生不确定的行为。这不是需要诊断的错误（因为通常，很难或不可能分析程序流以查看是否已初始化对象），但是正如您指出的那样，许多编译器会对此类直接案例发出警告。