C++代码中‘operation on 'i' may be undefined’警告原因及修复

你遇到的警告确实和运算顺序有关，但优先级≠执行顺序——这是很多人容易混淆的点。

C++标准规定：在同一个表达式中，对同一个变量进行多次修改（比如这里的两次i++），且没有明确的序列点分隔这些操作时，属于未定义行为。虽然括号让rxBuffer[i++]<<8先完成运算，但编译器完全可以选择先计算|右边的rxBuffer[i++]，再处理左边的内容。你当前运行符合预期只是编译器刚好按你想的顺序执行了，但换个编译环境、优化等级，结果可能完全错误，所以编译器会抛出警告。

要消除这个警告，核心是明确i的修改顺序，把两次自增拆成独立语句即可，比如：

int i = 4;
uint16_t high = rxBuffer[i++];
uint16_t low = rxBuffer[i++];
const uint16_t rawVoltage = (high << 8) | low;

或者更简洁的写法（如果不需要保留中间变量）：

int i = 4;
const uint16_t rawVoltage = (rxBuffer[i] << 8) | rxBuffer[i+1];
i += 2;

这两种写法都明确了i的修改时机，完全避免了未定义行为，警告自然会消失。

内容的提问来源于stack exchange，提问作者Stéphane de Luca