a[i] = i++;

4.8 那么, 对于 a[i] = i++; 我们不知道 a[] 的哪一个分量会被改写,但 i 的确会增加 1, 对吗？

不一定！如果一个表达式和程序变得未定义, 则它的所有方面都会变成未定义。