我们知道C语言中定义的数组如:
int a[5] = {1,2,3,4,5};
数组名 a 代表的就是数组的首地址 即 &a[0] , 数组中第n个元素的地址 = a + (n-1)*sizeof(int) .
那么当我们定义如下两个指针:
int *p, *q;
p = &a[1];
q = &a[3];
并将数组中某两元素的地址分别赋给 p,q .显然
p的物理地址为 a+sizeof(int) = a + 4
q的物理地址为 a+3*sizeof(int) = a+12
那么当我们输出:
printf("%d\n", a[q - p]);
将得到什么结果呢?运行结果如下图:
事实上,对于p和q的赋值语句还可以写成:
p = a + 1;
q = a + 3;
很显然的 a[q-p] 就表示a[2]了。但是这种两个指针的差也只有在同一数组中才能表示两元素的下标差。
倘若p,q指向的不是同一数组元素,即使它们所指向的地址在内存中的位置正好间隔一个数组元素,结果也是不确定的。