它有时在按字符进行字符串处理时很方便。

想象一下这样一个printf式的例子:

for cur_char, next_char in sliding_window(input_string) {
    if cur_char == '%' {
        if next_char == '%' {
            cur_char_index += 1
            goto handle_literal
        }
        # Some additional logic
        if chars_should_be_handled_literally() {
            goto handle_literal
        }
        # Handle the format
    }
    # some other control characters
    else {
      handle_literal:
        # Complicated logic here
        # Maybe it's writing to an array for some OpenGL calls later or something,
        # all while modifying a bunch of local variables declared outside the loop
    }
}

您可以将goto handle_literal重构为一个函数调用，但如果它修改了几个不同的局部变量，则必须将引用传递给每个局部变量，除非您的语言支持可变闭包。如果您的逻辑使else case不起作用，那么您仍然必须在调用之后使用continue语句(可以说是goto的一种形式)以获得相同的语义。

我还在lexer中明智地使用了gotos，通常用于类似的情况。大多数时候你不需要它们，但在一些奇怪的情况下有它们很好。

这些年来，我写了不少汇编语言。最终，每一种高级语言都被编译成gotos。好吧，叫它们“分支”或“跳跃”或其他什么，但它们是gotos。有人能写无goto汇编器吗?

当然，你可以向Fortran、C或BASIC程序员指出，gotos的泛滥就像意大利肉酱面一样。然而，答案不是避免它们，而是小心地使用它们。

刀可以用来准备食物，解救某人，或者杀死某人。我们会因为害怕后者而没有刀吗?同样，“后向”:不小心使用它会碍事，小心使用它会有所帮助。

goto不好的一个原因是，除了编码风格之外，你可以用它来创建重叠但非嵌套的循环:

loop1:
  a
loop2:
  b
  if(cond1) goto loop1
  c
  if(cond2) goto loop2

这将创建一个奇怪的，但可能是合法的流控制结构，其中可能有(a, b, c, b, a, b, a, b, b，…)这样的序列，这让编译器黑客不高兴。显然，有许多聪明的优化技巧依赖于这种类型的结构不发生。(我应该检查一下我的龙书……)这样做的结果(使用一些编译器)可能是对包含gotos的代码没有进行其他优化。

如果你知道它只是“哦，顺便说一下”，恰好说服编译器发出更快的代码，那么它可能会很有用。就我个人而言，我更喜欢在使用像goto这样的技巧之前尝试向编译器解释什么是可能的，什么是不可能的，但可以说，我也可能在破解汇编程序之前尝试goto。

如果有，为什么?

C语言没有多级/标记的中断，并不是所有的控制流都可以用C语言的迭代和决策原语轻松建模。Gotos对纠正这些缺陷大有帮助。

有时使用某种类型的标志变量来实现一种伪多级中断更清晰，但它并不总是优于goto(至少goto可以轻松地确定控制的位置，不像标志变量)，有时您只是不想为了避免goto而付出旗帜/其他扭曲的性能代价。

Libavcodec是一段性能敏感的代码。控制流的直接表达可能是优先考虑的，因为它往往会运行得更好。

我发现do{} while(false)的用法完全令人反感。它可能会让我相信它在某些奇怪的情况下是必要的，但从来没有让我相信它是干净合理的代码。

如果必须执行这样的循环，为什么不显式地依赖标志变量呢?

for (stepfailed=0 ; ! stepfailed ; /*empty*/)

我们使用的goto规则是，goto可以跳转到函数中的单个退出清理点。在真正复杂的函数中，我们放松了这个规则，允许其他跳转。在这两种情况下，我们都避免了经常在错误代码检查中出现的深度嵌套的if语句，这有助于可读性和维护。