値で返されるのではなく、C++でスワップを返すことは可能ですか？

Question

C++で文字列クラスをコーディングしているとします（ライブラリを使用できることがわかります）。ストリングの長さは可変であり、ストレージスペースはコンストラクターで動的に割り当てられ、デストラクタで解放されます。 main関数（a,b,cが文字列である）c=a+bを呼び出すときに、operator+メンバ関数は、連結された文字列a+bを格納する一時的なオブジェクトを作成main機能に戻し、その後operator=メンバ関数は元々cに格納された文字列を解放するために呼び出されますテンポラリ文字列a+bからcにデータをコピーし、最後にテンポラリa+bを破棄します。これを実現するための方法があるかどう

私は思ったんだけど：代わりにcへa+bからoperator=コピーデータを有するので、私は、それがa+bとcのデータポインタを交換したいようa+bが破壊されたときに、それをc（元のデータ）に元のデータが破棄されますが、cは今度はa+bの結果をコピーする必要はありません。

2パラメータのメンバ関数setToStrcatをコーディングし、c.setToStrcat(a,b)を呼び出すことができます。たとえば、関数を符号化することができる。

void String::setToStrcat(const String& a,const String& b){ 
     String tmp(a.len+b.len); int i,j; 
     for(i=0;i<a.len;i++) tmp[i]=a[i]; 
     for(j=0;j<b.len;i++,j++) tmp[i]=b[j]; 
     tmp[i]='\0'; this->swap(tmp); 
    } 

    void String::swap(String& a){ 
     int n=len; len=a.len; a.len=n; 
     char *s=str; str=a.str; a.str=s; 
    } 

は私のコンストラクタの定義を省略（i番目の文字の参照を返す）とoperator[]（len+1 char型のスペースを割り当てています）。 tmpがスワップ後破壊されたとき、それが実際に破壊されている元々*this（main関数でString c）に格納されたデータとなるようswap関数は、*thisとtmp間のデータポインタと長さ変数をスワップ。 *thisは現在（c.str）の連結文字列a+bです。

c=a+bのパフォーマンスを同じレベルに最適化する方法があるかどうかを知りたいと思います。私はc.swap(a+b)を試して、a+bの戻り値の型をString&に変更しましたが、警告（ローカル変数への参照）が表示され、GDBはスワップが発生する前に一時的に破壊されたことを示します。

私の質問は一般的だと思います。 C++プログラミングでは、関数の結果を格納するために一時オブジェクトが必要なことがよくありますが、main関数の別のオブジェクトに割り当てると、データをコピーすることはできませんが、代わりに（もっと速く）ポインタのスワップを使用できますか？これを実現させるためのきちんとした方法は何ですか？

Answer 1

C++ 11では、ムーブコンストラクタを記述することでこれを行うことができます。この正確な問題を解決するために、Rvalue参照が言語に追加されました。

class String { 
    ... 
    String(String&& s) : str(nullptr) { 
    this->swap(s); 
    } 
    String& operator=(String&& s) { 
    this->swap(s); 
    } 
    ... 
    String operator+(String const& other) { 
    // (your implementation of concatenation here) 
    } 
    ... 
} 

次に、このようなコードは、余分なコピーコンストラクタやメモリ割り当てをトリガーしません、それは単に新しいオブジェクトcに（オペレータ+から返されたもの）の一時から割り当てられたメモリを移動します。

String c = a + b;