[C++知识库]数组与指针引起的语义“陷阱”

以下讨论以32位系统为例
1.指针++和变量++的区别
在C语言中基本数据类型在内存中所占空间是不同的，比如char型1个字节，short型2个字节，int型4个字节，float型4个字节…
然而指针类型所占字节只和处理器的位数有关，比如32位系统的指针变量一般为4个字节；

int a[] = {1,2,3,4,5,6,7};
int x = a[0];
int *p = a;

printf("++x=%d\n", ++x);
printf("%p\n", p);
printf("%p\n", a);
printf("%p\n", &a[0]);
printf("++p=%p\n", ++p);
printf("*p=%d\n", *p);

输出结果：
++x=2
0x7ffe3aca15f0
0x7ffe3aca15f0
0x7ffe3aca15f0
++p=0x7ffe3aca15f4
*p=2

总结：指针p存放的值是数组a的首地址，也就是a[0]的地址；如上面所说，指针的大小统一为4个字节，所以指针++操作是将指针指向下一个元素，而普通变量++操作是将变量的值++操作；我们可以把这里的a看做是一个特殊的指针而有别于指针，最明显的一个例子是这里的sizeof(a) = sizeof(a[0]*7), sizeof§ = 4; 注意sizeof是运算符而不是函数。
2.二维指针和数组的赋值操作（数组指针）
以下代码存在什么问题？

int a[2][3] = {{1,2,3},{4,5,6}};
int *p = a;

有人认为a和p都是int型指针，所以可以赋值；然而实际情况是a是一个指向数组的指针，p是一个指向整形变量的指针，两者类型不匹配是无法直接赋值操作的；
如果要实现赋值操作就要将p定义为指向一个int型数组的指针，也就是“数组指针”；即 int (*p)[3];
以下代码可以正确编译：

int a[2][3] = {{1,2,3},{4,5,6}};
int (*p)[3];
p = a;

3.指针数组和数组指针
其实这两个名词本来是不需要单独说明有什么不同的，因为两者本就是不同的东西，为了比较清楚的说明，我这里用两组例子：
1）当我们需要实现一个简易计算器的功能时需要定义四种运算：

int Add(int opr1, int opr2)
{
	return opr1 + opr2;
}

int Sub(int opr1, int opr2)
{
	return opr1 - opr2;
}

int Mul(int opr1, int opr2)
{
	return opr1 * opr2;
}

int Div(int opr1, int opr2)
{
	return opr1 / opr2;
}

int (*opfs[4])(int opr1, int opr2);
opfs[0] = Add;
opfs[1] = Sub;
opfs[2] = Mul;
opfs[3] = Div;

这里的opfs就是一个指针数组，它的每一个元素指向一个形参为(int,int)返回值为int 的函数；
4.数组做参数退化为指针
char *hello = “hello”;
1)printf("%s\n", hello);
2)printf("%s\n", &hello[0]);
其中2和1的效果完全相同，因为printf函数需要的是一个“连续存储单元”的首地址，也就是说，由于数组元素在内存中占据的是连续内存单元，所以我们只需要知道这一片连续内存单元的第一个元素的地址就可以了；因此没有必要将数组的个数传入；当然对于其他类型如自定义结构体数组作为参数传给函数使用时，我们往往需要将数组的个数作为辅助参数使用；比如：

int a[5] = [1,2,3,4,5];
Func(a, 5);

Func定义：
void Func(int *p, int len)
{
	//函数具体操作
}