CTrick右值引用万能引用傻傻

来源丨经授权转自编程往事（ID：codepast）

作者丨果冻虾仁

C++11标准颁布距今已经十年了，在这个标准中引入了很多新的语言特性，在进一步强化C++的同时，也劝退了很多人，其中就包含右值引用。

TDoesn’tAlwaysMean“RvalueReference”byScottMeyers

ScottMeyers曾经说过：T并不总是表示右值引用（rvaluereference）。

没错。这两个符号，可能是初学C++或者C++11的时候，把很多人劝退的一个点。但想理清其实也不难。

首先在非模板函数中，肯定是表示右值引用，所以只能接收右值类型的参数。

classA{...};voidfoo(Aa){...}

这个foo函数只能接受如下的右值参数。

foo(A{});Aa;foo(std::move(a));Aget_a(){Aa;...returna;}foo(get_a());

但是这样调用则不正确，会编译失败：

Aa1;Aar=a1;foo(ar);//ERROR

但是，在模板函数中则并不表示右值引用（rvaluerference）。比如：

templatetypenameTvoidbar(Tt){...}

这个T在C++标准中被称为forwardingreference，译作转发引用，俗称（非官方习惯但流行的叫法）是universalreference，经常被译作万能引用。顾名思义，它所能接收的参数不仅仅是右值，左值也可以，故称万能。所以题主问题中的是T并不是右值引用。

我上文提到的模板函数bar()，可以接收如下类型的的参数（各种类型都可以！）。比如：

bar(A{});Aa;bar(move(a));bar(get_a());Aa1;Aar1=a1;bar(ar1);constAar2=a1;bar(ar2);

但是模板函数中的也不全是转发引用。比如：

templatetypenameTvoidbar(vectorTtv){...}

这里的参数tv就只能接收右值类型的参数。

又比如：

templatetypenameTvoidbar(constTv){...}

加了const限制后，这里的也是右值引用，只能传入右值……

相信你已经看懂其中的差别。

迷惑的另一个地方不仅在于上面介绍的，作为参数的时候。在接收函数返回值的时候，也有歧义，常常让人迷惑。

classA{...};Aa=test1();//这个表示的是右值引用autoa=test2();//这个表示的是也是转发引用

在auto和联用的时候，它也是转发引用（万能引用），故而可以接收各种类型的函数参数。

但是如果是显式指定了类型（比如A）然后和联用，则只表示右值引用，只能接收右值类型的参数！

怎么样，劝退了没。

1、静态代码块、构造代码块、构造函数、普通代码块，还傻傻的分不清？

2、写好JSX条件语句的几个建议

3、2分钟，我把网站性能优化了3倍！

4、实战！魔改swagger，knife4j的另外一种打开方式

5、C++智能指针最佳实践源码分析

点分享

点点赞

点在看