C++ const引用、临时变量 引用参数

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/u014338577/article/details/72780175


临时变量、引用参数和const

如果实参与引用参数不匹配,C++将生成临时变量。现在,仅当参数是const引用,C++才允许这样做,这是一个新的机制。在下面这两种情况下,C++编译器将生成临时变量:

         实参类型是正确的,但不是左值

         实参类型不正确,但可以转换为正确的类型

左值参数是可被引用的数据对象,例如,变量、数组元素、结构成员、引用和被解除引用的指针都是左值,非左值包括字面常量和包含多项式的表达式。定义一个函数

[cpp]  view plain  copy
  1. Double refcube(const double& ra)
  2. {  
  3.    Returnra*ra*ra;  
  4. }
  5. double side = 3.0;  
  6.   
  7. double* pd = &side;  
  8.   
  9. double& rd = side;  
  10.   
  11. long edge = 5L;  
  12.   
  13. double lens[4]={2.3,3.4,4.5,6.7};  
  14.   
  15. double c1 = refcube(side);  // ra 是side  
  16.   
  17. double c2 = refcube(lens[2]); // ra是lens[2]  
  18.   
  19. double c3 = refcube(rd);   // ra 是 rd  
  20.   
  21. double c4 = refcube(*pd);  // ra 是*pd  
  22.   
  23. double c5 = refcube(edge);  // ra 是临时变量  
  24.   
  25. double c6 = refcube(7.0);  // ra 是临时变量  
  26.   
  27. 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引用使函数能够正确生成并使用临时变量

猜你喜欢

转载自blog.csdn.net/u014338577/article/details/72780175