c++学习笔记：关于const int *&和const int *const &之间的区别——新增的“const”做用于指针仍是引用？

现有以下程序：

 1 int compare(const int &num1, const int *&num2)
 2 {
 3     return (num1 > *num2) ? num1 : *num2;
 4 }
 5 
 6 int main()
 7 {
 8     int i = 9;
 9     int temp = 7;
10     int *p = &temp;
11     compare(i, p);
12     return 0;
13 }

会在11行处引起编译错误：不能用“int*”类型的值去初始化“const int*&”类型的值，也就是说咱们提供的实参“p”是非法的。

咱们知道指针和引用的类型必须与其所指向和所引用的对象的类型一致，可是有一个例外就是指向常量的指针能够指向很是量对象，而常量引用能够被任意表达式初始化，咱们的形参要求的是一个普通引用，因此其引用的类型必须与其引用对象的类型一致，为了让咱们的函数头可以应用在更多场合，因此咱们决定将“普通引用”声明成“常量引用”，函数声明更改成如下形式：

/*
 *更改以前的函数头：int compare(const int &num1, const int *&num2)
 *更改以后的函数头：int compare(const int &num1, const int *const &num2)
 */

int compare(const int &num1, const int *const &num2)
{
    return (num1 > *num2) ? num1 : *num2;
}

int main()
{
    int i = 9;
    int temp = 7;
    int *p = &temp;
    compare(i, p);
    return 0;
}

此时程序编译经过，运行以后能够获得咱们指望的结果。此时变量“num2”的类型是“指向常量的指针的常量引用”。

 

可是

 

在进行更多实验以后有以下程序：

 

 1 int compare(const int &num1, int *const &num2)
 2 {
 3     return (num1 > *num2) ? num1 : *num2;
 4 }
 5 
 6 int main()
 7 {
 8     int i = 9;
 9     int temp = 7;
10     const int *p = &temp;
11     compare(i, p);
12     return 0;
13 }

 

其中，变量“num2”的类型从“const int *const &”变成了“int *const &”，若是根据以前的结论，能够得出如今num2的类型是“整形指针的常量引用”，根据c++语法定义咱们能够得知常量引用能够用任意表达式来初始化，那么上面这段代码就将是无误的，但是在第11行出现了编译错误：不能将实参“const int *”用于形参“int *const &”。

 

综上所述，新增的“const”是做用于指针的。