《Effective Modern C++》条款24:万能引用以及右值引用

《Effective Modern C++》条款24:万能引用以及右值引用,第1张

注意一下右值引用和万能引用的区别,之前没有注意过;

”万能引用“形式和右值引用类似,但是只存在模板性别推导之中;

考虑如下:

template<typename T>
void fun_t(T&& a) {
    cout << "template fun" << endl;
    
}

以及

void fun(A&& a) {
    cout << "fun done" << endl;
}

可以看到形式类似,但是实际调用非泛型fun时,会出现:
“左值无法赋值给右值引用的错误”;

究其原因是,万能引用能够接受左右值,当且仅当以T&&形式出现在模板泛型中,且T必须是typename,否则一律视为右值引用,无法接受左值,const T&&也如此,必须是T&&形式;

因此,对于”万能引用“来说,本身是左值还是右值取决于接受值,但是只要不在template中,就一律视作为右值引用,无法接受左值;

并且尤其注意,T&&也要涉及型别推导,如果T提前在其他地方已指定,则还是右值引;

如本章枚举的vector中push_back以及emplace_back所示:

push_back的形参形式如下所示:

void push_back (const value_type& val);
void push_back (value_type&& val);

关注一下重载2,看似是万能引用,实则不然,因为value_type在初始化vector的时候已经确定;

对于emplace_back,则如下所示:

template <class... Args>
  void emplace_back (Args&&... args);

args涉及型别推导,因此可以直接认为是万能引用;

欢迎分享,转载请注明来源:内存溢出

原文地址: http://outofmemory.cn/langs/564230.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2022-04-03
下一篇 2022-04-03

发表评论

登录后才能评论

评论列表(0条)

保存