首页 > 代码库 > stout代码分析之十：c++11之move和forward
stout代码分析之十：c++11之move和forward
stout中大量使用了c++11的特性，而c++11中move和forward大概是最神奇的特性了.
- 左值和右值的区别
int a = 0; // a是左值，0是右值int b = rand(); // b是左值，rand()是右值
直观理解：左值在等号左边，右值在等号右边
深入理解：左值有名称，可根据左值获取其内存地址，而右值没有名称，不能根据右值获取地址。
2. 引用叠加规则
左值引用A&和右值引用A&& 可相互叠加
A& + A& = A&A& + A&& = A&A&& + A& = A&A&& + A&& = A&&
举例示例，void foo(T&& x)中，如果T是int&, x为左值语义，如果T是int&&, x为右值语义
3. 为什么要使用std::move
如果类X包含一个指向某资源的指针，在左值语义下，类X的赋值构造函数如下：
X::X(const X& other){ // .... // 销毁资源 // 复制other的资源，并使指针指向它 // ...}
应用代码如下，其中，tmp被赋给a之后，便不再使用。
X tmp;// ...经过一系列初始化...X a = tmp;
如上，执行过程按照时间顺序如下: 首先执行一次默认构造函数(tmp申请资源)，再执行一次复制构造函数(a复制资源), 最后退出作用域时再执行一次析构函数(tmp释放资源)。既然tmp迟早要被析构掉，在执行复制构造函数的时候，a能不能将tmp的资源“偷“”过来，直接为我所用？
X::X(const X& other){ // 交换this和other的资源 }
这样可以减少一次资源的创建和释放。这就是std::move所要实现的。
4. std::move的实现
std::move用于强制将左值转化为右值。其实现方式如下：
template<class T> typename remove_reference<T>::type&&std::move(T&& a) noexcept{ typedef typename remove_reference<T>::type&& RvalRef; return static_cast<RvalRef>(a);}
当a为int左值(右值)时，根据引用叠加原理，T为int&, remove_reference<T> = int, std::move返回类型为int&&，即右值引用
5. std::move的使用
#include <utility> #include <iostream> #include <string> #include <vector> void foo(const std::string& n) { std::cout << "lvalue" << std::endl;} void foo(std::string&& n) { std::cout << "rvalue" << std::endl;} void bar() { foo("hello"); // rvalue std::string a = "world"; foo(a); // lvalue foo(std::move(a)); // rvalue}int main(){ std::vector<std::string> a = {"hello", "world"}; std::vector<std::string> b; b.push_back("hello"); b.push_back(std::move(a[1])); std::cout << "bsize: " << b.size() << std::endl; for (std::string& x: b) std::cout << x << std::endl; bar(); return 0;}
stout代码分析之十：c++11之move和forward
声明：以上内容来自用户投稿及互联网公开渠道收集整理发布，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任，若内容有误或涉及侵权可进行投诉： 投诉/举报 工作人员会在5个工作日内联系你，一经查实，本站将立刻删除涉嫌侵权内容。