C++引用—临时变量、引用参数和const引用
如果实参与引用参数不匹配,C++将生成临时变量。如果引用参数是const,则编译器在下面两种情况下生成临时变量:
实参类型是正确的,但不是左值
实参类型不正确,但可以转换为正确的类型
左值参数是可被引用的数据对象,例如,变量、数组元素、结构成员、引用和被解除引用的指针都是左值,非左值包括字面常量和包含多项式的表达式。定义一个函数
Double refcube(const double& ra) { Returnra*ra*ra; } double side = 3.0; double* pd = &side; double& rd = side; long edge = 5L; double lens[4]={2.3,3.4,4.5,6.7}; double c1 = refcube(side); // ra 是side double c2 = refcube(lens[2]); // ra是lens[2] double c3 = refcube(rd); // ra 是 rd double c4 = refcube(*pd); // ra 是*pd double c5 = refcube(edge); // ra 是临时变量 double c6 = refcube(7.0); // ra 是临时变量 double c7 = refcube(side+10.0); // ra 是临时变量
参数side lens[2] rd 和*pd都是有名称的、double类型的数据对象,因此可以为其创建引用,而不需要临时变量。但是edge虽然是变量,类型却不正确,double引用不能指向long。另一方面,参数7.0和side+10.0的类型都正确,但没有名称,在这些情况下,编译器都将生成一个临时匿名变量,并让ra指向它。这些临时变量只在函数调用期间存在,伺候编译器便可以任意将其删除
那么为什么对于常量引用,这种行为是可行的,其他情况下却不行呢?
Void swapr(int& a,int& b)
{
Inttemp;
Temp=a;
A= b;
B= temp;
}
在早期的C++较宽松的规则下,执行下面的操作将发生什么?
Long a = 3,b = 5;
Swapr(a,b);
这里的类型不匹配,因此编译器将创建两个临时的int变量,将他们初始化为3和5,然后交换临时变量的内容,而a和b保持不变
简而言之,如果接受引用参数的函数的意图是修改作为参数传递的变量,则创建临时变量将阻止这种意图的实现,解决方法是,禁止创建临时变量,下载的C++标准正是正阳做的、
现在来看refcube()函数,该函数的目的只是使用传递的值,而不是修改他们,因此临时变量不会造成任何不利的影响。反而会使函数在可处理的参数种类方面更通用。因此,如果声明将引用指定为const,C++将在必要时生成临时变量、实际上,对于形参为const引用的C++函数,如果实参不匹配,则其行为类似于按值传递,为确保原始数据不被修改,将使用临时变量来存储值、
(PS:如果函数调用的参数不是左值或与相应的const引用参数的类型不匹配,则C++将创建类型正确的匿名变量,将函数调用的参数的值传递给该匿名变量,并让参数来引用该变量)
应尽可能使用const
使用cosnt可以避免无意总修改数据的编程错误
使用const使函数能够处理const和非const实参,否则将只能接受非const数据
使用const引用使函数能够正确生成并使用临时变量