C指针加整数、两个指针相减的问题

源文是写C++情况下的，我做测试用的是C， Linux环境下。我做的，就是写下测试程序，来验证C环境下的结果。

原文内容：

说来惭愧，写C++有一段时间了。这个问题从来没有认真考虑过，此次标记于此：

考虑如下问题：

1     char a[20];

2     int *ptr = (int *)a;

3     ptr++;

第3句ptr++实际为ptr右移一个int空间（即4个字节）的距离，此时ptr指向a[4]。
若第3句改为

int *p = ptr + 2;

则p指向a[8]

这里说明当指针加整数时，指针向后偏移的距离看的是声明该指针的类型（此处即int），而非指向的实际类型（此处即char）！！！
另外，如果我就是想在第3句处得到a后面一个字节的地址怎么办？

可以这样：

void *p = a;

p = p + 1;

（这里注意：c++不允许p++或++p）
void类型的指针加整数，即为指针实际向后偏移的字节数。

同理，若

int *pa0 = (int *)&a[0];

int *pa4 = (int *)&a[4];

std::size_t s = pa4 - pa0;

则s等于1

那么如果

int *pa3 = (int *)&a[3];

int *pa5 = (int *)&a[5];

std::size_t s2 = pa3 - pa0;

std::size_t s3 = pa5 - pa0;

这里的s2，s3又分别等于多少呢，

是的，如你所想：s2等于0，s3等于1
可见，同类指针（当然也只有同类指针允许相减，如pa3和pa0）相减得到的整数值，等于两指针减的距离除以sizeof(声明指针的类型)，然后取整（此处即static_cast<int>((pa3 - pa0) / sizeof(int))）。

测试程序：

#include <stdio.h>

int main() {
char a[20] = { '\0' };
int *ptr = (int *) a;
ptr++;

printf("a = %p, ptr-1 = %p, ptr = %p\n", a, ptr - 1, ptr);

void *p = a;
p++;

printf("a = %p, ptr-1 = %p, ptr = %p\n", a, p - 1, p);

int *pa0 = (int *) &a[0];
int *pa4 = (int *) &a[4];
int s1 = pa4 - pa0;

int *pa3 = (int *) &a[3];
int *pa5 = (int *) &a[5];
int s2 = pa3 - pa0;
int s3 = pa5 - pa0;

printf("s1 = %d, s2 = %d, s3 = %d\n", s1, s2, s3);
}

测试结果：

[root@SUCRE-PC src]# ./test
a = 0xbfa153b8, ptr-1 = 0xbfa153b8, ptr = 0xbfa153bc
a = 0xbfa153b8, ptr-1 = 0xbfa153b8, ptr = 0xbfa153b9
s1 = 1, s2 = 0, s3 = 1
[root@SUCRE-PC src]#