6. goto语句

分支、循环都讲完了,现在只剩下最后一种影响控制流程的语句了,就是goto语句,实现无条件跳转。我们知道break只能跳出最内层的循环,如果在一个嵌套循环中遇到某个错误条件需要立即跳到循环之外的某个地方做出错处理,就可以用goto语句,例如:

for (...)
	for (...) {
		...
		if (出现错误条件)
			goto error;
	}
error:
	出错处理;

这里的error:叫做标号(Label),给标号起名字也遵循标识符的命名规则。事实上我们在第 4 节 “switch语句”学过的casedefault后面也是跟一个冒号,在语法结构中也起标号的作用。

goto语句过于强大了,从程序中的任何地方都可以无条件跳转到任何其它地方,只要给那个地方起个标号就行,唯一的限制是goto只能跳到同一个函数的某个标号处,而不能跳到别的函数里。所以,滥用goto语句会使程序的控制流程非常复杂,可读性很差。著名的计算机科学家Edsger W. Dijkstra最早指出编程语言中goto语句的危害,提倡取消goto语句。goto语句不是必须存在的,显然可以用别的办法替代,比如上面的代码段可以改写为:

int cond = 0; /* bool variable indicating error condition */
for (...) {
	for (...) {
		...
		if (出现错误条件) {
			cond = 1;
			break;
		}
	}
	if (cond)
		break;
}
if (cond)
	出错处理;

通常goto语句只用于在函数末尾做出错处理(例如释放先前分配的资源、恢复先前改动过的全局变量等),函数中任何地方出现了错误条件都可以立即跳到函数末尾,处理完之后函数返回。比较上面两种写法,用goto语句还是方便很多。但是除了这个用途之外,在任何场合都不要轻易考虑使用goto语句。