C语言后置自增x++运算执行逻辑及代码运行结果疑问求解

完整测试代码如下：

int main()
{
    int y, x=3;
    x=x++ +1;
    y=++x;
    printf ("x=%d y=%d",x,y);

    return 0;
}

核心误区先澄清 #

你对后置自增x++的基础规则理解没错：先返回变量当前值，再执行自增1。但你忽略了C语言的序列点规则：同一序列点内对同一个变量做多次修改的行为，属于C标准明确定义的未定义行为，x = x++ +1刚好属于这类情况，不能直接按字面运算顺序推导结果，下面的执行流程是gcc、clang等主流编译器的通用实现。

逐步骤执行流程 #

• 初始化阶段：定义整型变量y，x赋值为初始值3，此时x = 3
• 执行x = x++ + 1语句：
  1. 先计算x++表达式的值：取x的当前值3作为表达式返回结果，同时标记x需要执行一次自增操作
  2. 执行加法运算：3 + 1 = 4
  3. 执行x的自增操作：x从3变为4
  4. 执行赋值操作：把加法运算的结果4赋值给x，x的值被覆盖为4（这就是你觉得会自增两次但实际没有的核心原因：自增得到的4直接被赋值操作的4覆盖了，等于这次自增的效果被抵消，没有出现两次自增）
• 执行y = ++x语句：
  1. 前置自增++x先执行x自增：x从4变为5
  2. 把自增后的x的值5赋值给y，此时x = 5，y = 5
• 执行printf输出：最终打印结果为x=5 y=5

额外注意 #

上述结果只对应主流编译器的实现，未定义行为在不同编译环境、不同编译优化等级下可能输出完全不同的结果，生产代码中绝对不要编写这类存在歧义的表达式。

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