我理解的右值、右值引用、move语义,完美转发

右值

右值(rvalue)可以简单理解为赋值“=”语句中等号右侧的变量,与之相对的为左值(lvalue)。7二者不同之处在于左值(lvalue)存储在内存中,具有固定的存储地址;右值(rvalue)为字面量,存储在寄存器中。

右值引用

常用的“&”引用为左值引用,下面代码中a为左值,b为左值的引用。但是当对右值10,取左值引用“&”编译器会报错。

int a = 10;
int &b = a;
int &c = 10; // 错误

但是可以通过常量引用对右值10进行引用

const int& c = 10;

可以使用右值引用“&&”对右值进行引用,右值引用后就有地址了

int &&c = 10;
std::cout << &c << std::endl;

move语义

简单来说 std::move 方法提供了一种将左值转换为右值的方法。 被move的对象不再拥有对象的所有权,将所有权转移到接收引用的对象上。

万能引用

万能引用顾名思义可以处理各种情况下的引用,下面从最简单的值传递一点点解释万能引用的意义。考虑下面这个代码。

void my_print(int i){
  std::cout << i << std::endl;
}

当传递的参数很大的时候,使用值传递会消耗资源,所以通常会采用引用的形式:

void my_print(int &i){
  std::cout << i << std::endl;
}

采用引用进行值传递后,避免了拷贝构造的过程,但是正如前面所说,左值引用“&”不能接收右值,下面的调用编译器会报错error: cannot bind non-const lvalue reference of type ‘int&’ to an rvalue of type ‘int’

my_print(10);

使用常量引用"const &"可以解决这个问题:

void my_print(const int&i){
  std::cout << i << std::endl;
}

但是使用常量引用后,因为指定了const限定,就无法在原地对传入的参数进行修改了。下面这个函数定义会报错error: increment of read-only reference ‘i’

void my_print(const int&i){
  std::cout << ++i << std::endl;
}

为了减少值传递过程中的资源消耗,并且支持接收右值,同时保留对传入参数修改的可能性。这个“既要又要还要”的经典难题,可以通过实现多个重载来达到这个目的。

// 处理左值
void my_print(int &i){
  std::cout << ++i << std::endl;
}

// 处理右值
void my_print(int &&i){
  std::cout << ++i << std::endl;
}

当期望使用右值版本的my_print时,可以通过std::move将一个左值转换为右值

int a = 10;
my_print(a); // 调用左值版本
my_print(std::move(a)); // 调用右值版本
my_print(10); // 调用右值版本

但是到这里又出现一个问题,当传入的参数为常量时:

const int k = 10;
my_print(k);

编译器找不到合适的重载函数,会报错error: binding reference of type ‘int&’ to ‘const int’ discards qualifiers。为此,对于需要处理常量参数的情况(函数的内容不再是“++”),还需要提供常量版本的重载。

为了通过一个函数完美解决以上所有通过引用参数传递带来的问题(左值/右值引用,常量/非常量传递),可以使用下面给出万能引用的参数传递版本,这个版本可以处理各种输入情况,根据输入参数不同属性可以表现出相应的行为。

template<typename T>
void my_print(T&& i){
 std::cout << ++i << std::endl;
}

当只有一个变量时,万能引用带来的优势不大,但是当存在多个参数变量时,万能引用可以节省大量重复代码,提高编码效率。

std::forward<T>

std::forward<T>是一个模板函数,提供了一种转发机制,该函数输入右值输出右值,输入左值输出左值。借助std::forward<T>可以实现完美转发,应对各种不同的参数传递情况。

完美转发

前面介绍的万能引用可以处理不同类型的参数传递。但是作为函数的实现者,由于在实现过程中不知道传入对象的语义,使用赋值语句和std::move都会改变对象的语义。所以为了不改变传入对象的语义,使用std::forward<T>可以实现完美转发。

最后给出一个c++标准库中shared_ptr用到完美转发的例子,方便理解:

template<class _Ty,
    class... _Types>
_NODISCARD inline shared_ptr<_Ty> make_shared(_Types&&... _Args)
{   // make a shared_ptr
    const auto _Rx = new _Ref_count_obj<_Ty>(_STD forward<_Types>(_Args)...);  //参数完美转发

    shared_ptr<_Ty> _Ret;
    _Ret._Set_ptr_rep_and_enable_shared(_Rx->_Getptr(), _Rx);
    return (_Ret);
}

总结

综上所述,我理解的右值和右值引用是c++为了使程序员可以更好的处理不在内存中的字面值引入的概念。万能转发提供了一种范型编程的机制,可以应对不同的参数类型和语义。std::move提供了一种将左值转换为右值的途径(赋值语句可以轻松的将右值转换为左值)。std::forward<T>提供了借助转发机制实现完美转发,应对各种未知的参数传递情况。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,839评论 6 482
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,543评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 153,116评论 0 344
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,371评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,384评论 5 374
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,111评论 1 285
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,416评论 3 400
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,053评论 0 259
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,558评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,007评论 2 325
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,117评论 1 334
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,756评论 4 324
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,324评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,315评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,539评论 1 262
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,578评论 2 355
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,877评论 2 345

推荐阅读更多精彩内容