C语言编程之指针和数组的深入理解

1、在32 位统下，不管什么样的指针类型，其大小都为4byte。可以测试一下sizeof（void *）。现在64位系统已经出现了，在64位系统下，指针的大小应为8个字节。

2、定义一个数组：int a[5]。

如何理解？分配的这块内存空间名字就叫a，a[0]~a[4]为数组a的元素，不是元素的名字，数组元素是没有名字的！a代表的数组首元素的首地址，而不是数组的首地址，&a才代表的是整个数组的首地址！

所以：sizeof(a)=20,sizeof(a[0]) = 4

注意：sizeof(a[5])的值在32 位系统下为4。并没有出错，为什么呢？我们讲过sizeof 是关键字不是函数。函数求值是在运行的时候，而关键字sizeof 求值是在编译的时候。虽然并不存在a[5]这个元素，但是这里也并没有去真正访问a[5],而是仅仅根据数组元素的类型来确定其值。所以这里使用a[5]并不会出错。

3、指针数组和数组指针

1) int *p1[10];

2) int (*p2)[10];

上述两个定义，哪个是数组指针，哪个是指针数组？

指针数组，首先是一个数组，数组的元素都是指针，数组占多少字节有数组本身决定，它是“存储指针的数组”的简称。

数组指针，首先它是一个指针，指向的是一个数组，在32位系统中永远占4个字节，至于它指向的数组占多少字节，不知道，它是“指向数组的指针”的简称。

上述1），由于[]的优先级比*高，所以p1先于[]结合成一个数组，数组名为p1，int*修饰的是数组的内容，即数组的元素是int*类型的。所以1)是一个数组，包含10个指向int类型数据的指针，所以1）是一个指针数组。

上述2），（）的优先级比[]高，所以p2先于*结合，构成一个指针，指针变量名为p2，int修饰的是数组的内容，即使组的每个元素，数组没有名字，是个匿名数组。所以，p2是一个指针，指向的是一个包含10个int型变量的数组，所以2）是数组指针。2）的定义应该为int (*)[10] p2;

4、地址强制转换

示例:

struct Test{

int num;

char * name;

short sdate;

char c[2];

short s[4];

}*p;

假设p=0x{{10000000:0}}，则：

p + 0x1 = ？

(unsigned long)p + 0x1 = ？

(int*)p + 0x1 = ？

解析：指针变量与一个整数相加减并不是用指针变量里的地址直接加减这个整数。这个整数的单位不是byte 而是元素的个数。所以：

p+0x1 = p + sizeof(Test)*0x1

(unsigned long)p + 0x1 的值呢？这里涉及到强制转换，将指针变量 p 保存的值强制转换成无符号的长整型数。任何数值一旦被强制转换，其类型就改变了。所以这个表达式其实就是一个无符号的长整型数加上另一个整数。所以其值为： 0x{{10000001:0}}。

(unsigned int*)p + 0x1 的值呢？这里的 p 被强制转换成一个指向无符号整型的指针。所以其值为： 0x{{100000:0}}+sizof（unsigned int ）*0x1，等于 0x{{10000004:0}}