返回值优化的步骤

Question

可能的重复：
了解返回值优化和返回临时值 - C++

让 Integer 是某个以 i 作为成员的类。left 和 right 作为参数传递给函数调用，并且是type Integer

现在如 Bruce Eckel 中给出的那样。

代码 1：

return Integer(left.i+right.i);

代码 2：

Integer tmp(left.i+right.i);
return tmp;

代码 1 表示创建一个临时整数对象并返回它，它与创建一个命名局部变量并返回它不同，这是一个普遍的误解。

在代码 1 中（称为返回临时方法）：
编译器知道您不需要它正在创建的对象，然后将其返回。编译器通过将对象直接构建到外部返回值的位置来利用这一点。这仅需要一个普通的构造函数调用（无复制构造函数），并且不需要析构函数，因为没有创建本地对象。

代码 2 中会发生 3 件事：
a) 创建 tmp 对象，包括其构造函数调用
b) 复制构造函数将 tmp 复制到外部返回值的位置。
c) 在作用域末尾为 tmp 调用析构函数。

在代码 1 中，这意味着什么：将对象直接构建到外部返回值的位置？
另外为什么代码 1 中不会调用复制构造函数？

我也不明白代码2中的步骤b在做什么？即复制构造函数将 tmp 复制到外部返回值的位置。

Answer 1

编译器可以自由地优化按值传递和按值返回的复制构造函数。我的猜测是，任何像样的优化器都会为这两个变体生成相同的二进制文件。

代码的优化版本：

A foo()
{
   A temp;
00401000  mov         ecx,dword ptr [A::x (40337Ch)] 
00401006  mov         dword ptr [eax],ecx 
00401008  add         ecx,1 
0040100B  mov         dword ptr [A::x (40337Ch)],ecx 
   return temp;
}

所以你看，复制构造函数没有被调用，尽管在我的版本中，它有一个cout，所以它确实影响了观察到的行为。

没有优化：

A foo()
{
004113C0  push        ebp  
004113C1  mov         ebp,esp 
004113C3  sub         esp,0CCh 
004113C9  push        ebx  
004113CA  push        esi  
004113CB  push        edi  
004113CC  lea         edi,[ebp-0CCh] 
004113D2  mov         ecx,33h 
004113D7  mov         eax,0CCCCCCCCh 
004113DC  rep stos    dword ptr es:[edi] 
   A temp;
004113DE  lea         ecx,[temp] 
004113E1  call        A::A (4110E6h) 
   return temp;
004113E6  lea         eax,[temp] 
004113E9  push        eax  
004113EA  mov         ecx,dword ptr [ebp+8] 

/// copy constructor called on next line:

004113ED  call        A::A (411177h) 
004113F2  mov         eax,dword ptr [ebp+8] 
}

短语“b）复制构造函数将 tmp 复制到外部返回值的位置。”这是牵强的，有时甚至不会发生。

您应该记住的是，您不应该依赖于被调用的复制构造函数。