理解C语言中指向数组元素的指针之差为元素个数

一.调试目的：
　　观察指向数组元素的指针之差为数组元素个数的现象。
二.调试步骤：
　　观察int和char型数组的现象，对比两类型输出的地址差作，可以排除数组元素指针做差是简单通过所指向的数组元素下标做差而来的猜想。
三.调试代码：
#include <stdio.h>
int main (void) {
      char a[ ] = {'a','b','c','d','e'};
      int b[ ] = {2,3,4,5,6};
      char * pa1 = &a[1];
      char * pa2 = &a[3];
      int * pb1 = &b[1];
      int * pb2 = &b[3];
      
      printf ("pa[3] = %p\n", pa2);
      printf ("pa[1] = %p\n", pa1);
      printf ("pa[3]-pa[1]:%x\n", pa2-pa1);
      printf ("pb[3] = %p\n", pb2);
      printf ("pb[1] = %p\n", pb1);
      printf ("pb[3]-pb[1]:%x\n", pb2-pb1);

      return 0;
}
四.编译结果：

pa[3] = 0xbfd8be6a
pa[1] = 0xbfd8be68
pa[3]-pa[1]:2
pb[3] = 0xbfd8be4c
pb[1] = 0xbfd8be44
pb[3]-pb[1]:2

分析：可以看到char型，int型数组元素指针之差都为2，即指向元素下标之差。char型数组元素指针的地址差为2（=2*1）（1为char字节大小），int型数组元素指针的地址差为8（=2*4）（4为int字节大小）。

说明数组元素的地址差是int型大小4乘以元素下标差（即元素相差个数）的，但指向数组元素的指针相减，printf会输出相差的元素个数。这是与printf的实现有关的，我们通过联想C语言的数组知识来理解记忆，在数组中，我们知道数组首地址加上一个偏移量，就可以得到对应下标的元素，而这里我们的情况是变成指针做差的而已。