如果我有一个在标签后初始化的变量,为什么我得到"标签只能是声明的一部分而声明不是声明"？

Question

我有以下简化代码:

#include <stdio.h>
int main () 
{
    printf("Hello ");
    goto Cleanup;
Cleanup:
    char *str = "World\n";
    printf("%s\n", str);
}

我收到错误,因为在标签后声明了一个新变量.如果我将标签后的内容(主要是初始化)放在{}块中,则编译成功.

我想在切换的情况下我理解阻塞的原因,但为什么它应该适用于标签？

此错误来自gcc编译器

Answer 1

语言标准根本不允许.标签只能跟在语句后面,而声明不能算作C中的语句.解决这个问题的最简单方法是在标签后插入一个空语句,这样可以使你无法按照你需要的方式跟踪范围.在一个街区内.

#include <stdio.h>
int main () 
{
    printf("Hello ");
    goto Cleanup;
Cleanup: ; //This is an empty statement.
    char *str = "World\n";
    printf("%s\n", str);
}

Answer 2

这是C语法的一个怪癖.一个标签(Cleanup:)是不允许出现立即之前的声明(如char *str ...;),只有前声明(printf(...);).在C89中,这并不是一个很大的难度,因为声明只能出现在块的最开头,所以你总是可以将标签向下移动一点并避免出现问题.在C99中,您可以混合声明和代码,但您仍然无法在声明之前立即放置标签.

你可以在标签的冒号之后立刻加一个分号(如Renan所建议的那样),以便在那里有一个空语句; 这就是我在机器生成的代码中所做的.或者,将声明提升到函数顶部:

int main (void) 
{
    char *str;
    printf("Hello ");
    goto Cleanup;
Cleanup:
    str = "World\n";
    printf("%s\n", str);
    return 0;
}