是否可以將標籤的地址存儲在變量中並使用goto跳轉到該變量？

Question

我知道每個人都討厭gotos。在我的代碼中，出於我已經考慮並且很舒服的原因，他們提供了一個有效的解決方案（即，我不是在尋找「不這樣做」作爲答案，我理解您的保留意見，並理解爲什麼我使用它們無論如何）。

到目前爲止他們一直很棒，但我想要擴展功能，這樣我就必須能夠存儲指向標籤的指針，然後再去找它們。

如果此代碼工作，它將代表我需要的功能類型。但它不起作用，30分鐘的谷歌搜索沒有透露任何東西。有沒有人有任何想法？

int main (void) 
{ 
    int i=1; 
    void* the_label_pointer; 

    the_label: 

    the_label_pointer = &the_label; 

    if(i--) 
    goto *the_label_pointer; 

    return 0; 
} 

Answer 1

唯一正式支持的事情，你可以在C標籤做的是goto它。正如你所注意到的，你不能把它的地址或存儲在一個變量或其他任何東西中。所以，我不會說「不這樣做」，而是說「你不能那樣做」。

看起來你必須找到不同的解決方案。也許彙編語言，如果這是性能關鍵？

Answer 2

你可以用setjmp/longjmp做類似的事情。

int main (void) 
{ 
    jmp_buf buf; 
    int i=1; 

    // this acts sort of like a dynamic label 
    setjmp(buf); 

    if(i--) 
     // and this effectively does a goto to the dynamic label 
     longjmp(buf, 1); 

    return 0; 
} 

Answer 3

C和C++標準不支持此功能。但是，GNU編譯器集合（GCC）包含一個非標準擴展，如this article中所述。基本上，他們添加了一個特殊的運算符「& &」，它將標籤的地址報告爲類型「void *」。詳情請參閱文章。

P.S.換句話說，在你的例子中，只使用「& &」而不是「&」，它可以在GCC上工作。
P.P.S.我知道你不想讓我說出來，但無論如何我會說，不要這樣做！

Answer 4

根據this thread，標籤點不是一個標準，所以無論它們是否工作都取決於您使用的編譯器。

Answer 5

閱讀原文：setjmp.h - Wikipedia如前所述，使用setjmp/longjmp可以將一個jumppoint存儲在變量中並稍後跳回。

Answer 6

switch ... case聲明本質上是computed goto。它是如何工作的一個很好的例子是被稱爲Duff's Device離奇劈：

send(to, from, count) 
register short *to, *from; 
register count; 
{ 
    register n=(count+7)/8; 
    switch(count%8){ 
    case 0: do{ *to = *from++; 
    case 7:  *to = *from++; 
    case 6:  *to = *from++; 
    case 5:  *to = *from++; 
    case 4:  *to = *from++; 
    case 3:  *to = *from++; 
    case 2:  *to = *from++; 
    case 1:  *to = *from++; 
     }while(--n>0); 
    } 
} 

不能從任意位置，使用這種技術做了goto，但你可以根據switch聲明包住整個功能一個變量，然後設置該變量指示你想去的地方，並且goto那個switch語句。

int main() { 
    int label = 0; 
    dispatch: switch (label) { 
    case 0: 
    label = some_computation(); 
    goto dispatch; 
    case 1: 
    label = another_computation(); 
    goto dispatch; 
    case 2: 
    return 0; 
    } 
} 

當然，如果你做了很多，你會想寫一些宏來包裝它。

這種技術，以及一些便利的宏，甚至可以用來實現coroutines in C。

Answer 7

使用函數指針和while循環。不要製造一段代碼，其他人將不得不後悔修復你。

我認爲你試圖改變外部標籤的地址。函數指針將起作用。

Answer 8

按照C99標準，第6.8.6，爲goto語法是：

 
    gotoidentifier; 

所以，即使你可以採取一個標籤的地址，你無法轉到使用。

你可以用switch，這就好比一個計算goto，有同樣的效果結合了goto：

int foo() { 
    static int i=0; 
    return i++; 
} 

int main(void) { 
    enum { 
     skip=-1, 
     run, 
     jump, 
     scamper 
    } label = skip; 

#define STATE(lbl) case lbl: puts(#lbl); break 
    computeGoto: 
    switch (label) { 
    case skip: break; 
     STATE(run); 
     STATE(jump); 
     STATE(scamper); 
    default: 
     printf("Unknown state: %d\n", label); 
     exit(0); 
    } 
#undef STATE 
    label = foo(); 
    goto computeGoto; 
} 

如果你用這個不是模糊ç競賽其他任何東西，我將你打倒並傷害你。

Answer 9

在非常非常非常非常舊的C語言版本中（想到恐龍漫遊地球的時間），被稱爲「C參考手冊」版本（指Dennis Ritchie編寫的document），標籤正式具有「爲int數組」（奇怪，但真），這意味着你可以聲明int *變量

int *target; 

和標籤的地址賦給變量

target = label; /* where `label` is some label */ 

以後您可以使用該變量作爲01的操作數聲明

goto target; /* jumps to label `label` */ 

但是，在ANSI C中，此功能被拋出。在標準的現代C中，您無法獲得標籤的地址，也無法執行「參數化」goto。這種行爲應該用switch語句，指針函數和其他方法等來模擬。實際上，即使「C參考手冊」本身也會說「標籤變量通常是一個壞主意; switch語句幾乎總是不必要的「（見"14.4 Labels"）。

Answer 10

我會注意到，這裏描述的功能（包括& &在GCC）是理想的實現C中的Forth語言解釋器，打擊所有「不這樣做」的論點出來的水 - 之間的配合Forth的內部解釋器的功能和方式太好了，無法忽視。

Answer 11

我知道那種感覺，那麼大家都說不應該這樣做;它只是有要完成。以下是如何做到這一點：

#define jumpto(a) asm("jmp *%0"::"r"(a):) 

int main (void) 
{ 
    int i=1; 
    void* the_label_pointer; 

    the_label: 

    the_label_pointer = &&the_label; 

    if(i--) 
    jumpto(the_label_pointer); 

    return 0; 
} 

標籤對其操作& &將只使用GCC的。顯然，jumpto彙編宏需要專門針對每個處理器（這一個適用於32位和64位x86）。另外請記住，不能保證堆棧的狀態在同一個函數的兩個不同點上是相同的。至少在打開一些優化的情況下，編譯器可能會假定某些寄存器在標籤之後的某個點上包含某個值。這些事情很容易搞砸，然後做編譯器不期望的瘋狂的狗屎。一定要證明閱讀編譯後的代碼。

Answer 12

您可以使用& &將變量分配給變量。 這是您的修改代碼。

---

int main (void) 
{ 
    int i=1; 
    void* the_label_pointer = &&the_label; 

    the_label: 


    if(i--) 
    goto *the_label_pointer; 


    return 0; 
} 

Answer 13

你可以這樣做的Fortran的計算機轉到與函數指針。

//全局變量在這裏

無效C1（）{//代碼塊

}

無效C2（）{//代碼塊

}

void c3（）{ //代碼塊

}

void（* goTo [3]）（void）= {c1，c2，c3};

//然後
int x = 0;

goTo [x ++]（）;

goTo [x ++]（）;

goTo [x ++]（）;

Answer 14

#include <stdio.h> 

int main(void) { 

    void *fns[3] = {&&one, &&two, &&three}; 
    char p; 

    p = -1; 

    goto start; end: return 0;  
    start: p++; 
    goto *fns[p]; 
    one: printf("hello "); 
    goto start; 
    two: printf("World. \n"); 
    goto start; 
    three: goto end; 
}