C++易混淆代码：常量指针与指针常量、数组指针与指针数组、函数指针与指针函数

 

读代码的话就是注意优先级和结合方式，对变量看其类型可以从右到左来看。结合方式就是() > [ ] > *.

下面具体来看。

一、指针常量与常量指针

判断一个变量是指针常量还是常量指针，可以从右往左看。

const int a; // 从右往左读，a 为变量名，接着是int，说明a是一个int， const修饰int。
const int *b;
// b为变量名，接着是*说明是个指针(注：*和&在变量声明和定义中的含义为类型修饰符而非解引用或取地址)，const int 修饰指针，也即该变量是个常量指针。
int * const c; //从右往左，c为变量名，紧接的const说明该变量是个常量，int *修饰常量，即该变量是个指针常量

常量指针：指向常量的指针//const 在*的左边（const int *p等价于int const *p）。

指针常量：指针本身为常量。它所指地址是不变的，但内容可变。（int *const p）

同理，可以判断引用指针：int &*d;//从右往左，d为变量名，*说明该变量是一个指针，接着&说明为指针的引用，int为类型

但是不存在指针引用，这是因为指针是个对象而引用并非对象，可以对指针进行引用。不能对引用取指针。

二、指针数组与数组指针

数组指针//指向数组的指针int (*p)[]
()优先级高，首先说明p是一个指针，指向一个整型的一维数组，这个一维数组的长度是n，也可以说是p的步长。也就是说执行p+1时，p要跨过n个整型数据的长度。

如要将二维数组赋给一指针，应这样赋值：

int a[3][4];
int (*p)[4]; //该语句是定义一个数组指针，指向含4个元素的一维数组。
 p=a;        //将该二维数组的首地址赋给p，也就是a[0]或&a[0][0]
 p++;       //该语句执行过后，也就是p=p+1;p跨过行a[0][]指向了行a[1][]

所以数组指针也称指向一维数组的指针，亦称行指针。

指针数组//指针本身为数组int *q[]

[]优先级高，先与q结合成为一个数组，再由int*说明这是一个整型指针数组，它有n个指针类型的数组元素。这里执行q+1时，则q指向下一个数组元素，这样赋值是错误的：q=a；因为q是个不可知的表示，只存在p[0]、p[1]、p[2]...p[n-1],而且它们分别是指针变量可以用来存放变量地址。但可以这样 *q=a; 这里*q表示指针数组第一个元素的值，a的首地址的值。
如要将二维数组赋给一指针数组:

int *p[3];
int a[3][4];
p++; //该语句表示p数组指向下一个数组元素。注：此数组每一个元素都是一个指针
for(i=0;i<3;i++)
    p[i]=a[i];

这里int *p[3] 表示一个一维数组内存放着三个指针变量，分别是p[0]、p[1]、p[2]
所以要分别赋值。

数组指针只是一个指针变量，似乎是C语言里专门用来指向二维数组的，它占有内存中一个指针的存储空间。指针数组是多个指针变量，以数组形式存在内存当中，占有多个指针的存储空间。
还需要说明的一点就是，同时用来指向二维数组时，其引用和用数组名引用都是一样的。
比如要表示数组中i行j列一个元素：

       *(p[i]+j)、*(*(p+i)+j)、(*(p+i))[j]、p[i][j]

       优先级：()>[]>*

      三、函数指针与指针函数

指针函数 int *fun(int x,int y);

指针函数，简单的来说，就是一个返回指针的函数，其本质是一个函数，而该函数的返回值是一个指针。就和普通的函数没有什么区别，不过返回值是一个指针。

函数指针//指向函数的指针  int (*pFunc)(int x, int y)

函数指针，就是一个指针，其指向的地址是一个函数。