なぜstd :: moveはrvalue参照を引数として取るのですか？

Question

はcppreference.comによると、moveは署名

template< class T > 
typename std::remove_reference<T>::type&& move(T&& t) noexcept; 

なぜそれがそのarugmentとして右辺値参照T&& tを取るんを持っていますか？私は次のコード

void foo(int&& bar) { 
    cout << "baz" << endl; 
} 

int main(){ 
    int a; 
    foo(a); 
} 

をしようとしたとき

はまた、私は何が起こっているかを「右辺値参照は左辺値にバインドすることはできません」コンパイラから

をエラーが発生しましたか？私は困惑している。

Answer 1

これは右辺値ではありませんが、forwarding referenceです。それは議論の価値カテゴリーを保存することができる。つまり、std::moveはlvalueとrvalueの両方をとり、無条件にrvalueに変換できます。

転送参照は、関数の引数の値カテゴリを保持する特別な種類の参照で、std :: forwardを使用して転送することができます。転送の参照のいずれかである：

1）同じ 関数テンプレートのCV-非修飾型テンプレートパラメータに右辺値 参照として宣言された関数テンプレートの機能パラメータ：& &から推定される場合を除いて

2）オート中括弧で囲まれたイニシャライザリスト。

一方、int&&は正の参照番号です。テンプレートテンプレートのパラメータがTのT&&のタイプ、つまり推定タイプがTの場合、パラメータは転送参照です。