C语言指针系列三——指针运算本质

C语言指针系列三——指针运算本质

对于如下的声明：

int arr[]={1,3,5,7,8};
int *p;
p=arr;

尽管最后一个语句看起来是将一个指针赋值为数组名，但C语言中并不存在指向数组的指针，日常说某某个指针指向了数组只不过是一种习惯，并不是说真的有一个数组型的指针指向了数组。事实上，如上面的程序段，因为arr是一个int类型的数组，arr里面的元素全都是int型，p=arr实际上是将整型指针p指向了数组的首元素1(是一个整型)，更具体的是p指向了数组首元素的首字节——p存储的是数组首元素的首字节的地址。

因为p是一个整型指针变量(假设int占4个字节)，它指向了一个int。所以对p进行自加的结果是p原来的值加上4(4刚好是一个int占的字节数)。有了这个铺垫，也就有了下面的巧合：

#include<stdio.h>
int main()
{
   int arr[] = { 1,3,5,8,9 };
   int* p;
   for (p=arr; p < arr + 5; p++)
   {
       printf_s("%d----%p\n",*p,p);
   }
   printf_s("%p--%p", arr,arr+5);
   return 0;
}

在for循环里，因为p指向了一个整型变量，对p进行自加是在原来的值上加上4，因为数组在内存中是连续存储的，所以对p进行自加的结果恰好是下一个元素的首地址。此时输出*p就是数组的下一个元素。arr+5就是在arr本身的值的基础上加上5个int所占的字节，也就是20。输出结果如下：

内存地址是用16进制表示的，可以看到，每一次自加p，p的值就相差4。在最后的输出中，arr与arr+5相减的结果是00000014，它等当10进制数20（5个int占的字节数）。

再看下面的代码：

#include<stdio.h>
int main()
{
      int arr[] = { 1,3,5,8,9 };
      char arr2[] = {'a','b','c'};
      double arr3[] = {10,12,5,8};
      int* p=arr;
      char *p2=arr2;
      double *p3=arr3;
      printf_s("int占%d字节数，char占%d字节数，double占%d字节数\n",sizeof(int),sizeof(char),sizeof(double));
      printf_s("%p----%p\n",p,p+1);
      printf_s("%p----%p\n", p2,p2+1);
      printf_s("%p----%p\n", p3,p3+1);
      return 0;
}

输出为：

试着将对应的16进制数相减，然后再转换为10进制，看看有什么发现…

原来，将一个指针变量加1(或自加)就是在指针变量原始的值的基础上加上指针变量所指向的类型在内存所占的字节数。如指向int型的指针加1将会加上4,指向char型的指针加1将会加上1，指向double型的指针加1将会加上8。

让我们再来看一下数组，arr[1]是选取数组arr的第1位元素(从第0开始)，事实上，数组名再加一对中括号选取数组元素是一个语法糖，编译器并不是按照这种方式来处理数组的。对编译器说arr[1]相当于*(arr+1)，这才是编译器处理数组的方式。语句*(arr+1)首先对括号里的arr+1进行运算，它将得到数组元素第1个元素(从第0开始)的地址，然后利用*号取得这个位置的值，它等价于arr[1]。由于编译器是按照*(arr+1)的方式来处理数组的。因此下面的这两种方式可能非常常见：

#include<stdio.h>
int main()
{
      int arr[] = { 1,3,5,8,9 };
      int* p=arr;
      for (int i = 0; i < 5; i++)
      {
             printf_s("%d,", *(p +i));
      }
      printf_s("\n");
      //or
      for (; p < arr + 5;)
      {
             printf_s("%d,", *p++);
      }     
      return 0;
}

输出为:

通过指针来访问数组被认为是高效的，毕竟这是编译器处理数组的方式。但不得不说，这是一种古老的说法(以前的确是更加高效)，现代的编译器都是经过高度优化的，使用*(arr+1)来访问数组并不比使用arr[1]访问数组带来实质的效率提升，但它的坏处非常明显——它更难以阅读，到底使用何种方式来使用数组，这里不给出建议。