关于跳转到代码块开头是否等价于‘进入代码块’的技术咨询

嘿，咱们来拆解你的问题，先看看你提供的这段代码：

int jump_count = 0;
int main() {
entry:
    int obj = jump_count;
    printf("%d\n", obj);
    jump_count++;
    if(jump_count < 2) goto entry;
    return 0;
}

首先得提一句：这段代码在C99及后续标准下会编译失败。因为obj是在main函数的作用域内声明的，当你用goto entry跳回标签时，会再次执行int obj = jump_count;，这属于同一个作用域内重复声明同名变量，编译器直接会报错。

回到你的核心问题：跳转到代码块开头是否等价于“进入代码块”？答案是肯定不等价，两者有本质区别：

• 正常“进入块”：

  • 对于自动局部变量（比如代码里的obj），会在栈上分配内存空间，并执行初始化表达式完成变量的首次初始化；
  • 如果是静态局部变量，只会在第一次进入块时完成初始化，后续进入时直接跳过初始化步骤；
  • 编译器还会触发块的“入口”逻辑，比如栈帧的设置等底层操作。

• 用goto跳转到块内标签：

  • 这只是单纯改变程序执行的流程到标签位置，不会触发块的“入口”逻辑；
  • 如果标签在变量声明之后：变量已经存在，不会重新初始化，只有执行到赋值语句时才会改变变量值；
  • 如果标签在变量声明之前：在同一个作用域下会导致重复声明错误（就像你代码里的情况）；如果是跳转到嵌套子块的标签，此时相当于进入子块，会执行子块内的变量初始化，但这是因为你进入了新的作用域，而非goto本身等价于“进入块”。

给你一个修正后的可运行例子，把obj的声明移到标签之前，避免重复声明问题：

int jump_count = 0;
int main() {
    int obj; // 声明放在作用域开头
entry:
    obj = jump_count; // 这里只是赋值，不是初始化
    printf("%d\n", obj);
    jump_count++;
    if(jump_count < 2) goto entry;
    return 0;
}

这个版本会输出0和1。第一次执行到entry是正常进入main块后的流程，第二次是goto跳转过来，此时obj已经存在，只是执行赋值操作——这和“进入块”时的初始化完全不是一回事。

总结一下：goto跳转只是单纯的流程转移，不会模拟“进入块”时的初始化、作用域创建等行为，两者绝对不能划等号。

内容来源于stack exchange