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

Question

| GOTO '*' expr ';'

我还没有看到过这样的陈述，任何人都可以举个例子吗？

Answer 1

这就是所谓的标签作为值 ，代表了GCC扩展之一。

---

作为一个例子，我已应用此扩展来给出没有循环或条件问题的打印1到1000的答案 ：

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）。 （虽然它有时会派上用场，但是能够做计算得到的。）

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使用这些来执行没有缓冲区的Longjump。 （是的，我事先恢复了堆栈框架，我确保跳转是安全的）。

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

通常，不应使用语法。 如果你需要本地跳转，使用显式的getos或实际的控制块，如果你需要非局部跳转，你可以使用longjmp，并且尽可能使用C ++中的异常

Answer 6

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