现有如下程序:
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”是作用于指针的。