关于goto的一个疑问

[ayanamiwww]

代码：

goto SECTION;

int a = 10;
.
.
.
SECTION:
//other code
.
.

这段代码编译的时候，就会报错，意思是 int a 的初始化被goto越过等等的意思。

--------------------------------------------------------
但是改成这样就没有问题
goto SECTION;

{
int a = 10;
.
.
.
}
SECTION:
//other code
.
.

代码都是一样的，加了一个括号就不会报错，请问为什么呢？

[ayanamiwww]

还有，当switch的时候也会出现类似的初始化被超越，也是加上{} 就可以，问什么呢？

以前看过这样的代码好像是正确的
int i;
{
int i = 0;
}

这个{}是不是代表另一个过程呢？怎么理解呢？

[iamwiner]

不是,只是作用域不同.
举个例子:

goto SECTION;

int a = 10;
.
.
.
SECTION:
{
//other code
}
a = 15;

编译时a的作用域是可以到下面的,但运行时跳过了定义a的这个语句,所以可能产生错误.

但打个{}就不同了,不会出现这种情况编译和运行时互相矛盾的错误!

[iamwiner]

明白了吗?实际上我也没有看过相关知识.
但我可以肯定{}只是代替一个作用域.不是什么过程
另外,你的第一种情况是可以举出让编译器可能出错的例子,但第二种情况却举不出这种错误的例子.

[iamwiner]

switch也是同理.打个{}变量定义的作用域只在{}内,不会出现到运行时才知道是否定义这种情况

[yafizyh]

加上{}之后，内部的变量成了局部变量。处了{}就没他了。

[iamwiner]

哦,我又想起了一个规则:作用域是在编译时确定的.

你的第一种情况在编译时不能确定作用域所以就错了^_^

[ayanamiwww]

谢谢你们的回复，大概明白，最好能讲得更深入一点。

[cut9]

编译器在编译的时候，要知道为变量分配的栈空间（不是堆空间,堆空间编译器不知道）.
比如：
栈分配：char a[10]. 可以
x= 5; char b[x]; 不可以.编译器不知道x是5(还没运行呢！)，不知道分配多少。

变量的栈空间都是在编译的时候分配的。

回到你的问题:

go to _selection;
int a = 10;
....
_selection:
....
编译器编译的时候，到了 go to _selection,它不知道该不该分配了。程序运行到这儿，跳转到
_selection, 如果分配了，释放是个问题。如果不分配，你又申明了这个变量。也就是说，这带来
一个模糊性。编译器不能解决。
switch的例子一样。

go to _selection;
{
int a = 10;
....
}
_selection:
....
加上 {}，编译器知道在{} 里头分配和释放，模糊性解决。PASS.

[StarsWu]

去看一下变量的作用域吧，在switch中是不能直接定义变量的，加了{}后就变成了{}内的局部变量了。

[poooorgun]

作用域问题，{}内定义的变量只在其内有效