
臭名昭著的“goto”
在编程语言中很早就有 goto 关键字了。事实上,goto 起源于汇编语言的程序控制:“若条件
A 成立,则跳到这里;否则跳到那里”。如果阅读由编译器生成的最终的汇编代码,就会发
现程序控制里包含了许多跳转。(Java 编译器生成它自己的“汇编代码”,但是这个代码是运
行在 Java 虚拟机上的,而不是直接运行在 CPU 硬件上。)
goto 语句是在源码级上的跳转,这使其招致了不好的声誉。若一个程序总是从一个地方跳
到另一个地方,还有什么办法能识别程序的控制流程呢?随着 Edsger Dijkstra 著名的《Goto
considered harmful》论文的出版,众人开始痛斥 goto 的不是,甚至建议从关键字集合中扫
地出门。
这种情况下,通常中庸之道是最好的。真正的问题并不在于使用 goto,而在于 goto 的滥
用。而且在一些少见的情况下,goto 是组织控制流程的最佳手段。
尽管 goto 仍是 Java 的一个保留字,但并未在语言中得到正式的使用;Java 没有 goto。
然而,在 break 和 continue 这两个关键字的身上,我们仍然能看出一些 goto 的影子。
它并不属于一次跳转,而是中断循环语句的一种方法。之所以把它们纳入 goto 问题中一起
讨论,是由于它们使用了相同的机制:标签(label)。
“标签”是后面跟一个冒号的标识符,就象下面这样:
label1:
在 Java 中,标签起作用的唯一的地方是在迭代语句之前。在标签和迭代之间置入任何语句
都是不明智的。而在迭代之前设置标签的唯一理由是:我们希望在其中嵌套另一个循环或者
一个开关。这是由于 break 和 continue 关键字通常只中断当前循环,但若随同标签使用,它
们就会中断所有进行中的循环,转到标签所在的地方:
label1:
outer-iteration {
inner-iteration {
//...
break;
// 1
//...
continue; // 2
//...
continue label1;
// 3
//...
break label1; // 4