前言
经过前面的2篇,想必你们已经充分理解左值,右值,左值引用以及拷贝构造函数这些C++的术语以及其他的应用场景。
本篇我们会用到前面2篇学到的这些知识,继续深入一个C++ 11之后增添的特性“右值引用(r-value reference)”
右值引用
那么在看看下面的例子,由"&&"组成的这是一种什么语法特性?没错,就是我们本文要讨论的“右值引用(r-value reference)”就是对右值。注意在C++中,对右值引用的声明就意味着必须一同初始化,因此,这是错误的。
int&& c;
正确的写法是这样,必须一同执行初始化。
int&& c=5;
我们看看C++编译器底层,对这条初始化语句执行了什么操作?当你看到下图,你会惊奇的发现,反编译的结果居然和我《第1篇:C++中的左值,右值和引用》谈到的左值引用是一模一样的。
ss8.png
Ok,我们目前只需知道这么多即可。
我们如何使用右值引用?,让我们再看一组简单函数的示例
#include <iostream>
void display_num(int& n){
std::cout<<"display_num(int&)"<<std::endl;
std::cout<<n<<std::endl;
}
void display_num(int&& n){
std::cout<<"display_num(int&&)"<<std::endl;
std::cout<<n<<std::endl;
}
调用示例1
int main(void){
int j=23;
display_num(j);
display_num(73);
}
运行结果,由于j是一个左值,那么当以j作为参数会调用第一个版本的display_num,而字面量整数73是一个右值,所以他会调用第二个版本的display_num,因此,使用右值引用可以和左值引用构成可以基于参数引用类型的函数进行重载,这是C++引入右值引用的用意。
需要注意的是,如果存在一个函数签名为display_num(int)这样的函数定义。那么上面的代码无法工作,因为C++编译器就像display(j)这样的函数调用语句,不知道到底要匹配哪一个重载版本的display_num函数,下面示例会令C++编译器很困惑
#include <iostream>
void display_num(int n){
std::cout<<"display_num(int)"<<std::endl;
std::cout<<n<<std::endl;
}
void display_num(int& n){
std::cout<<"display_num(int&)"<<std::endl;
std::cout<<n<<std::endl;
}
void display_num(int&& n){
std::cout<<"display_num(int&&)"<<std::endl;
std::cout<<n<<std::endl;
}
//调用代码
int main(void ){
int k=73;
display_num(k);
}
我们要知道引用不是一种独立的数据类型,它只是对他绑定某种类型的变量的"别名",也就是说上面的参数类型int& n和int n在类型上是等价的,那么void display_num(int n)和void display_num(int& n)的函数签名从参数的类型来说,是同一回事,即重复定义,当然对C++编译器来说是不允许的。因此,使用左值引用或右值引用重载的函数,和原始的参数类型按值传递版本的同名函数不能一起使用。