先看下面这段代码:
int incr(int& val){
return ++val;
}
int main(){
short v1=1;
const int v2=10;
int v3=20;
incr(v1); //错误:v1不是int
incr(v2); //错误:v2是const
incr(v3); //正确
incr(10); //引用类型的参数不能是常量
}
调用非const类型的引用形参,实参必须是非const类型的,而且实参的类型和形参的类型必须完全相同。注意这里是完全相同,short也不能代替int,int也不能代替short.
当调用一个const引用的形参函数时,如果实参不是一个变量或者该类型不匹配,函数会创建一个无名的临时变量用来存储实参的值,并把这个形参作为该临时变量的引用。示例代码如下:
#include<iostream>
using namespace std;
double refcube(const double &ra);
int main(){
double side1=12.0;
int side2=6;
double c5=refcube(side2); //实参和形参不匹配,但是可以转换成正确的类型。
cout<<c5<<endl;
double c6=refcube(7.0); //实参和形参匹配,但是不是左值。
cout<<c6<<endl;
double c7=refcube(side1+10.0); //实参和形参匹配,但不是左值。
cout<<c7<<endl;
double c8=refcube(side2+4); //实参和形参不匹配,但是可以转换成正确的类型,而且不是左值。
cout<<c8<<endl;
}
double refcube(const double& ra){
return ra*ra*ra;
}
注意:这种生成临时变量必须是要以const引用为前提,如果函数为double refcube(double&ra),则上述程序无法运行。