Effective Modern C++ 学习笔记5——完美转发

万能引用

区分万能引用与右值引用

万能引用写作T&&的形式,与右值引用都是两个&符号,如何区分?

万能引用在两种情况下存在:

  1. auto&& 声明变量
  2. 函数模板

对于函数模板,还需要更细致的条件:

  1. 函数存在 T&& 型别的参数。

    注意只能是 T&& ,不能加任何其他修饰。例如

    const T&& 、 std::vector<T>&& 都不行

  2. 模板型别T是根据 T&& 这个参数推导得来的。

    这一点如何理解?举个例子:

    template<typename T>
    class Tpl {
    public:
        void Func(T&& t) {} // 不是万能引用
    };
    

    这个例子里,成员函数Func的参数T&&并不是万能引用,而是右值引用,原因是T的类型在类实例化的时候就已经确定了,并不是在调用Func的时候推断的。

    可以改成下面这种形式:

    template<typename T>
    class Tpl {
    public:
        template<typename U>
        void Func(U&& u) {} // 是万能引用
    };
    

    完美转发

    完美转发指的是通过一个转发函数(下面都用fwd表示),将参数转发给另一个函数(下面都用f表示),就好像直接调用的第二个函数f一样。

    这就要求,调用fwd传入的无论是左值还是右值,都要按原样以左值或右值的形式传递给f。

    常见的例子比如vector的emplace方法,make_shared方法等都是通过完美转发,将参数传递给对应类型的构造函数。

    我们是通过万能引用加forward来实现完美转发的:

    template<typename T>
    void fwd(T&& param) {
      f(std::forward<T>(param));
    }
    

    当然,更通用的做法应该使用可变长形参模板,支持任意数量的参数,这里就不展开了。

    函数的形参一定是左值,哪怕它是个右值引用也一样。所以,fwd内不能直接将形参传给f,必须用过forward还原其左值或右值类型。

    forward是如何做到这一点的呢?

    引用折叠

    forward如何识别参数是左值还是右值呢?其实这个信息藏在模板T中。

    以string为例,当param是左值时,T的类型是左值引用string& ;当param是右值时,T的类型是非引用string。为什么是这样?

    一般来说,我们不能创建引用的引用。但是在模板类型推断等一些情况下,还是会出现引用的引用,这时就需要进行引用的折叠,折叠为一层引用,这其中包含了4种情况:

    • 值引用的值引用 折叠为 值引用
    • 值引用的值引用 折叠为 值引用
    • 值引用的值引用 折叠为 值引用
    • 值引用的值引用 折叠为 值引用

    我们再来看下forward的实现:

    template<typename T>
    T&& forward(typename 
          std::remove_reference<T>::type& param) {
      return static_cast<T&&>(param);
    }
    

    结合前面说的T的类型,当param为左值引用,T是string&,forward返回的T&&仍然是左值引用;当param是右值引用,T是string,forward返回的T&&是右值引用。这样就实现了完美转发。

    完美转发不完美

    完美转发真的”完美”吗?我们来探讨一下完美转发失败的情形。

    大括号初始化

    第一种情况是使用大括号初始化,例如:

    void f(int i) {}
    
    // fwd定义同上节的例子
    
    int main() {
        f({1});   // 合法,等同于f(1)
        fwd({1}); // 不合法
    }
    

    这里编译不通过的原因是:非推断语境。无法推断T的类型。

    ****非推断语境 Non-deduced contexts**** 是指一些情况下,不能进行型别推断。其中一种情况是:当传入参数是初始化列表,且参数类型没有声明是initializer_list类型时,不能进行推断。

    用0或NULL做空指针

    由于0和NULL都是整形,在万能引用中会被推断为int,而非指针,所以会失败。解决办法也很简单,只要使用nullptr代替即可。

    重载的函数名或模板名

    当一个函数有多个重载版本,它作为fwd的参数时,也无法推断。而直接调用f时,可以根据f的签名选择正确的重载版本。对于函数模板也是同样的情况。

    还有一些其他情况,就不一一列举了。总结起来,有时编译器需要根据f的函数签名来进行推断,或者有些参数无法取地址(引用的本质也是指针),就会出现完美转发失败的情况。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念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

推荐阅读更多精彩内容