C++ 中的 goto 语句用法

Question

我有一个funcA，我每毫秒调用一次。另一个funcB。我想使用 goto 语句。但是当我看流程时（当m_tempdata不是NULL时），打印"stage 2"之后，也是打印"cleanup starts"。通常，我希望在打印"stage 2" 后返回下一轮。我错了吗？

void ClassA::funcA()
{
    m_tempdata = m_freedata;

    printf("stage 1 \n");

    if (NULL == m_tempdata)
    {
        printf("going cleaning \n" );
        goto cleanup;
    }
    m_freedata = m_tempdata->next;

    printf("stage 2 \n");

cleanup: printf("cleanup starts \n");
    // ... some additional work todo
}

Answer 1

通常情况下，我希望在下一个打印“阶段 2”后返回 转动。我错了吗？

是的，你错了。

在标签没有跳转到的情况下，代码将直接跳转到它并继续。标签不是指令。它不会导致程序神奇地返回或跳转到其他地方。

这里有一个更好的写法：

void ClassA::funcA()
{
  m_tempdata = m_freedata;

  printf("stage 1 \n");

  if (NULL == m_tempdata)
  {
    printf("going cleaning \n" );
    Cleanup();
    return;
  }

  m_freedata = m_tempdata->next;
}

void ClassA::Cleanup()
{
  printf("cleanup starts \n");
  //      ... some additional work todo
}

请不要使用goto。它使代码更难理解、调试和维护。另外，您最终会像这里一样犯下愚蠢的错误，因为您之前做出了糟糕的设计决策。请改用现代流量控制结构。

Answer 2

您似乎没有充分/令人信服的理由在此代码中使用 goto，所以不要。使用更易读的控制流结构。

printf("stage 1\n");
if (NULL != m_tempdata)
{
    printf("stage 2\n");
    // ...
}
else
{
    printf("cleanup starts\n");
    // ...
}

如果无论“第 2 阶段”是否运行都需要进行清理，请删除 else 块并将清理代码放在最后。

Answer 3

为什么要停止？没有什么可以中断语句printf("stage 2 \n"); 和语句printf("cleanup starts \n");（恰好标记为cleanup:）之间的控制流。

如果您真的希望它中断，则必须在 cleanup: 标签之前插入 return 语句。

但是，请认真重新考虑使用goto。它使程序很难推理 - 总是更喜欢结构化流程（ifs、循环、函数调用）。

Answer 4

没有什么可以告诉编译器函数应该在“阶段 2”之后退出。如果您希望它返回，您必须通过添加 return 语句来实际告诉编译器。

Answer 5

我怀疑您正在尝试使用像这样的老式 C 编程模式：

void do_hot_stuff (void)
{
    void * data1 = malloc (123);
    if (data1 == NULL) goto fail1;

    void * data2 = malloc (123);
    if (data2 == NULL) goto fail2;

    void * data3 = malloc (123);
    if (data3 == NULL) goto fail3;

    // do your hot stuff here

    free (data3);
    fail3:
    free(data2);
    fail2:
    free(data1);
    fail1:
}

坦率地说，自从我上次为我的 Amiga 编写代码是在 80 年代后期以来，我并没有使用过这个。
只是不要。