goto标签后的变量声明

今天我发现了一件事。我不知道在goto标签后不能声明变量。

编译以下代码

#include <stdio.h>
int main() {
    int x = 5;
    goto JUMP;
    printf("x is : %d\n",x);
JUMP:
    int a = 0;  <=== giving me all sorts of error..
    printf("%d",a);
}

给出类似的错误

temp.c: In function ‘main’:
temp.c:7: error: expected expression before ‘int’
temp.c:8: error: ‘a’ undeclared (first use in this function)
temp.c:8: error: (Each undeclared identifier is reported only once
temp.c:8: error: for each function it appears in.)

现在背后的逻辑是什么？我听说不能在switch的case语句内创建变量。由于JUMP处于goto语句的同一作用域内（在我的情况下为主要功能的作用域），因此我认为作用域在这里不是问题。但是，为什么我会收到此错误？

语法根本不允许这样做。§6.8.1带标签的声明：

labeled-statement:
    identifier : statement
    case constant-expression : statement
    default : statement

请注意，没有子句允许使用“标记的声明”。它只是语言的一部分。

当然，您可以使用空语句来解决此问题。

JUMP:;
int a = 0;

您需要在标签后加上分号，如下所示：

 #include <stdio.h>
 int main() {
     int x = 5;
     goto JUMP;
     printf("x is : %d\n",x);
 JUMP: ;     /// semicolon for empty statement
     int a = 0; 
     printf("%d",a);
 }    

然后，您的代码可以使用C99标准正确编译gcc -Wall -std=c99 -c krishna.c（我在Debian / Sid / AMD64上使用GCC 4.6）。

除了规范没有说明之外，简单的解释是，编译器认为goto之后的代码是某种可以编译为操作的代码，然后可以计算其偏移量，并且因为您的变量声明不是语句而开始执行/ block，它可以编译成这样的偏移量。

我的gcc版本（4.4）出现此编译错误：

t.c:7: error: a label can only be part of a statement and a declaration is not a statement

。这个错误消息说明了一切。

好吧，首先您应该保持一致。是LABEL或label。其次，标签是语句的一部分，并且声明对说明的回答不够。

您可以替换LABEL:为label: ;，然后再进行编译。

编辑：现在您已全部编辑了代码，应将其JUMP:替换为JUMP: ;;-)

如果您知道为什么不能在switch的case语句中创建变量，那么基本上也是如此。作为解决方法，您可以尝试一下，

#include <stdio.h>
int main() {
    int x = 5;
    goto JUMP;
    printf("x is : %d\n",x);
JUMP:
    {                                              //Note this
       int a = 0;  // <=== no more error..
       printf("%d",a);
    }                                             //Note this
}

#include <stdio.h>
int main() {
    int x = 5;
    goto JUMP;
    printf("x is : %d\n",x);
JUMP:
    printf("Do anything after label but dont declare 
    anything. even empty statement will also work 
    because label can only be part of a statement");
    int a = 0;  
    printf("%d",a);
}