std::forward の主な目的は何ですか? また、どのような問題を解決しますか? 質問する

N 個の引数には 2 ^{N 個の}組み合わせが必要で、これは悪夢です。これを自動的に実行したいと考えています。

(これは、C++11 でコンパイラが実際に実行してくれる処理です。)

C++11 では、これを修正する機会が得られます。1 つの解決策は、既存の型のテンプレート推論ルールを変更することですが、これにより大量のコードが壊れる可能性があります。だから別の方法を見つけなければなりません。

解決策は、代わりに新しく追加されたrvalue-referencesを使用することです。rvalue-reference 型を推論するときに新しいルールを導入し、必要な結果を作成できます。結局のところ、今コードを壊すことはあり得ません。

参照への参照が与えられた場合 (参照はT&と の両方を意味する包括的な用語であることに注意してくださいT&&)、次の規則を使用して結果の型を判断します。

「[与えられた]型 T への参照である型 TR の場合、型「cv TR への lvalue 参照」を作成しようとすると型「T への lvalue 参照」が作成されますが、「cv TR への rvalue 参照」を作成しようとすると型 TR が作成されます。」

または表形式では:

TR   R

T&   &  -> T&  // lvalue reference to cv TR -> lvalue reference to T
T&   && -> T&  // rvalue reference to cv TR -> TR (lvalue reference to T)
T&&  &  -> T&  // lvalue reference to cv TR -> lvalue reference to T
T&&  && -> T&& // rvalue reference to cv TR -> TR (rvalue reference to T)

template <typename T>
void deduce(T&& x); 

int i;
deduce(i); // deduce<int&>(int& &&) -> deduce<int&>(int&)
deduce(1); // deduce<int>(int&&)

void foo(int&);

template <typename T>
void deduce(T&& x)
{
    foo(x); // fine, foo can refer to x
}

deduce(1); // okay, foo operates on x which has a value of 1

static_cast<T&&>(x);

template <typename A>
void f(A&& a)
{
    E(static_cast<A&&>(a)); 
}

std::forward<A>(a);
// is the same as
static_cast<A&&>(a);