今天有看到关于 *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
结果跟预期一致。
---- 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
了。