std::move() は C で左辺値をどのように処理しますか?

std::move() は左辺値に何をしますか?

std::move() は、Lvalue を容易にするための C の強力なツールです。完璧な転送。しかし、その実装は一見すると眉をひそめるかもしれません。 std::move() がこれをどのように実現するかを明確にするために、その実装の複雑さを掘り下げてみましょう。

「Move」関数を理解する

まず始めます。 「move」関数の簡易版template:

template <typename T>
typename remove_reference<T>::type&& move(T&& arg)
{ return static_cast<typename remove_reference<T>::type&&>(arg); }

ケース 1: 右辺値を渡す

std::move() が右辺値 (一時オブジェクトまたは評価する式) を指定して呼び出された場合右辺値に変換)、移動テンプレートは次のようにインスタンス化されます。

// move with [T = Object]:
remove_reference<Object>::type&& move(Object&& arg)
{ return static_cast<remove_reference<Object>::type&&>(arg); }

削除_参照<オブジェクト> Object を Object に変換すると、次のようになります。

Object&& move(Object&& arg) { return static_cast<Object&&>(arg); }

予想どおり、関数は単に右辺値引数を右辺値参照にキャストするだけです。

ケース 2: 左辺値を渡す

さて、std::move() が次のように呼び出された場合に興味深いケースが発生します。左辺値 (名前付き変数、または左辺値に評価される式)。

Object a; // a is lvalue
Object b = std::move(a);

今回、移動テンプレートは次のようにインスタンス化します。

// move with [T = Object&]
remove_reference<Object&>::type&& move(Object& && arg)
{ return static_cast<remove_reference<Object&>::type&&>(arg); }

再び、remove_reference