C语言二级指针自增操作的程序输出与预期差异问题解析

整个推演的偏差来自两个和代码实际执行逻辑不符的固有假设，逐行拆解64位环境下的实际内存布局就能理清整个过程：

核心认知偏差 #

你最初的推演建立在两个不符合代码实际行为的前提上：

• 误以为p是包含5个元素的int*指针数组，有连续排列的内存布局
• 误以为int **ptr = p会把p变量的内存地址赋值给ptr，让ptr指向p本身

逐行对应执行逻辑 #

以64位GCC（也就是你跑出500结果的典型环境）的兼容行为为基准，假设静态段中x数组的基地址为0x555555558020，每一步的内存变化如下：

1. static int x[]={100,200,300,400,500};
   这行没有语法问题，x是连续存储的int数组，每个int占4字节，内存分布为：
   • 地址0x555555558020：存放100（x[0]）
   • 地址0x555555558024：存放200（x[1]）
   • 地址0x555555558028：存放300（x[2]）
   • 地址0x55555555802c：存放400（x[3]）
   • 地址0x555555558030：存放500（x[4]）
2. static int *p={x+2,x,x+3,x+4,x+1};
   这行的语法本身是不符合C标准约束的：左边的p是单个int*类型的标量变量，不是数组（因为缺少[]声明）。在老C编译器的兼容逻辑下：
   • 只会把花括号中的第一个值x+2赋值给p，也就是p内存中存的数值为0x555555558028（即x[2]的地址）
   • 剩下4个花括号内的初始化值因为超出单个标量的初始化需求，会被编译器直接忽略，不会写入任何内存位置。根本不存在你想象中“p的第二个元素为x”的连续数组布局。
3. int **ptr=p;
   这里存在类型不匹配问题：p是int*类型，ptr是int**类型。编译器不会自动帮你获取p的地址，只会把p内存中存储的数值（也就是0x555555558028）原样赋值给ptr。也就是说，ptr从初始化开始就不指向p变量本身，而是直接存了x[2]所在位置的地址值。
4. ptr++;
ptr的类型是int**，自增操作的步长为sizeof(int*)，在64位环境下这个值是8字节。也就是ptr存储的地址值会在原有0x555555558028的基础上加8，变成0x555555558030，刚好落在x[4]所在的内存位置。
5. printf("%d",*ptr);
   这里仅对ptr做了一次解引用操作：读取ptr当前指向的地址（0x555555558030）中的内容，这个位置本来就是x[4]，存储的整数值就是500。printf按%d格式把这个读到的数值打印出来，就得到了500的输出结果。

为什么会预期得到100 #

你之前推演的100输出，其实对应的是修正后的合法代码逻辑，和当前代码完全不同：

只有当把p声明为真正的指针数组static int *p[] = {x+2,x,x+3,x+4,x+1}、把ptr的初始化改为取p的地址int **ptr = &p、打印时多做一次解引用printf("%d", **ptr);，ptr++之后才会指向p数组的第二个元素（存储x的位置），两次解引用后才能拿到x[0]的值100。

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