彻底弄懂C/C++指针数组与数组指针

1 简单的概念区分

首先得知道指针的概念吧，指针即地址。
指针数组和数组指针，从命名上来说，可以大概知道，这个两个概念强调的内涵不同：

• 指针数组，本质本质上是个数组，只是数组中元素的值是指针类型。就好比整数数组，说明这个数组中的元素类型为整数。
• 数组指针，本质上是一个指针，只是这个指针指向的对象是一个数组。好比，整形指针，说明指向的对象是一个整数。

说到这，相信大家还是一脸懵逼，还有很多疑问，比如什么叫指向数组的指针？一个指针怎么能指向一个数组呢？这些有时如何定义的呢？。。。

那么接着往下看

1.1 先讲简单的指针数组

首先定义一个简单整形指针：

int a = 4;
int *pi = &a;  // pi为一个整形指针
1
2

指针数组，无非就是一个数组每一个元素都是一个pi这样的变量。指针数组定义如下：

int a = 1;
int b = 2;
// 仿照整数数组的定义，很容易定义整形指针数组
int* pArr[3];
pArr[0] = &a;
pAar[1] = &b;
1
2
3
4
5
6

1.2 数组指针

数组指针，这个讲解起来稍微麻烦一点，并且有那么一点点绕。。。
前面已经提到过，数组指针本质是一个指针，只是指向的对象是一个数组。
那么问题来了，怎么获取一个数组的地址呢？

不妨先还是参照普通指针吧，我们知道获取一个普通变量的地址，就是通不过对变量名取&就好，如下：

int a = 3;
int* ptr = &a; // 整形指针ptr的值是一个整形变量的地址
1
2

数组也是一样！！！对数组名取&，就可以得到数组地址：

int A[3] = {1, 2, 3}; // A是数组名
/* 对上面的数组来说:
数组的地址为：&A     
*/
1
2
3
4

讲到这里，就不得不提另外一个概念，数组的起始地址（首元素地址）。组名A就代表数组的起始地址。

int A[3] = {1, 2, 3};
// 数组的起始地址为：A
// 数组的地址为：&A
1
2
3

似乎感觉起来怪怪的，因为数组的地址就是对数组的起始地址取引用，其实也有点奇怪，因为这两个东西，从值来说，是同一个东西：

#include 
using namespace std;
int main()
{
	int A[3] = {1, 2, 3};
	cout << "数组A的地址： " << &A << endl;
	cout << "数组A的起始地址： " << A << endl;
   	return 0;
}
1
2
3
4
5
6
7
8
9

上面这段代码的运行结果如下：

看到没，从数值上来看，数组A的地址和数组A的起始地址的值相同，要知道，从概念上讲，这完全是两个不同的东西！

前面铺垫了这么多，下面终于轮到讲数组指针是如何定义的了：

int A[3] = {1, 2, 3};
int (*p)[3] = &A;   // 指针p是一个指向 具有三个整数元素的数组 的指针
// 注意：定义的时候，需要用（）将*与p括起来， 如果不加括号
int * p[3]; // 这里就是定义了一个指针数组了
1
2
3
4

2 数组指针的解引用与计算

2.1 一维数组解引用

我们知道，对一个普通的变量指针解引用就可以得到这个变量的值。那么对一个数组解引用呢？
答案是 可以得到数组的起始地址。

int A[3] = {1, 2, 3};
int (*pArr)[3] = &A;
// 对pArr解引用得到数组A的起始地址，即*Arr相当于A
// **pArry 得到收元素的地址1
1
2
3
4

2.2 二维数组

int A[2][3] = {{1, 2, 3}, {4, 5, 6}};
// 2行三列，相当于两个3个元素的一维数组
// 一维数组A[0]和一维数组A[1]
// 因此&A[0]代表的一个一维数组的地址，同样&A[1]也是
int (*pArr0)[3] = &A[0]; // 这里 &A[0]和A是一样
int (*pArr1)[3] = &A[1];
/*
pArr0++就是指向下一个数组，即A[1],也就是说
pArr0++的值与pArr1相等。
*/
1
2
3
4
5
6
7
8
9
10

我们知道指针，指针还可以进行运算: ++ptr表示指向ptr指向当前对象下一个对象的地址。对于数组指针来说也是同样如此：
因为是数组指针，因此自增之后自然就指向下一个数组了。