关于C++函数返回局部对象的详细分析

class ReturnAnObject {
public:
	int arr[10];
	int num;
};


ReturnAnObject returnAnObjectFunc() {
	ReturnAnObject obj;
	obj.num = 0x12345678;
	for (int i = 0; i < 10; i++) {
		obj.arr[i] = i + 3;
	}
	return obj;
}


int main() {
	ReturnAnObject obj;
	obj = returnAnObjectFunc();
	return 0;
}

returnAnObjectFunc:
	ReturnAnObject obj;
	obj.num = 0x12345678;
	for (int i = 0; i < 10; i++) {
		obj.arr[i] = i + 3;
	}
	return obj;
;;;;这里开始正题，首先设置ecx为0Bh用以后面的循环
mov         ecx,0Bh  
;;;;然后获取obj的地址存放到esi
lea         esi,[obj]
;;;;注意这里[ebp+8]，很熟悉吧，以前实际参数也是这样获取的
;;;;这里一样，所以我们可以猜想这个函数把局部对象存放到参数上面
;;;;后面如果我们能看到调用这个函数如果还压入其他数据就能肯定我们的猜想
;;;;(因为这个函数是没有参数的)  
mov         edi,dword ptr [ebp+8]
;;;;重复把esi的数据复制到es:[edi]，esi会自动向前移动，重复次数为ecx值
rep movs    dword ptr es:[edi],dword ptr [esi]
;;;;顺着我们之前的猜想我们可以进一步认为这个函数已经把局部变量复制到了参数上
;;;;然后返回参数地址相当于返回变量
mov         eax,dword ptr [ebp+8]  

main:
 push        ebp  
 mov         ebp,esp  
 sub         esp,15Ch  
 push        ebx  
 push        esi  
 push        edi  
 lea         edi,[ebp-15Ch]  
 mov         ecx,57h  
 mov         eax,0CCCCCCCCh  
 rep stos    dword ptr es:[edi]  
	ReturnAnObject obj;
	obj = returnAnObjectFunc();
;;;;注意下面三行代码，这里取main函数栈里面一块很大空间(不全是用于存放函数返回的局部变量)的首地址作为参数压栈
;;;;但是returnAnObjectFunc是没有参数的，而且也不是类成员函数，不存在this的可能
;;;;很明显我们的猜想是正确的，这块内存就用来存放返回的局部变量
 lea         eax,[ebp-158h]  
 push        eax  
 call        returnAnObjectFunc (039B16Fh)
;;;;平衡栈
 add         esp,4  
;;;;这里首先设置循环次数
 mov         ecx,0Bh
;;;;然后把之前returnAnObjectFunc参数地址复制到esi
 mov         esi,eax
;;;;[ebp-124h]就是当前main函数中局部临时变量的地址
 lea         edi,[ebp-124h] 
;;;;重复执行复制之前保存的局部变量到当前局部临时变量
 rep movs    dword ptr es:[edi],dword ptr [esi]
;;;;最后下面这些操作把当前局部临时变量复制到当前局部变量obj出  
 mov         ecx,0Bh  
 lea         esi,[ebp-124h]  
 lea         edi,[obj]  
 rep movs    dword ptr es:[edi],dword ptr [esi]  
	return 0;
;;;;eax清零
 xor         eax,eax  

void* returnAnObjectFunc(void * address) {
	ReturnAnObject obj;
	obj.num = 0x12345678;
	for (int i = 0; i < 10; i++) {
		obj.arr[i] = i + 3;
	}


	copyObjectData(address,&obj);
	return address;
}


int main() {
	void* newMem = mallocSuitableMemory();
	ReturnAnObject obj;
	newMem = returnAnObjectFunc(newMem);
	ReturnAnObject temp;
	copyObjectData(&temp,newMem);
	obj=temp;
	return 0;
}