C语言内联打印a与a++时出现意外输出的原因咨询

你的认知存在两个关键偏差，最终导致预期和实际运行结果不符：

• 误区1：C语言标准从未规定函数参数的求值顺序为从左到右。标准仅要求所有参数的求值、相关副作用全部完成后，才会正式进入函数执行逻辑，但多个参数之间的求值先后顺序由编译器实现自行决定，属于未指定行为。日常使用的GCC、Clang等编译器在x86架构默认的cdecl调用约定下，普遍采用从右向左的顺序求值函数参数。
• 误区2：后置自增运算符a++的「返回自增前旧值」特性，不代表自增的副作用（即把变量a的数值更新为原值+1）必须等整个语句全部执行完才会生效。C标准仅要求该副作用在两个相邻序列点之间完成即可，不需要等待同表达式里其他位置的变量读取操作先执行。

你这段代码的实际执行流程（对应输出1 0） #

对应常见编译器的从右到左参数求值逻辑，执行步骤如下：

1. 优先计算最右侧的参数a++：此时a的初始值为0，a++按规则返回旧值0作为该参数的传入值，随即完成自增副作用，把a的值修改为1
2. 再计算左侧的参数a：此时a已经被上一步的自增操作更新为1，因此该参数拿到的传入值为1
3. 所有参数求值完成后进入printf逻辑，printf严格按照格式字符串中占位符从左到右的顺序匹配参数输出，第一个%d匹配到值1，第二个%d匹配到值0，最终输出1 0

注意：这类在同一条表达式中既读取变量值、又修改变量值，且中间没有序列点分隔的写法属于C语言定义的未定义行为，换不同编译器、不同编译选项甚至不同编译版本，都可能得到完全不同的运行结果，实际编码中要严格避免这种写法，不要依赖编译器的特定参数求值顺序编写业务逻辑。

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