stout中大量使用了c++11的特性,而c++11中move和forward大概是最神奇的特性了.

  1. 左值和右值的区别
int a = ;   // 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[])); std::cout << "bsize: " << b.size() << std::endl;
for (std::string& x: b)
std::cout << x << std::endl;
bar();
return ;
}

  6. 为什么要使用std::forward

  首先看下面这段代码:

#include <utility>
#include <iostream> void bar(const int& x)
{
std::cout << "lvalue" << std::endl;
} void bar(int&& x)
{
std::cout << "rvalue" << std::endl;
} template <typename T>
void foo(T&& x)
{
bar(x);
bar(std::forward<T>(x));
} int main()
{
int x = ;
foo(x);
foo();
return ;
}

  执行foo(10):首先进入函数foo, 执行bar(x), 输出"lvalue"。这里有点不合常理,10明明是一个右值,为什么这里输出"lvalue"呢?这是因为10只是作为一个foo的右值参数,但是在foo函数内部,x却是一个有名字的变量,因此10是bar(x)的左值参数。但是我们想延续10的左值语义,怎么办呢?std::forward就派上了用场。

  总而言之,std::forward的目的就是保持std::move的语意。

  7. std::forwar的实现

template<typename T, typename Arg>
shared_ptr<T> factory(Arg&& arg)
{
return shared_ptr<T>(new T(std::forward<Arg>(arg)));
}
template<class S>
S&& forward(typename remove_reference<S>::type& a) noexcept
{
return static_cast<S&&>(a);
}
X x;
factory<A>(x);

  如果factory的输入参数是一个左值 => Arg = X& => std::forward<Arg> = X&, 这种情况下,std::forward<Arg>(arg)仍然是左值。

  相反,如果factory输入参数是一个右值 => Arg = X => std::forward<Arg> = X, 这种情况下,std::forward<Arg>(arg)是一个右值。

  

  8. std::forward的使用

  直接上码,如果前面都懂了,相信这段代码的输出结果也能猜个八九不离十了。  

#include <utility>
#include <iostream> void overloaded(const int& x)
{
std::cout << "[lvalue]" << std::endl;
} void overloaded(int&& x)
{
std::cout << "[rvalue]" << std::endl;
} template <class T> void fn(T&& x)
{
overloaded(x);
overloaded(std::forward<T>(x));
} int main()
{
int i = ;
overloaded(std::forward<int>(i));
overloaded(std::forward<int&>(i));
overloaded(std::forward<int&&>(i)); fn(i);
fn(std::move(i)); return ;
}

stout代码分析之十:c++11之move和forward的更多相关文章

  1. WebShell代码分析溯源(十)

    WebShell代码分析溯源(十) 一.一句话变形马样本 <?php $e = $_REQUEST['e'];register_shutdown_function($e, $_REQUEST[' ...

  2. stout代码分析之零

    最近在使用mesos做高可用设计,在编译的过程中注意到mesos依赖stout,一个仅仅含有头文件的c++基础库.stout代码简洁,设计优雅,值得一读. stout从内容上可细分为以下几块: Pri ...

  3. stout代码分析之九:c++11容器新特性

    stout大量使用了c++11的一些新特性,使用这些特性有利于简化我们的代码,增加代码可读性.以下将对一些容器的新特性做一个总结.主要两方面: 容器的初始化,c++11中再也不用手动insert或者p ...

  4. stout代码分析之十一:hashmap和multihashmap

    hashmap是std::unordered_map的子类,前者对后者的接口做了进一步封装. hashmap的移动构造函数: hashmap(std::map<Key, Value>&am ...

  5. stout代码分析之八:cache类

    stout中实现了LRU cache.cache的成员如下: public: typedef std::list<Key> list; typedef std::tr1::unordere ...

  6. stout代码分析之七:Result类

    Result类似于Option和Try类的组合,内部有三种状态 enum State { SOME, NONE, ERROR }; SOME表示Result对象有值 NONE表示Result对象值为空 ...

  7. stout代码分析之六:Stopwatch

    在进行性能测试时,经常需要计算某个函数执行的时长.stout中的Stopwatch类可实现纳秒精度的计时. Stopwatch内部使用timespec记录开始和技术时间.   timeval和time ...

  8. stout代码分析之五:UUID类

    UUID全称通用唯一识别码,被广泛应用于分布式系统中,让所有的元素具有唯一的标识. stout中UUID类继承自boost::uuids::uuid.api如下: random, 产生一个UUID对象 ...

  9. stout代码分析之一:Duration类

    Duration类用于表示时间长度,可精确到纳秒. 代码实现在duration.hpp中,测试代码:duration_tests.cpp 相关api如下: parse, 将字符串转化成Duration ...

随机推荐

  1. 397. Longest Continuous Increasing Subsequence

    Description Give an integer array,find the longest increasing continuous subsequence in this array. ...

  2. 100. Remove Duplicates from Sorted Array && 101. Remove Duplicates from Sorted Array II [easy]

    这两题类似,所以放在一起,先看第一题: Description Given a sorted array, remove the duplicates in place such that each ...

  3. LeetCode 138——复制带随机指针的链表

    1. 题目 2. 解答 第一次遍历链表的时候,复制旧链表的节点值建立一个新的链表,同时定义一个 unordered_map 作为哈希表,哈希表的键为旧链表的节点指针,值为新链表的节点指针. 然后,第二 ...

  4. docker最佳实践-----美团点评的分享

    美团点评容器平台简介 本文介绍美团点评的Docker容器集群管理平台(以下简称“容器平台”).该平台始于2015年,是基于美团云的基础架构和组件而开发的Docker容器集群管理平台.目前该平台为美团点 ...

  5. JavaScript中的事件代理/委托

    事件委托在JS高级程序设计中的定义为"利用事件冒泡,只指定一个事件处理程序,就可以管理某一类型的所有事件" 如何理解上面的这句话呢,在网上,大牛们一般都使用收快递这个例子来解释的, ...

  6. 学霸系统PipeLine功能规格说明书

    学霸系统PipeLine功能规格说明书共分为以下三部分: 1.产品面向用户群体 2.用户使用说明 3.产品功能具体实现 1.产品面向用户群体 我们这组的项目并不是传统意义上能发布并进行展示的项目,因此 ...

  7. ACM 第十一天

    多校7题目 GuGuFishtion Time Limit: 3000/1500 MS (Java/Others)    Memory Limit: 65536/65536 K (Java/Other ...

  8. TCP系列24—重传—14、F-RTO虚假重传探测

    一.虚假重传 在一些情况下,TCP可能会在没有数据丢失的情况下初始化一个重传,这种重传就叫做虚假重传(Spurious retransmission).发生虚假重传的原因可能是包传输中重排序.传输中发 ...

  9. Scala快速入门-基本数据结构

    模式匹配 使用用模式匹配实现斐波那契 def fibonacci(in: Any): Int = in match { case 0 => 0 case 1 => 1 case n: In ...

  10. 大型网站架构演化(八)——使用NoSQL和搜索引擎

    随着网站业务越来越复杂,对数据存储和检索的需求也越来越复杂,网站需要采用一些非关系数据库技术如NoSQL和非数据库查询技术如搜索引擎,如图. NoSQL和搜索引擎都是源自互联网的技术手段,对可伸缩的分 ...