如何避免Java编译器反转Java bytecode中的条件判断语句？

标准Java编译器（javac）没有提供公开的编译参数可以完全禁用条件判断反转的行为，这种反转属于javac内置字节码生成逻辑的一部分，没有对外暴露控制开关。

• 降低编译器优化等级：编译时添加-O0参数（该参数为OpenJDK/Oracle javac的非公开实验参数，不同版本支持情况不一致），可以降低编译器优化强度，减少条件反转的出现概率，但无法100%避免所有场景的反转。
• 手动调整源码条件写法：如果仅需要处理特定代码片段，可以手动调整条件的正负逻辑顺序，比如把if (a > b) { 执行逻辑A } else { 执行逻辑B }改写为if (a <= b) { 执行逻辑B } else { 执行逻辑A }，强制让编译器生成符合预期的字节码顺序，该方案仅适合小范围自定义场景。
• 基于控制流分析还原反转逻辑：如果需要做通用的字节码到源码映射，建议不要依赖编译器不反转条件的行为，而是通过字节码的控制流结构还原原本的条件：如果条件跳转指令的目标是else分支的起始位置，即可判定该条件是源码条件的反转，反向推导即可得到原始的判断逻辑。

javac的条件反转逻辑和编译器版本、编译优化级别、代码块大小都有关联，没有稳定的规律可以预判，不建议依赖编译器的特定行为做字节码映射，基于静态分析的还原方案兼容性更强。

内容的提问来源于stack exchange，提问作者middle-mood