有人可以解释一下这个 C 程序的输出吗？

代码如下：

int a=256;
char *x= (char *)&a;
*x++ = 1;
*x =x[0]++;
printf("a=%d\n", a);

输出为：

a=257