パラメータが '通過'されるために右辺値参照を使用できますか？

Question

パラメータをコピーせずに関数に渡すことは可能ですか？

のは、例を作ってみましょう：

std::string check(std::string in, int &maxLen) 
{ 
    maxLen = std::max(maxLen, in.length()); 
    return in; 
} 

//main: 
    int maxCnt = 0; 
    std::cout 
     << check("test, ", maxCnt) 
     << check("two tests, ", maxCnt) 
     << check("three tests, ", maxCnt) 
     << maxCnt; 
// would output: "test, two tests, three tests, 13" 

私のC++コンパイラfooが、これはすでに離れて最適化することができるならば言って十分ではありません。

check(...)のシグニチャは、一時的な引数がとなるように見えるようにする必要があります。はコピーされません。

私の最初の推測されました：

std::string && check(std::string &&in, int &maxLen) 

これが正しければ、実装は次のように何に見えるのでしょうか？

備考：あなたが入力のいずれかのコピーを回避したい場合

• std::stringはプレースホルダで、それがどの複合型
• で動作するはず重複質問

Answer 1

に私をヒントしてください文字列として、あなたの関数を書く必要があります：

std::string const& check(std::string const& input, int& maxLen) { 
    maxLen = std::max(maxLen, input.size()); 
    return in; 
} 

Th e引数がconstで渡されたことはかなり明白です。なぜ帰ってくる？ RVOではコピーを削除できないためです。 RVOは、関数内にオブジェクト（左辺値）を作成し、それを返すとき（左辺値も含む）に発生します。コンパイラは、オブジェクトが自動的にビルドされる場所にビルドすることによってコピーをエリートします。ここで、左辺値（std::string constまたはstd::stringのいずれか）を返すと、コンパイラは戻り値をどこかに保存し、その参照先から参照先へのコピーを実行する必要があることを確認します。 std::string const&を使用すると、operator <<（std::basic_ostream）からのconst参照も処理されるため、これを回避できます。あなたがオブジェクトをコピーしたくない場合は、

template <class CharT, class Traits, class Allocator> 
std::basic_ostream<CharT, Traits>& 
    operator<<(std::basic_ostream<CharT, Traits>& os, 
       const std::basic_string<CharT, Traits, Allocator>& str); 
//    ^^^^^ const ref here for the string argument