函数返回另一个函数的返回
问题描述：
如果我想调用Bar()而不是Foo()，那么Bar()会返回给我一个Foo（）返回的副本（额外开销），或者返回Foo()放置在临时堆栈上的相同对象？函数返回另一个函数的返回
vector<int> Foo(){
vector<int> result;
result.push_back(1);
return result;
}
vector<int> Bar(){
return Foo();
}
答
两者都可能发生。但是，大多数编译器在您优化后不会复制。
你的代码表明应该有一个副本。但是，编译器可以删除任何不会更改语义和程序的副本。
注：这就是为什么你不应该有一个拷贝构造函数，做什么，但复制正确，你永远无法知道，如果一个副本将实际完成与否。
答
通常它会返回返回的vector<int>的副本。但是，这高度依赖于编译器所做的优化。请参阅以下讨论。
调试版本
vector<int> Foo(){
004118D0 push ebp
004118D1 mov ebp,esp
004118D3 push 0FFFFFFFFh
004118D5 push offset [email protected]@[email protected][email protected]@[email protected]@@[email protected]@XZ (419207h)
004118DA mov eax,dword ptr fs:[00000000h]
004118E0 push eax
004118E1 sub esp,0F4h
004118E7 push ebx
004118E8 push esi
004118E9 push edi
004118EA lea edi,[ebp-100h]
004118F0 mov ecx,3Dh
004118F5 mov eax,0CCCCCCCCh
004118FA rep stos dword ptr es:[edi]
004118FC mov eax,dword ptr [___security_cookie (41E098h)]
00411901 xor eax,ebp
00411903 push eax
00411904 lea eax,[ebp-0Ch]
00411907 mov dword ptr fs:[00000000h],eax
0041190D mov dword ptr [ebp-0F0h],0
vector<int> result;
00411917 lea ecx,[ebp-24h]
0041191A call std::vector<int,std::allocator<int> >::vector<int,std::allocator<int> > (411050h)
0041191F mov dword ptr [ebp-4],1
result.push_back(1);
00411926 mov dword ptr [ebp-0FCh],1
00411930 lea eax,[ebp-0FCh]
00411936 push eax
00411937 lea ecx,[ebp-24h]
0041193A call std::vector<int,std::allocator<int> >::push_back (41144Ch)
return result;
0041193F lea eax,[ebp-24h]
00411942 push eax
00411943 mov ecx,dword ptr [ebp+8]
00411946 call std::vector<int,std::allocator<int> >::vector<int,std::allocator<int> > (41104Bh)
0041194B mov ecx,dword ptr [ebp-0F0h]
00411951 or ecx,1
00411954 mov dword ptr [ebp-0F0h],ecx
0041195A mov byte ptr [ebp-4],0
0041195E lea ecx,[ebp-24h]
00411961 call std::vector<int,std::allocator<int> >::~vector<int,std::allocator<int> > (411415h)
00411966 mov eax,dword ptr [ebp+8]
}
在这里我们可以看到，对于vector<int> result;一个新的对象是在栈上的[ebp-24h]
00411917 lea ecx,[ebp-24h]
0041191A call std::vector<int,std::allocator<int> >::vector<int,std::allocator<int> > (411050h)
创建当我们到达return result;中创建一个新副本在[ebp+8]
00411943 mov ecx,dword ptr [ebp+8]
00411946 call std::vector<int,std::allocator<int> >::vector<int,std::allocator<int> > (41104Bh)
和析构函数在[ebp-24h]
0041195E lea ecx,[ebp-24h]
00411961 call std::vector<int,std::allocator<int> >::~vector<int,std::allocator<int> > (411415h)
发布呼吁本地参数vector<int> result构建
vector<int> Foo(){
00401110 push 0FFFFFFFFh
00401112 push offset [email protected]@[email protected][email protected]@[email protected]@@[email protected]@XZ (401F89h)
00401117 mov eax,dword ptr fs:[00000000h]
0040111D push eax
0040111E sub esp,14h
00401121 push esi
00401122 mov eax,dword ptr [___security_cookie (403018h)]
00401127 xor eax,esp
00401129 push eax
0040112A lea eax,[esp+1Ch]
0040112E mov dword ptr fs:[00000000h],eax
00401134 mov esi,dword ptr [esp+2Ch]
00401138 xor eax,eax
0040113A mov dword ptr [esp+8],eax
vector<int> result;
0040113E mov dword ptr [esi+4],eax
00401141 mov dword ptr [esi+8],eax
00401144 mov dword ptr [esi+0Ch],eax
result.push_back(1);
return result;
00401147 push eax
00401148 mov dword ptr [esp+28h],eax
0040114C mov ecx,1
00401151 push esi
00401152 lea eax,[esp+14h]
00401156 mov dword ptr [esp+10h],ecx
0040115A mov dword ptr [esp+14h],ecx
0040115E push eax
0040115F lea ecx,[esp+1Ch]
00401163 push ecx
00401164 mov eax,esi
00401166 call std::vector<int,std::allocator<int> >::insert (401200h)
0040116B mov eax,esi
}
0040116D mov ecx,dword ptr [esp+1Ch]
00401171 mov dword ptr fs:[0],ecx
00401178 pop ecx
00401179 pop esi
0040117A add esp,20h
0040117D ret
线vector<int> result不会调用矢量分配，因为它是在调用点进行Bar。该优化不会复制Foo的结果。
+0
我认为这个解释是有点矫枉过正... 而且高度依赖于编译器。 – PierreBdR 2008-10-03 10:32:58
不幸的是，这不是编译器允许删除副本的地方（内联将尽管删除它）。所以是的，一个矢量从Foo（）复制到Bar（），然后从Bar（）复制到调用者。已经做了很多工作来使std :: vector 非常高效。所以别担心。 – 2008-10-03 14:43:32
我认为编译器可以使用Return Value Optimization（http://msdn.microsoft.com/en-us/library/ms364057(VS.80).aspx）作为单个副本安全地进行优化。 基本上，如果变量将被构造并立即复制，它可以直接构造它将被复制到的位置。 – 2008-10-03 15:31:41