c++包含构造函数和析构函数。这允许一种称为RAII(资源分配是初始化)的模式。基本上，您创建一个本地堆栈变量，创建堆栈变量的行为打开一个文件，分配内存，锁定一个互斥锁，或以其他方式获取一个稍后必须释放的资源。

当变量超出作用域时，析构函数将运行并释放资源。

C语言没有这个特性。但您仍然经常需要在函数开始时获取资源，并在结束时释放它们。

你的函数可能有一个或多个错误条件导致它提前返回。您不希望重复资源释放代码。解决方案是使用goto。

例子:

int
foo(const char *arg)
{
    char *argcopy = strdup(arg);

    if (!isvalid(argcopy))
        goto out1;

    FILE *myfile = fopen(argcopy, "r");
    if (myfile == NULL)
      goto out1;

    char bytes[10];
    if (fread(bytes, sizeof(bytes), 1, myfile) != sizeof(mybytes))
        goto out2;

    /* do some actual work */
    /* .... */
    /* end of actual work */

    out2:
    fclose(myfile);

    out1:
    free(argcopy);

    return 0;
 }

原论文应该被认为是“无条件GOTO被认为是有害的”。它特别提倡一种基于条件(if)和迭代(while)结构的编程形式，而不是早期代码常见的测试-跳转。Goto在某些语言或环境中仍然有用，因为这些语言或环境不存在适当的控制结构。

您可以使用它来打破深度嵌套循环，但大多数情况下，无需深度嵌套循环，代码可以重构得更干净。

在一个完美的世界里，我们永远不需要GOTO。然而，我们生活在一个不完美的世界。我们并没有包含我们所能想到的所有控制结构的编译器。有时我觉得使用GOTO比拼凑一个并不存在的控制结构更好。

最常见的(并不是说它很常见)是循环半结构。你总是执行第一部分，也许你执行剩下的部分，然后返回，再执行第一部分。当然，你可以在while循环中使用布尔标记来实现它，但我不喜欢这个答案，因为在我看来它不太清楚。当你看到这样的东西:

loop:
  GetSomeData;
  if GotData then
     Begin
        ProcessTheData;
        StoreTheResult;
        Goto Loop;
     End;

对我来说，这比

Repeat
  GetSomeData;
  Flag := GotData;
  if Flag then
    Begin
      ProcessTheData;
      StoreTheResult;
    End;
Until Not Flag;

有些时候

Function GotTheData;

Begin
  GetSomeData;
  Result := GotData;
End;

While GotTheData do
  Begin
    ProcessTheData;
    StoreTheResult;
  End;

不是一个可行的答案，我坚信代码应该是清晰的。如果我必须做一个注释来解释代码在做什么，我会考虑是否可以让代码更清晰，并去掉注释。

许多现代编程语言使用它们的编译器来强制限制GOTO的使用——这减少了潜在的风险。例如，c#不允许您使用GOTO从循环体外部跳转到循环体。文档中提到了限制。

这是GOTO有时比过去更安全的一个例子。

在某些情况下，GOTO的使用与提前从函数返回相同(即提前跳出循环)。然而，良好的形式是有争议的。

我唯一同意使用Goto的地方是当你需要处理错误时，每一个特定的错误点都需要特殊的处理。

例如，如果您正在获取资源并使用信号量或互斥，您必须按顺序获取它们，并且应该始终以相反的方式释放它们。

一些代码需要一种非常奇怪的模式来获取这些资源，并且您不能仅仅编写一个易于维护和理解的控制结构来正确处理这些资源的获取和释放以避免死锁。

在没有goto的情况下总是可以做得很好，但在这种情况下和其他一些情况下，goto实际上是更好的解决方案，主要是为了可读性和可维护性。

亚当