goto语句跳过未使用变量初始化是否违反C++语法？

你的第一个示例确实违反了C++标准语法，这不是警告，是明确的编译错误，和变量a是否被使用完全无关。

核心原因 #

C++标准禁止在同一个作用域内，通过goto跳转到跳过变量初始化的代码路径。只要某个变量在当前作用域中是带初始化的定义（比如int a = 3;），哪怕你后续完全没用到这个变量，用goto跳过它的初始化步骤都是非法的。

这是因为变量一旦在作用域内被定义，就会占用栈内存空间。如果跳过了它的初始化，这个变量会处于未初始化状态——C++标准不允许这种存在潜在未定义行为风险的代码，哪怕你当下没用到这个变量，也不能跳过它的初始化。

和第二个示例的区别 #

你第二个示例的问题是使用了未初始化的a，但第一个示例的错误根源更早：跳转本身就跳过了a的初始化操作，这已经违反了语法规则，和后续用不用a没关系。

怎么修复？ #

有两种常见的解决方式：

• 把a放到更小的作用域里，让跳转时a已经脱离作用域：

char* p;

int main()
{
    if (p) goto continue_func;

    {
        int a = 3;
    }

continue_func:
    int b = 2;
}

• 把变量的定义和初始化分开（不推荐，容易引入未初始化变量风险）：

char* p;

int main()
{
    int a; // 先定义，不初始化
    if (p) goto continue_func;

    a = 3; // 后续再赋值

continue_func:
    int b = 2;
}

内容的提问来源于stack exchange，提问作者Zebrafish