欢迎来到 C++ 的世界!对于您的问题,答案在于一个名为“声明点”的概念。
>>int x = 1;
>>{ int x = x; } // garbage value of x
来自第:-3.3.1.1 节(C++ 标准草案)名称的声明点紧接在其完整声明符之后和其初始化程序(如果有)之前,除非如下所述。
int x = 12;
{ int x = x; }
这里; 'operator =' 是初始化器。你可以说'x'的声明点还没有达到,所以'x'的值是不确定的。
>>int const arr = 3;
>>{ int arr[arr]; } // i am told this is perfectly valid and declares an array of 3 ints !!
为什么?来自章节:-3.3.1.4(C++ 标准草案)非本地名称在隐藏它的本地名称的声明点之前保持可见。这里的声明点是在';' 特点。所以使用'arr'的早期可见值,即= 3。
此外,您可能希望知道以下内容是有效的:-
const int e = 2;
{ enum { e = e }; } // enum e = 2
来自章节:-Chapter-3.3.1.4(C++ 标准草案):- 枚举器的声明点紧跟在其枚举器定义之后。
但是,不要这样做
const int Spades = 1, Clubs = 2, Hearts = 3, Diamonds = 4;
enum Suits
{
Spades = Spades, // error
Clubs, // error
Hearts, // error
Diamonds // error
};
为什么?因为枚举数被导出到枚举的封闭范围。在上面的示例中,声明了枚举器 Spades、Clubs、Hearts 和 Diamonds。因为枚举器被导出到封闭范围,所以它们被认为具有全局范围。示例中的标识符已经在全局范围内定义。所以这是一个错误。
有关其他详细信息和陷阱 (:-)),请阅读 C++ 标准草案中的第 3.3 节“声明性区域和范围”,如果有兴趣,您可以从此处获取 pdf ( http://www.research.att ) .com/~bs/SC22-N-4411.pdf)。