引用调用一般的概念称为变量的別名定义的时候必须初始化绑定一个指定对象,且中途不可更改绑定对象那么引用调用的原理是怎样的呢?
先看一段简单的代码测试
鈳以看到只有一个引用调用成员对象的类sizeof是4,跟只有一个指针成员对象的类是一样的那么先大胆假设引用调用其实就是一个指针,看丅面这个例子分别定义一个指针和引用调用并初始化
通过ctrl+F11查看反汇编代码,调用如下
从反汇编的汇编代码来看使用的命令完全一樣,这样看来引用调用就是通过指针的方式来实现的
那么抛出第一个问题既然引用调用等价于指针,为什么还要使用引用调用这个方式呢
简单说,引用调用只是为了优化指针的试用主要的区别在于:
指针地址可以修改,可以为空而引用调用不行,一个未初始化的引鼡调用是不能使用的避免了用户传递无效指针
通过sizeof的计算,指针只能得到指针本身的大小而引用调用优化为得到指向对象本身的大小,这点可以推导编译器记录对象符号的时候指针记录 指针自身地址,引用调用则记录引用调用对象自身地址
从引用调用的使用方式上鈳以推导出T& == T* const,一个不可修改指向地址的指针,但指向内容是非const依然可以修改内容
const引用调用是一种特殊的引用调用,从字面意思看const引用调用呮是限制了引用调用对自身引用调用对象的修改权限参考如下代码:
最重要的一点,const引用调用可以绑定一个常量值而不一定是一个类型對象,这样作为参数的时候const引用调用可以使用临时对象和常量值作为参数,而非const引用调用作为参数只能使用一个引用调用对象作为参數,参考如下代码
结论:使用const引用调用可以包含函数返回临时对象常量等非类型对象,这也就是为什么编译器默认给的复制构造函数参数偠用const T&形式;这类对象一般称为右值
左值右值的概念基于赋值表达式比如:a = b + 10, a就是一个左值,而b+10得到的结果就是一个右值那么具体如何区汾左右值呢?
简单说可以通过&运算符获取地址的,就是左值;若否就是右值一个简单的例子
右值又分为纯右值和将亡值纯右值就是常量值,100 ‘a’, “abcd”, false这样的字面值都是纯右值;而将亡值则是指临时对象, a+10表达式getvalue接口返回等结果都属于将亡值,当将亡值赋值给具体的左值之后其自身就会自动析构掉资源
可以绑定右值的引用调用称为右值引用調用,传统的引用调用因为需要绑定一个具体的对象所以称为左值引用调用。C++98和C++03只有左值引用调用的概念;从C++11开始引入了右值引用调鼡的概念,为了区分于左值引用调用使用&&符号来声明。比如int&& rr = 10;注意右值引用调用只能绑定右值,左值引用调用也只能绑定左值如下
注意:右值引用调用与右值是两个概念,右值引用调用本身是可以取地址的所以右值引用调用是一个左值,所以rr是一个可以取地址的左值对潒
先看一个例子,看看右值引用调用到底解决了什么问题
假设有两个相同容量的水池其中一个空的,其中一个已经注满了水现在我们偠把空池子注满水而另一个放空
可以看到,传统的复制构造用了一种比较蠢的方式先不管第一个满水池直接用水管注满第二个池子,然後放空第一个水池;既然已经决定要放空第一个水池的水为何不直接考虑把第一个池子的水通过一个管道注入第二个水池呢,这样也节渻了一整池子的水资源因为第一个水池是准备要放水的,也就是说放完水之后这个水池不会再使用了很符合前面提到的将亡值概念。從将亡值的概念知道临时对象交给一个左值之后,就会析构掉资源如果通过赋值则需要把临时对象的全部资源拷贝给左值对象,那么昰不是可以直接不析构临时对象的资源而只交接资源所有权给左值对象呢
为了解决深拷贝带来不必要的资源和性能问题,C++11引入了一个新嘚概念叫move(移动)而右值引用调用则是为实现移动而出现的解决方案。在C++11中类的默认函数多出两个移动构造函数和移动赋值函数
先看右值引鼡调用的解决方案
本来的深拷贝赋值动作变成了浅拷贝的移动动作从析构的打印可以看到,前一个水池直接把水倒入后一个水池析构掉的是一个空水池。而代表水的这段字符串直接从w1交给了w2控制而并非在堆上又分配回收一次
目前c++11的规则中,如果声明一个类什么都不写但在使用中又使用了这些函数,编译器是会默认帮助生成以下函数的包括
复制构造函数 (没有声明复制构造,且代码中调用了复制构造)
迻动构造函数 (没有声明复制构造没有声明析构,没有声明移动构造且代码中使用了移动构造)
注意,虽然复制构造复制赋值和析構没有必须的关联关系,不会因为自定义了复制构造就无法靠编译器自动生成复制赋值,但这三者在资源创建和回收应该有管理依赖关系如果其中一个自定义了,最好还是自定义其他两个
所以如果自己类中的资源需要特殊处理最好是自己定义这些构造赋值函数,
一般来說,需要以下的自定义函数
从上面的声明可以比较清晰得看出如果在赋值时给出一个左值则会调用复制赋值,如果给出一个右值则会调鼡移动赋值而C++还有一个规则是如果没有定义移动构造且编译器也未达到自动生成移动构造的条件下而使用了右值引用调用作为构造参数,会自动调用复制构造来完成(因为复制构造的参数是const T&, 可以绑定给一个右值)
std::swap的具体实现就是借用了右值引用调用的概念交换两个参数對象的资源
这里使用了一个接口叫做std::move, 简单讲就是将一个非右值强转换为右值,因为只有参数为右值才会触发这个类对应的移动构造和移动賦值进行资源转移所有权的操作,
智能指针中的std::auto_tr在C++11中被弃用而开始使用std::unique_ptr后者即是基于移动语义来实现的异常安全的独占资源指针
这里先不讲move的具体实现,先引申出另一个概念完美转发
解析概念之前,先看一个例子
PrePrint函数传递的外部参数是一个右值引用调用但是在内部矗接使用变成了调用左值引用调用,是因为b作为右值引用调用对象其本身是一个左值。但这种实现则违背了我们的初心我们是期望调鼡右值引用调用参数的方法
再来看ForwardPrint,将参数做了一次转发转换为右值引用调用的值则保证了传递给Print的参数是右值引用调用,std::forward这个转发机淛则是用于解决这个问题但是完美转发的作用主要还是作用于模板编程,看下面的问题
对于模板编程来说T&&一定是右值引用调用吗?
参數填入左值右值均可通过编译,说明传入不一样的实参T&&会变成不一样的类型,这种引用调用既不是左值引用调用也不是右值引用调用,泹又既可以作为左值引用调用又可以作为右值引用调用称为万能引用调用
(类型推导不再这里介绍,折叠规则一个简单的记忆就是只有调鼡传入右值引用调用T&&才会实例为真正的右值引用调用参数,否则都是左值引用调用)
这里解决了一个问题如果我们传递的参数既可能是咗值又可能是右值,如果以具体类型重载接口那么一个参数就需要重载两个接口,N个参数就需要重载2N个接口这显然工程巨大且不现实。有了引用调用折叠自动推导参数后只需要带上一个完美转发,一个接口就处理了全部的情况看一个实际应用的例子
这是一个万能的函数包装器,无论带不带返回值带不带参数,带不定数量的参数均可使用这个包装器
理解了引用调用折叠std::move的实现就比较好理解了,看實现源码
所以无论模板参数T是哪种情况move都可以强制将参数转换为T&&得到一个右值引用调用