C语言指针运算输出垃圾值，为何未得到预期的0？

问题描述 #

我在测试数组指针的前置/后置递增操作时，使用指针p和q访问数组元素，最后一条涉及p的printf输出结果异常，得到垃圾值而非预期的0。

测试代码 #

#include <stdio.h>

int main(void)
{
        int a[] = {10, 11, -1, 56, 67, 5, 4};
        int *p, *q;
        p = a;
        q = &a[0] + 3;
        printf("%d, %d, %d\n", (*p)++, (*p)++, *(++p));
        printf("%d\n", *p);
        printf("%d\n", (*p)++);
        printf("%d\n", (*p)++);
        q--;
        printf("%d\n", (*(q + 2))--);
        printf("%d\n", *(p + 2) - 2);
        printf("%d\n", *(p++ - 2) - 1);
}

实际输出 #

12, 11, 11
13
13
14
67
54
**22025**

预期与疑问 #

我原本预期最后一条printf输出0，分析过程是：前面代码执行后p应指向数组第四个元素a[3]；执行*(p++ - 2) -1时，p先递增指向a[4]，再向后偏移2位指向a[2]，取值后减1结果应为0，但实际得到垃圾值。请问哪里出错了？

错误分析与解答 #

1. 纠正对p++ - 2的理解错误 #

后置递增p++的核心逻辑是：先使用p当前的地址值参与运算，运算完成后再将p的地址自增1，完全不是你以为的“先递增再偏移”。所以p++ - 2的实际执行顺序是：

• 先取当前p的地址，减去2个int元素的偏移量（即2 * sizeof(int)），得到一个新的指针地址；
• 完成上述偏移运算后，p才会自增指向后一个元素。

2. 一步步追踪p的指向变化 #

我们从头梳理p的状态变化：

• 初始状态：p = a，指向数组第一个元素a[0]（值为10）。
• 第一条printf：printf("%d, %d, %d\n", (*p)++, (*p)++, *(++p));
  注：C语言中函数参数的求值顺序属于未定义行为，这里从你的输出反推，编译器是从右往左求值：
  • 先执行*(++p)：p自增指向a[1]，取值11作为第三个输出值；
  • 再执行第二个(*p)++：取a[1]当前值11输出，之后a[1]的值变为12；
  • 最后执行第一个(*p)++：取a[1]当前值12输出，之后a[1]的值变为13；
    此时p仍指向a[1]，a[1]的值为13。
• 第二条printf：输出a[1]的当前值13，p指向不变。
• 第三条printf：输出a[1]的当前值13，之后a[1]变为14，p指向不变。
• 第四条printf：输出a[1]的当前值14，之后a[1]变为15，p指向不变。
• 第五条printf：q初始指向a[3]，q--后指向a[2]；q+2指向a[4]，取值67输出后a[4]变为66，此步骤不影响p。
• 第六条printf：p指向a[1]，p+2指向a[3]，a[3]值为56，56-2=54，与输出一致，p指向仍不变。
• 最后一条printf：printf("%d\n", *(p++ - 2) - 1);
  执行过程：
  1. 取当前p的地址（指向a[1]），减去2个int元素偏移，得到的地址是a[1] - 2 = a[-1]——这是数组越界的非法地址，不属于数组a的内存范围，读取到的是垃圾值；
  2. 完成偏移运算后，p自增1指向a[2]；
  3. 用垃圾值减1，就得到了你看到的随机数（每次运行结果可能不同）。

3. 你的核心错误点 #

你混淆了后置递增与前置递增的执行顺序，错误地将p++ - 2等同于(++p) - 2，导致指针偏移到数组前侧的非法内存区域，最终读取到垃圾值。

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