gcc中的goto只能往后跳，不能往前跳吗？

pupilzeng

以前从来都不用goto语句的，今天突然心血来潮，而且在那个地方使用goto方便很多，于是就使用了goto,可居然编译都通不过。
后来我试了往后面跳，却又是可以通过编译的。
似乎ANSI C中没有这个规定吧？

小劲鸭

GOTO的指令是只看LABEL的， 和你往前往后跳没关系的，我老用GOTO了。

home_king

goto的跳转限于函数体内，请注意。

小劲鸭

最初由 home_king 发表
goto的跳转限于函数体内，请注意。

对对， 我以前在CLASS里加GOTO被教授给扣了分， 说没人在structure里用GOTO的， 但不知道什么原因

home_king

呵呵，在下只擅长C及汇编。
至于C++，爱莫能助，我自己也害怕这种类语言。

ps:apt-get的C++源码就看得我够呛得。:p

pupilzeng

原来我在变量定义之前加了label。
像这样

1. 
   
2. AGAIN:
   
3.           int i = 0;
   

复制代码

它就会报在int之前有语法错误。
但这是为什么？标准C中是这样规定的吗？

小劲鸭

LABEL不能加在定义前啦， 因为事实上定义一个变量是让系统分配一个内存空间给变量， 你在它前面加了LABEL， 让后用GOTO理论上是让系统再一次分配内存空间给这个变量， 这是不合法的啦。 LABEL必须要在定义之外。

pupilzeng

但是我如果不会goto到这的话，也就不会有问题呀
可它既然根本就不让我在变量定义前加label。
这个是不是有点霸道?

小劲鸭

应该这么说， 你加LABEL理论上可以， 因为LABEL事实上是不会被编译进去的， 可以作为COMMENT， 用来辨认，比如你在定义前加definition:, 但我不会这么做啦， 但你用GOTO来回旋到那个definition:就不合法了。因为定义只能一次。这个和汇编语言有点像， 每个PROGRAM都有至少两个主要的SECTIONS， data和code， data是用来定义用的， 而code是程序的主杆。

pupilzeng

不过确实在变量定义之前加label是没什么意义的，因为不能跳转到这里来。
可能编译器为稳妥起见吧，才这样规定的。