现有如下程序:
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”的类型是“指向常量的指针的常量引用”。
综上所述,可以得知新增的“const”是作用于引用的。