Lua生成字节码时如何利用<const>？为何true分支可优化false不行？

首先明确字节码的实际逻辑：bar函数并没有保留有效的判断逻辑，而是生成了一条无条件跳转指令，直接跳过print代码块，最终执行效果和仅保留RETURN0完全一致——分支内的代码永远不会被执行。

之所以和foo函数的优化形式存在差异，核心是Lua编译器针对两种常量条件的优化策略不同：

• 对于if always_true then ... end这类恒真条件，编译器会直接内联分支内的全部代码，彻底消除分支结构，因为逻辑上等价于直接执行分支内容。
• 对于if always_false then ... end这类恒假条件，编译器会生成一条无条件跳转到函数返回处的指令。虽然字节码里还保留了跳转结构，但已经从逻辑上完全废弃了分支内的代码。

这种差异并非编译器疏漏，而是出于实现成本与执行效率的平衡：

• 恒真分支的内联优化收益直观，能直接减少分支判断的开销；
• 恒假分支的跳转指令几乎无性能损耗（CPU会直接预测到无条件跳转），进一步合并跳转与返回指令的收益极低，因此编译器未做这一步精简。

另外需要注意，<const>属性是这些优化的必要前提：它告知编译器该变量的值永远不会被修改，编译器才能安全地进行常量传播，将always_true和always_false直接替换为字面量true/false，进而执行分支优化。若没有<const>，编译器无法确定变量是否会被动态修改，就不会触发这些优化。

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