C语言中i=i++与i=++i在C11/C17/C23下是否均为未定义行为？

一、C99标准下的判定 #

在C99标准的序列点规则框架下，i=i++;和i=++i;均属于未定义行为——序列点之间对同一标量对象的多次修改，或修改与读取操作的无约束组合，直接触发未定义行为判定。

二、C17/C23标准的核心判定规则 #

C17及后续C23标准用「先序于（sequenced before）」「无顺序（unsequenced）」替代了序列点概念，核心规则如下：

若标量对象上的副作用相对于同一标量对象上的另一副作用，或相对于使用同一标量对象值的计算无顺序，则行为未定义。若表达式子表达式存在多种允许的排序方式，只要其中任何一种排序中出现此类无顺序的副作用，行为即为未定义。

三、i=i++;的未定义行为判定 #

i=i++;包含两个独立副作用：后置++对i的递增操作，以及赋值操作对i的写入操作。根据标准规则，这两个副作用之间无顺序约束——编译器可自由选择执行顺序，因此直接触发未定义行为。

四、i=++i;的未定义行为原因 #

你对i=++i;的疑问核心在于前置++与赋值的顺序关系，实际上该表达式仍属于未定义行为，原因是：
前置++操作分为两步：一是对i执行递增的副作用，二是生成i更新后的左值作为表达式结果；而赋值操作需要先完成左值i的地址计算（值计算），再将右侧结果写入该地址（副作用）。

根据标准，前置++的递增副作用与赋值操作中左值i的值计算之间是无顺序的——编译器既可以先完成i的递增再计算左值地址，也可以先计算地址再执行递增。这种无顺序的操作组合，恰好命中了标准中「同一标量对象的副作用与值计算无顺序」的未定义行为触发条件，因此i=++i;在C11/C17/C23中依然是未定义行为。

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