我一直有一个印象，如果可能的话，永远不要使用goto。
然而，在前几天阅读libavcodec(它是用C编写的)时，我惊讶地注意到它的多种用法。
在支持循环和函数的语言中使用goto是否有优势?如果有，为什么?请提供一个具体的例子，清楚地说明使用goto的理由。
当前回答
如果有，为什么?
C语言没有多级/标记的中断，并不是所有的控制流都可以用C语言的迭代和决策原语轻松建模。Gotos对纠正这些缺陷大有帮助。
有时使用某种类型的标志变量来实现一种伪多级中断更清晰，但它并不总是优于goto(至少goto可以轻松地确定控制的位置，不像标志变量)，有时您只是不想为了避免goto而付出旗帜/其他扭曲的性能代价。
Libavcodec是一段性能敏感的代码。控制流的直接表达可能是优先考虑的，因为它往往会运行得更好。
其他回答
# ifdef TONGUE_IN_CHEEK
Perl有一个goto，它允许您实现穷人的尾部调用。: - p
sub factorial {
my ($n, $acc) = (@_, 1);
return $acc if $n < 1;
@_ = ($n - 1, $acc * $n);
goto &factorial;
}
# endif
好吧，所以这和C的goto没有关系。更重要的是，我同意其他关于使用goto进行清理或实现Duff的设备等的评论。这都是关于利用，而不是滥用。
(同样的注释可以应用于longjmp、异常、call/cc等等——它们有合法的用途，但很容易被滥用。例如，在完全非异常的情况下，抛出异常纯粹是为了转义深度嵌套的控制结构。)
如果有，为什么?
C语言没有多级/标记的中断，并不是所有的控制流都可以用C语言的迭代和决策原语轻松建模。Gotos对纠正这些缺陷大有帮助。
有时使用某种类型的标志变量来实现一种伪多级中断更清晰，但它并不总是优于goto(至少goto可以轻松地确定控制的位置，不像标志变量)，有时您只是不想为了避免goto而付出旗帜/其他扭曲的性能代价。
Libavcodec是一段性能敏感的代码。控制流的直接表达可能是优先考虑的，因为它往往会运行得更好。
这些年来，我写了不少汇编语言。最终，每一种高级语言都被编译成gotos。好吧，叫它们“分支”或“跳跃”或其他什么，但它们是gotos。有人能写无goto汇编器吗?
当然，你可以向Fortran、C或BASIC程序员指出，gotos的泛滥就像意大利肉酱面一样。然而，答案不是避免它们，而是小心地使用它们。
刀可以用来准备食物，解救某人，或者杀死某人。我们会因为害怕后者而没有刀吗?同样，“后向”:不小心使用它会碍事，小心使用它会有所帮助。
当然，可以使用GOTO，但是有一件事比代码风格更重要，或者在使用它时，您必须考虑到代码是否可读:其中的代码可能不像您想象的那样健壮。
例如，看看下面的两个代码片段:
If A <> 0 Then A = 0 EndIf
Write("Value of A:" + A)
GOTO的等效代码
If A == 0 Then GOTO FINAL EndIf
A = 0
FINAL:
Write("Value of A:" + A)
我们首先想到的是这两段代码的结果将是“Value of A: 0”(当然，我们假设执行没有并行性)
这是不正确的:在第一个示例中，A将始终为0，但在第二个示例中(使用GOTO语句)A可能不是0。为什么?
原因是，从程序的另一点，我可以插入一个GOTO FINAL而不控制a的值。
这个例子非常明显，但是随着程序变得越来越复杂，看到这些东西的难度也增加了。
相关材料可以在Dijkstra先生的著名文章“反对GO TO声明的案例”中找到
关于goto语句，它们的合法用途，以及可以用来代替“有道德的goto语句”但也可以像goto语句一样容易被滥用的替代结构，最深思熟虑和彻底的讨论是Donald Knuth的文章“使用goto语句的结构化编程”，在1974年12月的Computing Surveys(卷6,no. 1)中。4. 第261 - 301页)。
毫不奇怪，这篇39年前的论文的某些方面已经过时了:处理能力的数量级增长使得Knuth的一些性能改进对于中等规模的问题来说并不明显，从那时起就发明了新的编程语言结构。(例如，try-catch块包含Zahn的Construct，尽管它们很少以这种方式使用。)但Knuth涵盖了争论的方方面面，在任何人再次重复这个问题之前，都应该要求阅读。
