goto Label 之后的变量声明

Question

今天我发现了一件有趣的事情。我不知道不能在 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 语句的同一范围内（在我的例子中是 main 函数的范围），因此我相信范围在这里不是问题。但是，为什么我会收到此错误？

Answer 1

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

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

请注意，没有任何条款允许“标签声明”。它只是不是语言的一部分。

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

JUMP:;
int a = 0;

Answer 2

您希望在标签后有一个分号，如下所示：

 #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 （我正在使用 GCC 4.6 Debian/Sid/AMD64）。

Answer 3

除了规范没有说的之外，简单的解释是编译器期望 goto 之后的代码编译成一个操作，然后可以计算该操作的偏移量，并且因为您的变量声明不是语句而被踢/block 它可以编译成这样的偏移量。

Answer 4

我的 gcc 版本（4.4）给出了这个编译错误：

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

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

Answer 5

如果您知道为什么不能在 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
}

Answer 6

嗯，首先你应该保持一致。它是 LABEL 或 label。其次，标签是声明的一部分，声明并不能充分回答描述。

您可以将 LABEL: 替换为 label: ; ，这样就更容易编译。

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

Answer 7

#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);
}