指针数组和数组指针

        指针数组本质上是一个数组，数组里面存放的元素是指针，也就是存放指针的数组。指针数组的声明为 DataType *p[n]。比如我们声明 int *p[n]，它表示声明了一个数组，数组共有 n 个元素，每个元素都是指向 int 类型的指针。换句话说，也就是声明了一个存放 n 个指向 int 类型指针的数组。其中 p 是数组名，很容易验证，我们知道一个指针不管指向任何类型，其占用内存大小是 4 个字节，那么对于指针数组 int *p[n] 来说，其占用内存大小应该为 n*4，通过下面的小例子可以说明：

#include <iostream>
using namespace std;

int main()
{
	int *p1[3];
	double *p2[3];
	cout << "sizeof(p1) = " << sizeof(p1) << endl;
	cout << "sizeof(p2) = " << sizeof(p2) << endl;

	return 0;
}

运行结果如下：

下面再说一下数组指针，数组指针本质上是一个指针，该指针指向一个数组，也就是说是指向数组的指针。数组指针的声明为 DataType (*p)[n]，因为 [ ] 的优先级高于 *，所以数组指针的声明加了一个圆括号。比如说 声明一个指针数组 int (*p)[n]，其中 p 是一个指针，指向一个整型的一维数组，这个一维数组的长度是 n。

数组指针和二维数组的联系比较密切，下面通过例子来说明：

        int a[2][2] = {1, 2, 3, 4};

        int (*p)[2];     // p 是一个数组指针变量

        p = a;

结合下图来分析上例：

a 是数组名，指向这块连续空间的首元素，首元素是一维数组 a[0]，所以 a 的类型是指向一维数组 a[0] 的指针，a 的值是 &a[0][0]。a[0] 是一维数组名，类型是指向整型的指针，值是 &a[0][0]，同样 a[1] 也是指向整型的指针，值是 a[1][0]。还有，a 的值等于 a[0]，也等于 &a[0]，也等于 &a[0][0]，下面代码的运行结果可以说明 a、a[0]、&a[0]、&a[0][0] 的值都是一样的：

#include <iostream>
using namespace std;

int main()
{
	int a[2][2] = { 1, 2, 3, 4 };
	cout << a << endl;
	cout << a[0] << endl;
	cout << &a[0] << endl;
	cout << &a[0][0] << endl;

	return 0;
}

运行结果：

a 的值是指针常量，不能有 a++ 或 a = p 这样的操作。而 p 是一个数组指针变量并指向一维数组 a[0]，值是 &a[0][0]，p可以执行 p++ 或 p = a 这样的操作。a + 1 和 p + 1 表示指向下一个一维数组，即指向下一行元素。a[0] + 1 表示指向第 0 行的下一个元素，即指向一维数组 a[0] 的第一号元素 a[0][1]。

p 和 a 是有区别的，p 是一个数组指针变量，a 是二维数组名。关于它们的区别先看第一个代码：

#include <iostream>
using namespace std;

int main()
{
	int a[2][2] = { 1, 2, 3, 4 };
	int(*p)[2];
	p = a;
	cout << "sizeof(a) = " << sizeof(a) << endl;
	cout << "sizeof(p) = " << sizeof(p) << endl;

	return 0;
}

运行结果：

当 sizeof 用于变量时，返回这个变量占用的实际空间大小；当 sizeof 用于数组名时，返回整个数组的大小。这里，a 是数组名，sizeof(a) 返回 a 中全部元素占用的字节数，总共是 16 个字节。p 是一个指针变量，所以占 4 个字节。

还有一个代码如下：

#include <iostream>
using namespace std;

void func(int(*a)[2])
{
	cout << "func: sizeof(a) = " << sizeof(a) << endl;
}

int main()
{
	int a[2][2] = { 1, 2, 3, 4 };
	cout << "main: sizeof(a) = " << sizeof(a) << endl;
	func(a);

	return 0;
}

也许有人可能会认为输出结果都是16，然而实际输出结果如下：

func(a) 的输出结果是4 而不是 16，这是因为在传递参数的时候，数组名转化成了指针变量，即传到 func 函数中的是一个数组指针变量，因此占用内存大小为 4 个字节。

总结：

（1）指针数组本质上是一个数组，该数组的元素是指针，即是存放指针的数组。

（2）数组指针本质上是一个指针，该指针指向一个数组，即是指向数组的指针。