Visual Studio 2010 の std::forward でテンプレート引数の推定が無効になっているのはなぜですか?

std::forward でのテンプレート引数の推論の無効化

質問:

なぜテンプレートなのかVisual Studio 2010 の std::forward の実装では引数の推論が無効になっていますか?

回答:

std::forward は完全転送に使用されるユーティリティ関数です。入力引数の型は出力引数に保持されます。ただし、テンプレート引数の推論が std::forward で有効になっている場合、特定のシナリオで誤った動作が発生する可能性があります。

具体的には、入力引数が lvalue または const lvalue (つまり、名前を持つオブジェクト) の場合です。 )、テンプレート引数の推定により、パラメーターの型が lvalue または const lvalue 参照であると推定されます。完全な転送シナリオでは、入力引数の正確な型を保持することが目的であるため、これは望ましいことではありません。

潜在的な問題を説明するには、次のようにします。

<code class="cpp">template<typename T>
void test(T&& obj)
{
    // ...
}

int main()
{
    int x;
    int& y = x;

    test(7);       // input is an rvalue, so T is deduced as int&&
    test(x);       // input is an lvalue, so T is deduced as int&
    test(y);       // input is a named lvalue, so T is deduced as int&
}</code>

ここではたとえば、std::forward がテンプレート引数の推論を使用した場合、test(x) と test(y) の引数の型は int& として誤って推論され、予期しない動作が発生します。

この問題を防ぐには、次のようにします。 std::forward の実装では、アイデンティティ メタ関数を使用して型パラメータを明示的に指定し、テンプレート引数の推論を効果的に無効にします。これにより、右辺値であるか左辺値であるかに関係なく、入力引数の型が出力引数に保持されることが保証されます。

以上がVisual Studio 2010 の std::forward でテンプレート引数の推定が無効になっているのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。