c++ - 紛らわしい C++ テンプレート

Question

C++ テンプレートを勉強しています。誰かがこのコードのすべてのビットを説明できますか

template <class T>
struct identity
{
    typedef T type;
};
template <class T>
T&& forward(typename identity<T>::type&& a)
{
    return a;
}

Answer 1

my_forwardまず、この呼び出しを許可するには、別の特殊化が必要です。

int a;
my_forward<int>(a);

したがって、my_forward次のような参照に特化します。

template <class T>
T&& my_forward(typename identity<T>::type& a)
{
    return static_cast<T&&>(a);
}

しかし、この場合、

int a;
my_forward<int&>(std::ref(a));

あいまいです:

note: candidate function [with T = int &]
T&& my_forward(typename identity<T>::type&& a)
    ^
note: candidate function [with T = int &]
T&& my_forward(typename identity<T>::type& a)
    ^

それを避けるには、次std::remove_referenceの代わりに使用する必要がありidentityます。

template <class T>
T&& my_forward(typename std::remove_reference<T>::type&& a)
{
    return static_cast<T&&>(a);
}

template <class T>
T&& my_forward(typename std::remove_reference<T>::type& a)
{
    return static_cast<T&&>(a);
}

Answer 2

template <class T>
struct identity
{
    typedef T type;
};

この部分は、テンプレート引数として渡す型の名前付きidentityパブリック メンバーを保持する名前付きクラス テンプレートを定義しています。あなたの例では、部分的または明示的な特殊化がないため、渡される型はすべてです。typedeftypeidentitytype

template <class T>
T&& forward(typename identity<T>::type&& a)
{
    return a;
}

forwardによって返される型への右辺値参照を取る関数テンプレートidentity<T>::typeです。によって返される型(明らかであっても) は、コンパイラによって(型が依存型typeであるため) であると推測できないため、 のテンプレート引数を明示的に指定する必要があります。Tforward

右辺値参照構文(戻り値の型の場合) は、型がテンプレート引数であるため、(非公式に)ユニバーサル参照&&と呼ばれるものも示します。これは、戻り値の型が、関数によって返される右辺値と左辺値の両方にバインドできることを意味します。T

返される型はテンプレート パラメーターではないため、パラメーターの型identity<T>::type&&はユニバーサル参照ではありません。これは、パラメーターが右辺値のみを受け入れることができることを意味します。それには、パラメーターに左辺値を指定する必要があります。moveforward

int main()
{
    int n{0};
    forward<int>(std::move(n));
}

そして最後に、パラメーターaを右辺値参照に戻します。ただし、移動する必要があるため、パラメーターを に戻すことはできT&&ません。a

template <class T>
T&& forward(typename identity<T>::type&& a)
{
    return std::move(a);
}

それ以外の場合は、代わりに左辺値参照を返します。

template <class T>
T& forward(typename identity<T>::type&& a)
{
    return a;
}