c++ - 为什么从函数返回对象时我得到两个临时对象

Question

这是我的 C++ 代码

class CTest {
public:
    int number;
    int arr[10];
};

CTest Return(int val) {
    CTest obj;
    obj.number = val;
    return obj;
}

int main() {
    CTest obj = Return(10);
    return 0;
}

我通过查看汇编代码发现有两个临时对象

//in main

    CTest obj = Return(10);
0009F6CE  push        0Ah  
0009F6D0  lea         eax,[ebp-158h]  ; pass the first temporary object's address to Return
0009F6D6  push        eax  
0009F6D7  call        Return (0822E9h)  
0009F6DC  add         esp,8  
0009F6DF  mov         ecx,0Bh  
0009F6E4  mov         esi,eax  
0009F6E6  lea         edi,[ebp-124h]  ; copy from the first temporary object
0009F6EC  rep movs    dword ptr es:[edi],dword ptr [esi]  
0009F6EE  mov         ecx,0Bh  
0009F6F3  lea         esi,[ebp-124h]  
0009F6F9  lea         edi,[obj]       ; copy from the second temporary object
0009F6FC  rep movs    dword ptr es:[edi],dword ptr [esi]

//in Return

    CTest obj;
    obj.number = val;
0009F64E  mov         eax,dword ptr [val]  
0009F651  mov         dword ptr [obj],eax  
    return obj;
0009F654  mov         ecx,0Bh  
0009F659  lea         esi,[obj]  
0009F65C  mov         edi,dword ptr [ebp+8]  
0009F65F  rep movs    dword ptr es:[edi],dword ptr [esi]  ; copy to the first temporary object
0009F661  mov         eax,dword ptr [ebp+8]  

为什么我得到了第二个临时对象。似乎只有一个临时对象就足够了。如果我添加一个空的析构函数~CTest() {}将没有临时对象（RVO？）。

Answer 1

“为什么我得到了第二个临时对象”

这可能是因为您关闭了优化。

否则，编译器将通过obj从 main 作为隐藏参数（就像this指针）传递给 Return 函数来进行优化，并将“结果”分配给它。

因此，优化后您的代码将如下所示：

void Return(void* put_result_here , int val) {
    CTest obj;
    obj.number = val;
    put_result_here = obj;
}


int main() {
    CTest obj; 
    Return(&obj , 10);
    return 0;
}

这种优化称为按值返回优化。