赋值自减语句value = value--;的行为是否具备良好定义？

这条语句属于C/C++标准中的未定义行为，绝对不能依赖它的执行结果——它在你的机器上符合预期纯粹是巧合，换个编译器、编译选项甚至不同版本的同一款编译器，结果都可能发生变化。

为什么是未定义行为？ #

C/C++标准对表达式的执行顺序有严格规则：当同一个表达式里对同一个对象同时进行“修改操作”和“无顺序约束的读取操作”时，行为是未定义的。

拿value = value--来说：

• value--会先读取value的当前值（记为V），然后把value更新为V-1；
• 赋值操作则要把V重新赋给value。

问题在于，标准没有规定value--的“更新V-1到value”和赋值操作的“把V写入value”这两个步骤的执行顺序。编译器可以选择先执行赋值，也可以先执行自减的更新，甚至做完全不同的优化——因为未定义行为允许编译器任意处理，不需要遵循任何规则。

可靠的替代写法 #

如果你想实现“让value减1”的效果，以下两种写法都是完全有定义的，所有环境下结果一致：

• value--：直接对value执行后置自减，语义清晰；
• value = value - 1：显式计算value-1后赋值，逻辑明确。

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