C++17升级后`~iTmp++`计算异常，我的执行顺序分析是否正确？

你的分析完全正确，以下是对每个结论的补充说明：

• 结论1：这是执行顺序问题导致的错误
  这段代码本质属于未定义行为（UB）：同一表达式中对变量iTmp存在多次修改操作（iTmp++的自增副作用、赋值iTmp = ...的写入），C++17之前没有明确序列规则约束这些操作的执行顺序，编译器可自由选择执行顺序，结果完全不可预测。

• 结论2：运算符优先级并非主要原因
  运算符优先级仅决定语法结构：~iTmp++等价于~(iTmp++)（后置++优先级高于~），但优先级不约束求值顺序和副作用触发时机。问题核心是未定义的执行顺序，而非语法解析逻辑。

• 结论3：补码操作并非原地操作
  按位取反~是纯计算操作，它接收iTmp++返回的旧值作为输入，计算后返回临时结果，不会修改原变量iTmp。只有iTmp++的副作用和后续赋值操作会改变iTmp的值。

• 结论4：遗留代码正常运行纯属巧合
  未定义行为的特点是编译器可任意实现，之前的“正常运行”只是当时的编译器恰好稳定选择了你预期的执行顺序，这既不是标准规定的行为，也无法在不同编译器、优化等级或新版本中保持一致。C++17调整了部分表达式的序列规则，但这段代码仍属于未定义行为，编译器优化策略变化自然会导致结果异常。

关于你提到的合法代码差异：
if (++iTmp > 0)是完全合法且行为明确的。前置++的语义是先完成自增副作用，再返回自增后的变量本身（左值），且标准规定前置++的副作用会在后续操作（比如这里的>比较）之前完成，不存在未定义行为。

你最终修改的代码：

iTmp = ~iTmp;
iTmp++;

是彻底解决问题的正确方案——将两个操作拆分为独立语句，每个语句有明确的序列点，确保执行顺序完全可控，彻底消除了未定义行为。

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