C语言运算符优先级与表达式执行顺序的核心疑问

你遇到的所有困惑，本质上是把语法优先级、语法结合性、表达式求值顺序三个完全独立的概念混为一谈，这是C语言初学者最普遍的认知误区。这三个规则分别管完全不同的事，没有任何等价关系。

第一类报错来源：三目运算符的优先级分组问题 #

你最开始写的无括号版本a > b ? c = a : c = b;的编译报错，和运行时执行顺序完全无关，纯粹是语法解析的问题：

• C语言中三目运算符的优先级远高于赋值运算符，编译器解析这行代码时，会按照优先级把代码拆成(a > b ? c = a : c) = b;
• 这个拆分后的表达式，左边是三目运算的返回值（属于不能被赋值的右值），所以才会触发“给非可修改左值赋值”的编译错误。
• 你在冒号后加括号改成a > b ? c = a : (c = b);，本质是强制改变语法分组结构，让编译器把冒号后的c = b识别为三目运算符的完整分支子表达式，而不是把c绑成三目分支的返回值、把后面的= b当成独立的赋值。这时候根本不存在“括号里的代码比三目判断先执行”的情况——三目运算符是C语言强制规定了求值顺序的运算符，永远会先判断条件表达式，再根据判断结果选择执行两个分支中的一个，绝对不会跳过判断直接跑分支里的赋值。

第二部分：加法测试的结果，和优先级没有任何关系 #

你做的两组加法测试，本质上是触碰到了C语言中“求值顺序未定义”的规则边界，和优先级高低没有关联：

1. 先明确优先级的真实作用：优先级从来都不决定代码的执行先后顺序，只决定没有括号时，运算符会和哪个操作数绑定成一组。比如printf("Number is %d", i) + (i = 5);这行代码，加法运算符的两个操作数已经通过括号完成了分组：左边是printf函数的返回值，右边是i=5表达式的返回值——这个分组结果是确定的，但是两个操作数哪个先计算，C语言标准完全没有强制规定。
2. 你的测试结果是终端输出i的旧值，只是因为你当前使用的编译器（如默认配置的GCC、MSVC）在处理这个加法表达式时，选择了先计算左侧的printf操作数，再计算右侧的i=5操作数。printf执行的时候，i=5还没跑，自然输出的是旧值。
3. 你调换顺序写成(i = 5) + printf("Number is %d", i);时输出5，也不是因为左边的表达式在前面就必须先执行，同样只是你的编译器当前选择了先算左侧的赋值操作数、再算右侧的printf而已。这个行为没有任何语言层面的强制保障，只要编译器愿意，完全可以先算右侧的printf、再跑左侧的i=5，输出旧值，这种写法在C标准下是完全合规的。

到底哪些规则是强制的执行顺序 #

C语言只对极少数有特殊语义的运算符，明确规定了操作数的求值顺序，其余所有二元、一元运算符的操作数求值顺序全部是未指定的，编译器可以根据优化需求自由调整：

• 三目运算符条件 ? 表达式1 : 表达式2：必须先算条件，根据结果只计算选中的那个分支，两个分支不会全部执行，也不会先跑分支再算条件。
• 逻辑与&&、逻辑或||：必须从左到右计算，左侧表达式已经能确定最终结果时，右侧直接跳过（即短路求值规则）。
• 逗号运算符,:必须从左到右依次计算所有子表达式，最后返回最右侧子表达式的结果。
• 函数调用流程：必须先计算函数名表达式、所有实参表达式，全部得到确定值后，再进入函数体执行。但注意，多个实参之间的计算顺序是没有规定的。

纠正两个常见认知误区 #

误区1：括号包裹的表达式会优先于同一行所有逻辑执行
真相：括号的核心作用是强制改变语法分组，不改变整个子表达式在大表达式中的求值时序。比如int sum = (a + b) * (c + d);，两个括号里的加法运算谁先算没有任何强制规定，编译器只要最后把两个括号的结果做乘法就算合规。
误区2：优先级高的运算符对应的代码一定先执行
真相：优先级只决定语法绑定关系，和执行顺序无关。比如int res = 2 + 3 * 4;里，优先级决定了3和4绑定为乘法操作数，但因为2是无副作用的常量，不管先算哪个子表达式，最终结果都是14。一旦操作数是带有副作用的函数调用、赋值操作，求值顺序的差异就会直接导致结果不同，而这种顺序是编译器可以自由选择的。

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