C数组指针 ++ 操作总结

今天有看到关于 *p++ 的代码，就把这些都码一遍，归纳总结。

首先看下面 C 代码

int array[5] = {1,2,3,4,5};
int *p = array;

printf("---- p = %p \n", p);
printf("---- *p++ = %d \n", *p++);
printf("---- p = %p \n", p);

可能心里已经有答案了

---- p = 0x7ffee30c2aa0 
---- *p++ = 1 
---- p = 0x7ffee30c2aa4

很显然，对于 *p++ 来说，先取得 *p 在对指针 p 执行自增运算，由于自增运算符是右结合，所以对于操作 *p++ 和 *(p++) 来说，结果都是一致的，虽然 ++ 运算符的优先级高于 *, 但是由于是 右++, 因此仍旧率先执行 *p 运算，后执行 p++

printf("---- *(p++) = %d \n", *(p++));

---- *(p++) = 1

而且对于 p 指针来说，自增运算就是 p 所指向的内存地址 +1 操作，那这个 +1 操作应该怎么来执行呢？我们知道对象在初始化的时候需要申请内存地址，一般用 malloc() 来执行，在动态申请内存地址的时候我们一般会执行 count * malloc(sizeof(类型)) 这种方式，意思就是告诉计算机需要申请这一段内存地址来存储变量，而且还需要根据变量的类型把此块内存区域平均分成 count 块，每块所占用的内存大小为 sizeof(类型)。回到此例，变量类型为 int, sizeof(int) = 4, 从控制台的地址中也能容易看出，执行 p++ 后，p 指向的内存地址移动了4个字节, 对应数组，现在 *p 指向的 array 中数字 2 的位置。

printf("---- *p = %d \n", *p);

---- *p = 2

既然对于 右++ 来说，*p++ 和 *(p++), 结果完全一样，那 (*p)++ 呢?

printf("---- (*p)++ = %d \n", (*p)++);

---- (*p)++ = 1

也没什么区别，真是这样嘛？答案是否定的，对于 *p++ ，自增运算符的作用对象是 p, 表现为 p 所指向的 array 的位置，本来指向 array[0], 执行完 *p++ 后，p 指向 array[1]; 而 (*p)++ 中，自增运算符的作用对象是 (*p), 也就是 array[0] 的值，对于指针 p 所指向的具体位置并没有任何改变。

printf("---- array = ");
for(int i=0; i<sizeof(array)/sizeof(array[0]); i++) {
    printf("  %d", array[i]);
}

结果跟预期一致。

---- array =   2  2  3  4  5

操作完 右++ 的情况，现在来看 左++

printf("---- *++p = %d \n", *++p);
printf("---- *p = %d \n", *p);

---- *++p = 2 
---- *p = 2

当然, 此时 *++p 与 *(++p) 等同，运算符先自增后进行取地址操作。

我们来看另一个例子:

int a[5] = {1, 2, 3, 4, 5};
int *ptr = (int *)(&a + 1);
printf("%d, %d \n", *(a + 1), *(ptr+1));

根据上面分析，很容易得出

*(a + 1) = 2;

现在我们令

int *p = a;

对于输出

printf("%p, %p \n", &a, p);

0x7ffee3993aa0, 0x7ffee3993aa0

但是，

int *ptr = (int *)(&a + 1);  不等同于  int *ptr = (int *)(p + 1);

这是因为 &a 代表了 a 整个数组，而 p 仅代表数组中的一个元素，根据我们之前分析，在执行 +1 操作时，真正加上的是 sizeof(类型)，而

sizeof(a) = 20;   //也可以理解为 5 * sizeof(int) = 20;
sizeof(*p) = 4;

这根log出来的一致

printf("%p, %p \n", &a, ptr);

0x7ffeea171aa0, 0x7ffeea171ab4  //16进制下，刚好多了20个字节

故，对于 int *ptr = (int *)(&a + 1); 来说，&a + 1 就等同于 a + 5，那么 ptr + 1 就相当于 a + 6, *ptr 已经不在指向 数组 a 中，所以 *(ptr+1) 的结果是未知的; 当然如果换成 *(ptr-1) 那就相当于 a + 4，结果就是 5 了。

最后编辑于：2019.07.11 10:26:33