先看下面这段代码:ios
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.ide
当调用一个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),则上述程序没法运行。spa