C语言printf输出0 5 0的原因及运算符优先级疑问

你遇到的输出差异，本质和运算符优先级没有关系，核心是两个容易被忽略的C语言基础规则：

先澄清之前的认知误区 #

你记住的“关系运算符优先级高于赋值运算符”的结论本身是正确的，但优先级的作用范围仅限于单个独立表达式的内部解析——它只能告诉你一段代码里的运算符是怎么和操作数绑定的，完全不能决定多个独立表达式之间的执行先后顺序。
你写的printf语句里，三个参数是三个完全独立的表达式：

• 左表达式：k == 35
• 中表达式：k = 50（这是赋值表达式，本身的返回值就是赋值后的新值）
• 右表达式：k > 40

为什么会出现两种不同的输出 #

C语言标准从来没有规定函数参数的求值顺序，同时这段代码本身属于标准定义的未定义行为范畴：三个参数表达式里既对变量k做了读操作（两个关系表达式都要读取k的值），又在中间的参数里对k做了写操作（赋值），这些读、写操作之间没有强制的顺序点做约束，编译器可以自由安排这些操作的执行顺序，所以不管输出什么结果，都是符合标准允许的。
你碰到的两类典型输出，是这类未定义行为下最常见的表现：

• 从右往左求值（绝大多数现代桌面编译器的默认行为）
  求值顺序从最靠后的参数开始依次计算：
  1. 先算最右侧的k>40：此时k还未被修改，保持初始值35，35>40不成立，结果为0
  2. 再算中间的k=50：将k的值更新为50，赋值表达式的返回值为50
  3. 最后算最左侧的k==35：此时k已经被更新为50，50==35不成立，结果为0
     三个值按照参数的书写顺序打印，就会得到0 50 0的输出。
• 无严格副作用同步的编译器实现
  部分老版本编译器、特殊嵌入式环境的编译器，在处理可变参数函数传参时，不会等待所有赋值操作的副作用完全落地、数据完全同步后再做后续求值，甚至可能因为栈对齐要求、数据宽度截断、寄存器复用逻辑，出现任意的中间值——这种场景下出现0 5 0这类看起来毫无逻辑的输出是完全正常的，不存在固定的成因解释，因为代码本身就属于标准未定义的行为范畴。

补充提醒 #

只要你的代码里，在同一函数调用的相邻参数表达式中，既读取了同一个变量的值，又对这个变量做了修改，且没有顺序点做同步，不管输出什么奇怪结果都不需要意外——这是标准定义的未定义行为，不是编译器bug，也不存在“固定正确结果”。 #

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