同样是 return 一个中间变量，为什么另一种代码的反汇编分配了两次空间？

总所周知，函数体返回值那里没有&，就会返回一个中间变量。

class sale {
public:
	int i = 1;
};

sale add(const sale& lift, const sale& right) {
	sale sum = lift;
	sum.i += right.i;
	return sum;
}

int main()
{
	sale one;
	sale two;
	const sale& global = add(one, two);
}

假设有如上代码，进行反汇编后，汇编如下：

	const sale& global = add(one, two);
00D51A32 8D 45 E8             lea         eax,[two]  
00D51A35 50                   push        eax  
00D51A36 8D 4D F4             lea         ecx,[one]  
00D51A39 51                   push        ecx  
00D51A3A E8 40 F9 FF FF       call        add (0D5137Fh)  
00D51A3F 83 C4 08             add         esp,8  #调用完毕后，清除栈空间
00D51A42 89 85 04 FF FF FF    mov         dword ptr [ebp-0FCh],eax  #为中间变量分配空间
00D51A48 8B 95 04 FF FF FF    mov         edx,dword ptr [ebp-0FCh]  
00D51A4E 89 55 D0             mov         dword ptr [ebp-30h],edx  #把中间变量复制给新的变量
00D51A51 8D 45 D0             lea         eax,[ebp-30h]  #导入新变量的地址
00D51A54 89 45 DC             mov         dword ptr [global],eax  #把这个地址给 global，因为引用本质是指针

上面写的注释不一定对，但为什么这里要分配两次空间呢？如果我换一个简单的程序：

int re() {
	return 5;
}

int main()
{
	//int a = 1;
	const int& b = re();
}

他的汇编就和我想象中一样了，只分配一次空间：

	const int& b = re();
00B019B2 E8 0E FA FF FF       call        re (0B013C5h)  
00B019B7 89 45 E8             mov         dword ptr [ebp-18h],eax  #分配空间
00B019BA 8D 45 E8             lea         eax,[ebp-18h]  #把地址导入 eax
00B019BD 89 45 F4             mov         dword ptr [b],eax #把 eax 赋值给 b，因为 b 是引用，相当于指针

amiwrong123

2019-07-14 21:50:42 +08:00

@lcdtyph
看到啦，在 Temporary object lifetime 的 There are two exceptions from that:，我这个属于 const lvalue reference。

你说的-fno-elide-constructors，这又是我的知识盲区了。。。看了看博客，意思就是会省略一些中间变量的创建，因为两次拷贝和一次拷贝效果是一样的。但为啥你说，我第一种代码里一定会分配两次内存，不是默认是会优化的吗？ vs2017 里面好像没有这个选项。。

guaranteed copy elision，又是一个知识点，我拿小本本记上。

14m3

2019-07-15 09:25:58 +08:00

1. 楼主，以后可以在 https://godbolt.org/（一个网页版的交互式编译器）上面来测试，可以选择不同的编译器，开启不同的编译选项，也能很方便看到汇编代码
2. 前面 @lcdtyph 已经说过了，const lvalue reference 会延长临时对象的生命周期，所以问题中的代码是合法的
3. 其实讨论这个代码，是需要确定讨论的环境的，是 C++11/14，还是 C++17。因为 C++17 标准中添加了 Guaranteed Copy Elision，重新定义了 value category 中 prvalues 的语义
4. 我自己测试了一下 https://godbolt.org/z/NRKI-R，在 C++17 标准下，不管 main 函数中是 const sale& global = add(one, two); 还是 const sale global = add(one, two); 问题中的代码都是调用了三次构造函数，前两次构造函数是 sale one; 和 sale two;，第三次构造函数是拷贝构造。在其他标准下，楼主可以自己测试.