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

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

「移動」関数を理解する

まず始めます。 「move」関数テンプレートの簡易バージョン:

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

ケース 1: 右辺値を渡す

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

// move with [T = Object]:
remove_reference

remove_reference

Object&& move(Object&& arg) { return static_cast

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

ケース 2: 左辺値を渡す

ここで興味深いのが、このケースは、 std::move() が左辺値 (名前付き変数、または左辺値に評価される式) を使用して呼び出されたときに発生します。 // a は左辺値です Object b = std::move(a);

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

// [T = Object&] で移動します Remove_reference

// move with [T = Object&]
remove_reference

Object&& move(Object& && arg) { return static_cast

Object&& move(Object& && arg) { return static_cast

の概念が導入され、参照構文の解釈が変更されます。

• Object & & && = オブジェクト &
• オブジェクト & && & = オブジェクト &
• オブジェクト & && & && = オブジェクト & &&
• これらのルールでは、Object& && は実質的に Object& として動作します。

したがって、関数の最終形式は次のようになります。

Object&& move(Object& arg) { return static_cast

Object&& move(Object& arg) { return static_cast