C++ std :: stringオブジェクトをメモリリークから安全に戻していますか？

Question

私はC++の文字列でかなり初心者ですので、次のパターンは少し醜いかもしれません。私は大規模なシステムとの統合テストを開始する前に、私が書いたいくつかのコードを見直しています。私が知りたいのは、それが安全かどうか、あるいはメモリを漏らす傾向があるかどうかということです。

string somefunc(void) { 
    string returnString; 
    returnString.assign("A string"); 
    return returnString; 
} 

void anotherfunc(void) { 
    string myString; 
    myString.assign(somefunc()); 
    // ... 
    return; 
} 

私は理解がReturnStringにの値が新しいオブジェクトのmyStringに割り当てられ、その後、ReturnStringにオブジェクトがsomefuncへの呼び出しを解決するの一環として、破壊されていることです。将来、myStringが範囲外になると、それも破壊されます。

私は通常、somefunc（）にmyStringへのポインタを渡してmyStringの値に直接代入しましたが、私のコードで少し明確になるように努力しています。

Answer 1

：それは完全に透明になりますさらに効率的です（空文字列の作成を省き、次の呼び出しで上書きされます。assign）。

std::stringは、独自のメモリを管理しており、コピーコンストラクタと代入演算子を正しく記述しているため、このように文字列を使用することは安全です。

Answer 2

はい、（少なくとも通常は）安全です。ほぼすべての合理的な文字列クラスの最も基本的な貢献の1つは、通常の割り当て、返品などが「うまくいく」基本的な値のように機能することです。あなたは、文字列のcopy constructorを呼び出している

return returnString 

を実行して、

Answer 3

はい。どの呼び出し式の「somefunc（）」の代わりをすること（別名右辺値）一時的にReturnStringにの*コピーを実行します。

myString.assign(somefunc() /*somefunc()'s return becomes temporary*/); 

この順番に割り当てるために渡され、実行するために割り当てによって使用されていますmyStringにコピーします。

したがって、文字列のコピーコンストラクタはディープコピーを保証し、メモリリークを保証しません。

*これは真のディープコピーである場合とそうでない場合があることに注意してください。コピーコンストラクタの動作は実装固有です。いくつかの文字列ライブラリは、実際に必要となるまでコピーを防止するためにいくつかの内部簿記を持つコピーオンライトを実装しています。

Answer 4

文字列が値によって返されるため、完全に安全です。文字列は参照されずにコピーされます。 std::string &を返す場合は、間違ったことをしているでしょう。コンパイラの中には、戻り値の最適化を実行するものもあります。これは、実際には文字列を返しても実際にはコピーされません。詳細については、this postを参照してください。

Answer 5

文字列returnStringがsomefuncの内部に作成され、関数が返されたときにコピーが返されると言っています。これは完全に安全です。

myString〜somefunc（ポインタは使用しないでください）への参照を指定します。これは読みやすいです

string myString = somefunc(); 

、および：はい、（値によって）stringこの方法を返すことは、私はそれをこのように割り当てることを好むだろうとはいえ、安全である

void somefunc(string& myString) { 
    myString.assign("A string"); 
} 

void anotherfunc(void) { 
    string myString; 
    somefunc(myString); 
    // ... 
    return; 
}