为什么大神级程序的C语言代码里到处都是goto?

http://ourjs.com/detail/52ce07eb2caee88b29000002

原文   stackoverflow.com

当我学C语言时，老师整天告诉我：“不要使用goto, 这是一个坏习惯， 这种写法很烂，而且很危险！”等等。

但是为什么那么多内核程序员那么喜欢用goto呢？在这段linux内核  https://github.com/torvalds/linux/blob/master/kernel/sched/clock.c  代码里，我觉得可以用简单的一个while替换掉，如：

while(condition) {

} 

//或

do {

} while(condition);

注*这段代码来自torvalds的linux内核代码，其实不仅可以使用while，还有很多地方可以使用if () {} else {} 的结构代替，很多内核的其他文件也是如此，如 fs.open  http://lxr.linux.no/linux+v3.12.6/fs/open.c#L464

对此我很不理解，在某些情况下使用goto比while/do-while好吗？如果是的话，为什么呢？

by: musicmatze

回答一：

对于这个例子中，我估计是从原来SMP不安全(non-SMP-safe)的方式改成SMP的方式。使用goto语句对原来的代码改动量最小，引起潜在风险的概率最小。

我其实也不赞成你们用这种方式，但我认为绝对不要使用goto也是一种误导。在一个只会向前走，绝不会后退的函数里，使用goto绝对不会引起死循环，而且这种方式绝对是最简单最清楚的跳转方式。（如通过在清理代码和返回错误时使用）

by: R..

回答二：

历史：我们也许记得Dijkstra 在1968年写的 Goto Considered Harmful http://www.u.arizona.edu/~rubinson/copyright_violations/Go_To_Considered_Harmful.html， 现在快半个世纪过去了。外面已经很少看到goto了。

不过我们来分析一下这个例子，一个关于错误处理的，让我们用结构化的语法来写：

if (do_something() != ERR) {
    if (do_something2() != ERR) {
        if (do_something3() != ERR) {
            if (do_something4() != ERR) {
                ...

那么，换成goto呢？

if (do_something() == ERR)  // 一行
    goto error;             // |
if (do_something2() == ERR) // |
    goto error;             // |
if (do_something3() == ERR) // |
    goto error;             // V
if (do_something4() == ERR)   // 使用普通的平铺形式
    goto error;

我们看到这段代码都是平级的，不相互依辣的，明显goto的结构更好。

by: Dietrich Epp

注： 这也许从另一个角度诠释了 差点的更好Worse Is Better  的观点。