c - 数组操作结果

Question

有人可以让我更深入地了解为什么这段代码以它的方式工作吗

#include <stdio.h>

int main()
{
    int a[5] = {1,2,3,4,5};
    int i;
    for(i=0;i<5;i++)
    {
     printf("%d,%d \n",i[a],i[a]++);
    }
    return 0;
}

结果是

2,1 
3,2 
4,3 
5,4 
6,5 

谢谢

Answer 1

行为未定义。

N1256 6.5p2:

Between the previous and next sequence point an object shall have its stored value modified at most once by the evaluation of an expression. Furthermore, the prior value shall be read only to determine the value to be stored.

程序修改i[a](在i[a]++中)并读取它的值(在下一个参数中)，以及读取的结果该值不用于确定要存储的值。

这不仅仅是函数参数求值顺序的问题； i[a]++ 和 i[a] 之间没有序列点这一事实(因为它不是逗号 operator)意味着行为，而不仅仅是结果，是未定义的。