我們什么時候使用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中”，因此應該被認為是有害的。