C++调试执行顺序与代码顺序不符的原因及疑问

问题现象 #

作为C++新手，在CLion中使用LLDB调试时遇到执行顺序异常：断点停在res = (level * (pair.second.getInteger()));行，按下Step Over（F8）会跳回level--;行，再次按F8回到原断点行，第三次按F8才跳转到cout << res << endl;行。代码逻辑运行结果正确，但调试跳转顺序与源码顺序不匹配。

尝试通过CMake设置-O0禁用所有优化后问题仍存在，最终设置以下CMake配置后问题解决，但疑惑为何-O0无效：

-DCMAKE_C_FLAGS_DEBUG:STRING="-g -O1" -DCMAKE_CXX_FLAGS_DEBUG:STRING="-g -O1"

相关调试代码如下：

int depthSum(vector<NestedInteger> &nestedList) {
        deque<pair<int, NestedInteger>> q;
        int level = 1;
        for (NestedInteger n : nestedList) {
            q.push_back({ level, n});
        }

        int res = 0;
        while (!q.empty()) {
            auto pair = q.front();
            q.pop_front();
            if (pair.second.isInteger()) {
                level--;
                res = (level * (pair.second.getInteger()));
                cout << res << endl;
            } else {
                level++;
                for (NestedInteger nestedInteger : pair.second.getList()) {
                    q.push_front({level, nestedInteger});
                }
            }
        }
        return res;
    }

原因分析 #

1. -O0并非完全无优化：虽然-O0是GCC/Clang默认的调试模式优化等级，理论上禁用大部分优化，但编译器仍会做一些微小的指令调整（比如寄存器分配、指令对齐），这些调整可能导致调试器的源码行与机器指令映射出现偏差。
2. LLDB对未优化代码的调试缺陷：未优化的代码会生成大量冗余指令，调试器的行表（line table）可能出现歧义，LLDB无法准确跟踪每一行源码对应的执行步骤，从而出现跳转混乱。
3. CMake配置的隐性覆盖：项目中可能存在全局编译标志、工具链配置或其他CMake脚本，覆盖了手动设置的-O0选项，导致实际编译时并未真正禁用优化。

解决思路与验证 #

使用-O1轻度优化等级替代-O0：

• -O1会启用不破坏调试体验的轻度优化，比如消除冗余代码、简化控制流，让源码行与机器指令的映射更清晰。
• 同时保留-g生成完整调试信息，既保证调试时能正确跟踪代码，又避免了-O0下的指令冗余导致的行表混乱。

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