標準コンテナを返却すると、コンテナの内容のコピーが発生しますか？

Question

STLコンテナを返す関数を持っている場合、標準コンテナの内容全体をコピーする必要がありますか？

これは次のようになります。これより

void Foo(std::vector<std::string>* string_list); 

よりよい：

std::vector<std::string> Foo(); 

容器の中に何があるかは関係していますか？たとえば、次のようにコンテナを返します：

struct buzz { 
    int a; 
    char b; 
    float c; 
} 

std::map< int, buzz > Foo(); 

は、これよりもより高価な操作である：

std::map< int, int > Foo(); 

おかげで、 PaulH

---

編集： これはですC++ 03。残念ながら、C++ 0xソリューションは受け入れられません。

Edit2： 私はMicrosoft Visual Studio 2008コンパイラを使用しています。

Answer 1

C++ 03はおそらく戻り値の最適化（Google RVOとNRVO）を行います。

この最適化が適用されない場合、C++ 0xはmove semanticsを実行します。

Answer 2

はい、コンテナのコピーが含まれますが、void Foo(std::vector<std::string>* string_list);は使用しないでください。代わりにvoid foo(vector<string>& string_list);を使用してください。

または単にC++ 0xに切り替えて、ライブラリ内に既に最適化を実装しているコンパイラを使用してください。

Answer 3

私は100％で確認されませんでしたが、NO（コメンテーターのおかげで）：（LOCAL_FUN付き）

#include <vector> 
#include <iostream> 

#define LOCAL_FUN 

struct A { 
    A() { std::cout << "default ctor" << std::endl; } 
    A(const A &a) { std::cout << "copy ctor" << std::endl; } 
}; 

#ifdef LOCAL_FUN 
std::vector<A> *pVec = NULL; 
#endif 

std::vector<A> func() 
{ 
    std::vector<A> vec; 
#ifdef LOCAL_FUN 
    pVec = &vec; 
#endif 
    vec.push_back(A()); 
    std::cout << "returning" << std::endl; 
    return vec; 
} 

int main(int argc, char *argv[]) 
{ 
    std::vector<A> ret = func(); 
#ifdef LOCAL_FUN 
    if (pVec) { 
     std::cout << pVec->size(); 
    } 
#endif 
} 

出力：

default ctor 
copy ctor 
returning 
1 

編集：いくつかのより多くの主導のコードで遊んで私はローカル変数（LOCAL_FUN）でいくつかの楽しみに。コピーを最適化しない本当に悪いコンパイラは、このコードを実際に破ることができます。

Answer 4

最初のコンパイラでコピー構成を削除する必要があります。コピーできない場合は移動し、コピーできない場合は移動してください。したがって、コンパイラが本当に悪い場合は、余分なコピーのオーバーヘッドが発生する危険性があります。詳細については、this discussionを参照してください。

Answer 5

コンテナのコピーコンストラクタによって異なります。 C++には値渡しのセマンティクスがあります。したがって、関数Foo（）のベクトルを返すと、それは値セマンティクスを使用して返されます。つまり、ベクトルの値をコピーするためにコピーコンストラクタが呼び出されます。この場合、std :: vectorのコピーコンストラクタは新しいコンテナを作成し、その値をコピーします。コンテナにポインタを渡す場合は、すでに割り当てられていない場合はメモリを割り当てる必要があります。そのため、ポインタはnull値ではなく実際のコンテナを指しています。プログラミングのプラクティスの観点からは、セマンティクスを解釈のために開いたままにするため、これは良いことではありません。より良い考え方は、コンテナへの参照を渡して、関数が所望の要素でコンテナを満たすようにすることです。