C/C++中逗号运算符表达式是否存在未定义行为？

咱直接直奔主题，先把最核心的点说透：C/C++里的逗号运算符（注意不是函数参数列表里的逗号分隔符）是自带序列点的——这意味着逗号左边的操作会完全执行完毕，所有副作用都生效后，才会执行右边的操作。这是它和分号、以及那些危险表达式最本质的区别。

先回答第一个问题：a = b, ++a;属于未定义行为吗？ #

完全不属于！因为逗号运算符的序列点会保证：

• 先执行a = b，把b的值赋值给a，这个操作的副作用（a的值更新）完全生效；
• 之后才执行++a，对a进行自增。
  整个过程的执行顺序是明确的，没有任何歧义，编译器不会乱搞，所以不存在未定义行为。

再逐个分析你给出的三段代码 #

1. 示例1：a = b + a++
   这确实是标准的未定义行为，没跑儿。原因是在同一个序列点（整个表达式结束的分号）之前，a既被读取（用于计算b+a）又被修改（a++），而且C/C++标准没有规定这两个操作的执行顺序——编译器可以先算b+a再自增，也可以先自增再算b+a，甚至搞点别的骚操作，结果完全不可预测，绝对要避免写这种代码。

2. 示例2：a = b + a; a++
   分号是明确的序列点，前一句a = b + a执行完毕，a的值已经确定更新为b+a，之后才会执行a++。逻辑清晰，没有任何问题，完全安全。

3. 示例3：a = b + a, a++
   这里的逗号是逗号运算符，不是分隔符，它的左右操作数之间存在序列点！所以执行顺序和示例2完全一致：

   • 先执行左边的a = b + a，a的值更新为b+a；
   • 序列点之后，执行右边的a++。
     所以示例3和示例2是完全等价的，不存在未定义行为，和示例1有本质区别。

关于free(foo), foo = bar的疑问 #

同样的道理，逗号运算符带来的序列点会保证：

• 先完整执行free(foo)，释放foo指向的内存（副作用生效）；
• 之后才执行foo = bar，把foo赋值为bar的地址。
  这和写成free(foo); foo = bar是完全一样的效果，没有任何问题——当然前提是bar本身是合法的指针，这属于逻辑问题，和逗号运算符无关。

最后提醒一个容易混淆的点 #

别把逗号运算符和函数参数里的逗号分隔符搞混！比如func(a++, a)，这里的逗号只是用来分隔参数的，没有序列点，所以这属于未定义行为，和我们上面说的逗号运算符完全是两码事，千万要区分清楚。

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