Effective Modern C++ ―C++11/14プログラムを進化させる42項目

206

｜

5 章 右辺値参照、ムーブセマンティクス、完全転送

template<typename T>

void func(T&& param);

Widget widgetFactory(); // function returning rvalue

右辺値を返す関数

Widget w; // a variable (an lvalue)

変数（左辺値）

func(w); // call func with lvalue; T deduced

// to be Widget&

左辺値を渡す。T は Widget& と推論

func(widgetFactory()); // call func with rvalue; T deduced

// to be Widget

右辺値を渡す。T は Widget と推論

上例は、auto を用いて模倣できます。

auto&& w1 = w;

上例の宣言は w1 を左辺値で初期化するため、auto は Widget& 型を推論します。w1 の auto 宣言

に Widget& を与えれば、次のような参照の参照が生成されます。

Widget& && w1 = w;

参照の圧縮の結果、次のようになります。

Widget& w1 = w;

最終的に w1 は左辺値参照になります。

もう 1 つ、次の宣言も考えてみましょう。

auto&& w2 = widgetFactory();

上例は w2 を右辺値で初期化しており、auto は非参照型の Widget を推論します。auto を