c++引用的用法（C++11：引用限定符）

C++中有左值和右值的概念    
    
    
    
。其实
    
    
    
    ，左值和右值的区分也同样适用于类对象     


     


     


     


，本文中将左值的类对象称为左值对象 




 




 




 




，将右值的类对象称为右值对象 


     


     


     


    。

1. C++11：引用限定符

默认情况下

   

   

   

   ，对于类中用 public 修饰的成员函数     

     

     

     

，既可以被左值对象调用  




  




  




  




，也可以被右值对象调用

 




 




 




 


。举个例子：

#include <iostream> using namespace std; class demo { public: demo(int num):num(num){} int get_num(){ return this->num; } private: int num; }; int main() { demo a(10); cout << a.get_num() << endl; cout << move(a).get_num() << endl; return 0; }

可以看到


  


  


  


  ，demo 类中的 get_num() 成员函数既可以被 a 左值对象调用     
     
     
     
，也可以被 move(a) 生成的右值 demo 对象调用   




   




   




   




，运行程序会输出两个 10   

   

   

   

。

某些场景中



 



 



 



 ，我们可能需要限制调用成员函数的对象的类型（左值还是右值）                    ，为此 C++11 新添加了引用限定符  

     

     

     

   。所谓引用限定符    




    




    




    




，就是在成员函数的后面添加 "&" 或者 "&&"



















，从而限制调用者的类型（左值还是右值）


  




  




  




  

。 修改上面程序如下：

#include <iostream> using namespace std; class demo { public: demo(int num):num(num){} int get_num()&{ return this->num; } private: int num; }; int main() { demo a(10); cout << a.get_num() << endl; // 正确 //cout << move(a).get_num() << endl; // 错误 return 0; }

和之前的程序相比                    ，我们仅在 get_num() 成员函数的后面添加了 "&"     



     



     



     



，它可以限定调用该函数的对象必须是左值对象  


  


  


  


。因此第 17 行代码中



















，move(a) 生成的右值对象是不允许调用 get_num() 函数的   
     
     
     
  。

同理
    
    
    
    ，我们再次修改程序： #include <iostream> using namespace std; class demo { public: demo(int num):num(num){} int get_num()&&{ return this->num; } private: int num; }; int main() { demo a(10); //cout << a.get_num() << endl; // 错误 cout << move(a).get_num() << endl; // 正确 return 0; }

和先前程序不同的是     


     


     


     


，get_num() 函数后根有 "&&" 限定符 




 




 




 




，它可以限定调用该函数的对象必须是一个右值对象



   




   




   




   
。

注意：引用限定符不适用于静态成员函数和友元函数 



 



 



 



。

2. const和引用限定符

我们知道

   

   

   

   ，const 也可以用于修饰类的成员函数     

     

     

     

，我们习惯称为常成员函数  




  




  




  




，例如：

class demo{ public: int get_num() const; }

这里的 get_num() 就是一个常成员函数                    。const 和引用限定符修饰类的成员函数时


  


  


  


  ，都位于函数的末尾




    




    




    




    。C++11 标准规定     
     
     
     
，当引用限定符和 const 修饰同一个类的成员函数时   




   




   




   




，const 必须位于引用限定符前面



















。

需要注意的一点是



 



 



 



 ，当 const && 修饰类的成员函数时                    ，调用它的对象只能是右值对象；当 const & 修饰类的成员函数时    




    




    




    




，调用它的对象既可以是左值对象



















，也可以是右值对象                    。无论是 const && 还是 const & 限定的成员函数                    ，内部都不允许对当前对象做修改操作



     



     



     



     。

举个例子：

#include <iostream> using namespace std; class demo { public: demo(int num,int num2) :num(num),num2(num2) {} //左值和右值对象都可以调用 int get_num() const &{ return this->num; } //仅供右值对象调用 int get_num2() const && { return this->num2; } private: int num; int num2; }; int main() { demo a(10,20); cout << a.get_num() << endl; // 正确 cout << move(a).get_num() << endl; // 正确 //cout << a.get_num2() << endl; // 错误 cout << move(a).get_num2() << endl; // 正确 return 0; }