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]#