-O2/-O3 可自动删除冗余跳转（如无条件jmp、空分支、常量折叠后的失效跳转），-march=native则通过cmov、对齐跳转目标等优化跳转执行效率，而-fno-jump-tables等可避免低效跳转表。

怎么用 -O2 或 -O3 让编译器自动删掉冗余跳转

编译器在中等以上优化级别下，会主动识别并消除无条件跳转、空跳转、重复分支判断等冗余跳转指令。比如循环末尾的 jmp 回头、if (true) 后的无用 jmp、或被常量折叠后失效的条件跳转，都会被 -O2 及以上级别合并或删除。

实际效果取决于代码结构是否暴露可推导性：

• -O2 足以处理大多数循环跳转简化（如将 for (i=0; i<n> 编译为带 <code>cmp/jle 的紧凑块，而非每次迭代都 jmp 到头部）
• -O3 会进一步尝试循环展开、条件传播，把原本需要多次跳转的逻辑压成单路径，例如将 if (x > 0) { a(); } else { b(); } 在 x 可静态判定时直接剔除一个分支
• 若函数内联后上下文明确，编译器甚至能删掉整个 if 块——比如 if (DEBUG) {...} 配合 -DNDEBUG，对应的 test/je 指令就完全不会出现在汇编里

为什么加了 -march=native 能减少跳转开销

不同 CPU 架构对跳转指令的惩罚不同：jmp 和 call 在老式 CPU 上可能清空流水线，在现代 CPU 上依赖分支预测器。但 -march=native 不是“减少跳转数量”，而是让编译器生成更匹配当前硬件的跳转策略：

• 启用条件移动指令（cmov）替代短分支：当分支简单（如 a = cond ? x : y），-march=native 允许编译器用 cmovq 替代 test+je+jmp 组合，彻底消灭跳转
• 对齐关键跳转目标（如循环入口）到 16 字节边界，提升分支预测器命中率，间接降低跳转失败代价
• 避免在不支持的指令集上生成回退跳转逻辑（例如在不支持 BMI2 的 CPU 上硬用 andn 就得靠跳转模拟）

怎么用 -fno-jump-tables 和 -fno-switch-tables 控制跳转表生成

大 switch 语句默认会被编译成跳转表（jmp *array(,%rax,8)），这本身不是冗余跳转，但在小范围、稀疏 case 下反而比一串 cmp/je 更慢且占空间。这时候可以干预：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

立即学习“C++免费学习笔记（深入）”；

• 加 -fno-jump-tables 强制编译器改用级联比较+跳转，适合 case 数少于 5 或分布极不均匀的情况
• 加 -fno-switch-tables 影响更广，包括 for-range、某些模板展开中的隐式 switch，但需配合 -O2 才生效
• 注意：禁用跳转表后，汇编中会出现明显增多的 cmp/je 序列，看似“跳转变多”，实则是用确定性比较换掉了不可预测的间接跳转，对缓存和分支预测更友好

查看汇编确认跳转是否真被删了

别只信编译选项，得看生成的汇编：

• 用 g++ -S -O2 -fverbose-asm -o out.s foo.cpp 生成带注释的汇编，搜索 jmp、je、jne 等指令出现频次
• 重点关注循环体内部是否还有 jmp 回头（理想情况是只有一次 cmp+jle 在末尾）
• 对比 -O0 和 -O2 输出：前者每个 if/else、每个 for 迭代几乎都有显式跳转；后者常把多个跳转合并，或用 cmov、setl 等非跳转指令替代
• 特别小心 goto 语句——它生成的跳转几乎不会被优化掉，除非整块逻辑被死代码消除；所以想删跳转，优先重构控制流，而不是依赖编译器猜你的 goto 意图

真正难删的是数据依赖导致的隐式跳转，比如虚函数调用、函数指针解引用、异常分发入口——这些跳转由运行时决定，编译器在生成汇编时无法绕过，必须靠 -fno-exceptions、-fno-rtti 或手动去虚化来根除。