指针常量、常量指针；指针数组、数组指针；指针函数、函数指针

在C/C++中，关于指针常量、常量指针；指针数组、数组指针；指针函数、函数指针的概念很容易混淆，今天来整理一下，用作参考。

1、指针常量、常量指针

从中文的概念来理解，指针常量显然是一个常量，该常量的值为指针，定义为：

int * const p;

既然是常量，定义时一定要初始化，而且它的值一定是不可以改变的，所以说指针常量p不可以改变，p的值是一个地址，当指针一开始指向a的地址，后来换成b的地址时，是不允许的；但是*p可以改变，*p是该地址内的内容，指针指向变量a=3，后来a=5是允许的。下面是测试代码：

int a = 10;
int *const p = &a;  //指针常量p，一定要初始化
int b = 20;
//p = &b;       //不合法
a = 30;         //合法

cout << p << endl;    //a的地址值
cout << *p << endl;   //a的值 

输出结果如下图，可以看出，两次结果地址值未改变，即常量p的值不会发生改变，而地址内的内容发生了改变，从10变成了30。

常量指针，常量修饰指针，所以是一个指针，指针指向的对象不能通过这个指针来改变，但仍然可以通过原来的声明定义来改变。两种定义方法：

int const *p;
const int *p;

下面是测试代码：

int const *p;
int a = 10;
int b = 20;
p = &a;
cout <<"a的地址:" << p << endl;  //a的地址值
cout <<"a的值:" << *p << endl; //a的值

p = &b;             // 合法
cout << "b的地址:" << p << endl;  //b的地址值
cout << "b的值:" <<*p << endl; //b的值

a = 30;             //合法，通过变量自己的声明来改变值
p = &a;
cout << "新a的地址:" <<p << endl;  //新a的地址值
cout << "新a的值:" <<*p << endl; //新a的值

//*p = 50;           //!!!不合法，通过指针不可修改原来变量的值，现在p指向变量a = 30,通过p修改a = 50不合法

输出结果如下图，可以看出：

• 常量指针可以指向不同的对象
• 常量指针指向对象的值可以通过变量自身的声明来改变
• 常量指针不可以通过指针改变指向对象的值

2、指针数组、数组指针

从中文来讲，指针数组是一个数组，该数组内的每一个元素都是指针，也就是用来存储指针的数组，定义为：

int *a[5];    //指针数组

下面是测试程序：

int a0 = 0;
int a1 = 1;
int a2 = 2;
int a3 = 3;
int a4 = 4;

//指针数组
int *p[5];

//为数组的每一个元素赋值
p[0] = &a0;
p[1] = &a1;
p[2] = &a2;
p[3] = &a3;
p[4] = &a4;

//输出数组的每一个元素，全部都是地址
for(int i = 0; i < 5; i++)
{
    cout << p[i] << endl;
}

输出结果为地址：

而数组指针一定是一个指针，该指针指向一个数组，也就是数组的第一个元素，该指针的值等于数组第一个元素的地址值，存放的是数组第一个元素，定义为：

int (*p)[5];     //数组指针

下面是测试程序：

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

//p指向数组a的第一个元素
p = &a;

//p中存放了数组a的内容
for(int i = 0; i < 5; i++)
{
    cout << (*p)[i] << endl;
}

输出结果如下图，可以看出数组指针p中存储了数组a的内容。

3、指针函数、函数指针

顾名思义，指针函数是一个函数，该函数的返回类型为整型指针，定义为：

int *f(int,int) {}

而函数指针是一个指针，该指针指向一个函数，可以通过该指针调用函数，定义为：

int (*f)(int,int);