版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/craftsman1970/article/details/82152704
温故而知新
本文涉及两个概念,static_cast和右值引用,在阅读本文之前,最好先阅读下面的文章。
使用std::move
考察下面两个函数:
除了参数类型一个是左值引用,一个是右值引用以外都一样。结合前面的文章可以得出下面的结论:左值引用表明这个值可能被修改,右值引用就是对外要求接管参数数据的权利。相应的的,右值引用的情况下就会要求调用者明确表明放弃权利。
这里放弃权利的方式就是通过std::move函数,就像上图中fr函数中做的那样。
理解std::move
下面是std::move的源代码:
先看函数体,只做了一件事:使用static_cast将实参t显式转换为另外一种类型,这个类型为:
typename用来指示后面的表达式是一个类型而不是变量,先将其忽略;接下来去掉否面的&&(暂时不考虑),代码变成下面这个样子:
我们知道(不知道也会让你知道),remove_reference的功能是去掉引用类型修饰符。
例如: 如果T的类型为int&或者int&& 则返回int; 如果T的类型为int也返回int;
再考虑刚才忽略的&&修饰符,可以得到以下结论:static_cast的目标类型为输入类型T去掉可能存在的引用修饰,然后加上右值引用修饰。
也就是说,std::move的功能是使用static_cast将T,T&,T&&全都显式转换为T&&。
作者见解
右值引用的作用是要求数据提供者放弃数据的所有权,而std::move就是放弃数据所有权的手段。双方可以在编译层次解决。
觉得本文有帮助?请分享给更多人。
阅读更多更新文章,请扫描下面二维码,关注微信公众号【面向对象思考】