我们什么时候使用 goto *expr;在 C?

Question

| GOTO '*' expr ';'

我还没见过这样的说法，谁能举个例子？

Answer 1

这就是所谓的 Labels as Values，代表 GCC 扩展之一。

---

例如，我已应用此扩展程序向answer 提出Printing 1 to 1000 without loop or conditionals 问题：

void printMe () 
{
    int i = 1;
    startPrintMe:
    printf ("%d\n", i);
    void *labelPtr = &&startPrintMe + (&&exitPrintMe - &&startPrintMe) * (i++ / 1000);
    goto *labelPtr;
    exitPrintMe:
}

Answer 2

IIRC 是用于尾调用的 GNU 主义。通常你会将优化留给编译器，但在编写内核或嵌入式设备驱动程序时它会很有用。

Answer 3

这是 GCC 特定的。它不是标准 C（C89 或 C99）。 （不过，它有时会派上用场，以便能够执行计算的 goto。）

Answer 4

与已经给出的 PrintMe() 类似，这是我使用“跳转表”解决相同问题的解决方案，但它可以执行任意 # 次操作，在本例中为 printf()。请注意，引用的标签必须是函数的本地标签。

int print_iterate( int count )
{
    int  i=0;

    void * jump_table[2] = { &&start_label , &&stop_label };

  start_label:
    printf( ++i );
    // using integer division: i/count will be 0 until count is reached (then it is 1)
    goto *jump_table[ i/count ]; 

  stop_label:
    return 0;
}

Answer 5

正如其他人所说，它是一个 GNU C 扩展 (https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html)。

除了上述用途外，还有一个用途是绕过返回系统，并手动处理函数的结语。

虽然这方面的用例很少而且相差甚远，但它在编写完全基于 C 的异常 ABI 时会很有用。我为一个非常旧的平台编写的异常 ABI 使用这些来执行没有缓冲区的 Longjumps。 （是的，我确实事先恢复了堆栈帧，并确保跳转是安全的）。

此外，它可以用于“JSR”finally 块，就像在 java 7 之前的 Java 中一样，在返回之前，存储显式返回标签​​，然后执行 finally 块。在抛出或重新抛出任何异常之前也是如此（文档没有说明它在 GNU C++ 中无效，但我可能根本不会在 C++ 中使用它）。

一般来说，不应使用该语法。如果您需要本地跳转，请使用显式 goto 或实际控制块，如果您需要非本地跳转，请在必要时使用 longjmp，并尽可能使用 C++ 中的异常

Answer 6

从来没有。它不是 C。它在“GNU C”中是可能的，但正如 Paul 评论的那样，它是“FORTRAN 最糟糕的特性之一”，“移植到 C 中”，因此应该被认为是有害的。