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

水深无声 2022-09-20 09:19 90阅读 0赞

[http://ourjs.com/detail/52ce07eb2caee88b29000002][http_ourjs.com_detail_52ce07eb2caee88b29000002]

**原文**   [stackoverflow.com][]

当我学C语言时，老师整天告诉我：“不要使用goto, 这是一个坏习惯， 这种写法很烂，而且很危险！”等等。  
  
但是为什么那么多内核程序员那么喜欢用goto呢？在这段linux内核  [https://github.com/torvalds/linux/blob/master/kernel/sched/clock.c][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][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][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 ][Worse Is Better]的观点。

[http_ourjs.com_detail_52ce07eb2caee88b29000002]: http://ourjs.com/detail/52ce07eb2caee88b29000002
[stackoverflow.com]: http://stackoverflow.com/questions/13001067/why-do-some-kernel-programmers-use-goto-instead-of-simple-while-loops?utm_source=ourjs.com
[https_github.com_torvalds_linux_blob_master_kernel_sched_clock.c]: https://github.com/torvalds/linux/blob/master/kernel/sched/clock.c
[http_lxr.linux.no_linux_v3.12.6_fs_open.c_L464]: http://lxr.linux.no/linux+v3.12.6/fs/open.c#L464
[http_www.u.arizona.edu_rubinson_copyright_violations_Go_To_Considered_Harmful.html]: http://www.u.arizona.edu/~rubinson/copyright_violations/Go_To_Considered_Harmful.html
[Worse Is Better]: http://ourjs.com/detail/527d00ef6a39cfe81c000004