C与C++中goto语句对应汇编jmp指令差异原因探究

先看测试用的代码片段：

#include <stdio.h>

int main() {
    goto myLabel;
    printf("skipped\n");
myLabel:
    printf("after myLabel\n");
    return 0;
}

在VS2022默认编译配置下，这段代码编译为C程序时，汇编仅包含1条jmp指令，直接从goto语句跳转到myLabel标签；而编译为C++程序时，会生成2条jmp指令。差异的核心原因如下：

• C语言的goto处理更直接：C编译器对goto的逻辑实现非常直白，只需要生成一条跳转指令跳过中间代码即可，不需要考虑额外的异常或栈清理逻辑——因为C语言本身没有内置的异常处理机制，编译器默认不会为普通函数调用添加栈安全检查。

• C++的异常安全机制导致额外跳转：C标准要求编译器考虑代码的异常安全性，即使代码中没有显式抛出异常，编译器也会假设函数调用（比如printf）可能触发异常。当goto跳过一段包含函数调用的代码时，C编译器会插入一条额外的jmp指令，用来绕开该段代码对应的异常处理入口或栈清理逻辑，确保跳转后的栈状态和异常处理上下文是合法的，避免潜在的资源泄漏或异常处理混乱。

此外，VS的C和C编译器优化策略不同，C的优化逻辑会更多偏向面向对象和异常场景的安全保障，这也加剧了两者汇编输出的差异。如果关闭所有优化（使用/Od编译参数），这种差异大概率会消失，因为编译器不再插入额外的安全检查代码。

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