用汇编的眼光看C++（之拷贝、赋值函数）

来源：互联网发布：智慧城市五大数据库编辑：程序博客网时间：2024/05/16 17:20

转自：http://blog.csdn.net/feixiaoxing/article/details/6772964

拷贝构造函数和复制函数是类里面比较重要的两个函数。两者有什么区别呢？其实也很简单，我们可以举个例子，加入有这样一个类的定义：

view plain
class apple  
{  
public:  
    apple() {  printf("apple()!\n");}  
    apple(apple& a) {  printf("copy apple()!\n");}  
    apple& operator=(apple& a) {  printf("= apple()\n"); return *this;}  
    ~apple() {  printf("~apple()!\n");}  
    void print() const {  return;}  
};  

那么我们在如下的函数里面进行调用的时候，调用的函数分别是哪些呢？

view plain
void process()  
{  
    apple a, c;  
    apple b =a;  
    c = b;  
}  

其实汇编的结果是这样的，大家可以一起看一下，自己尝试读一下。如果一次不是很明白，可以多读几次。

view plain
70:       apple a, c;  
0040127D   lea         ecx,[ebp-10h]  
00401280   call        @ILT+70(apple::apple) (0040104b)  
00401285   mov         dword ptr [ebp-4],0  
0040128C   lea         ecx,[ebp-14h]  
0040128F   call        @ILT+70(apple::apple) (0040104b)  
00401294   mov         byte ptr [ebp-4],1  
71:       apple b =a;  
00401298   lea         eax,[ebp-10h]  
0040129B   push        eax  
0040129C   lea         ecx,[ebp-18h]  
0040129F   call        @ILT+50(apple::apple) (00401037)  
004012A4   mov         byte ptr [ebp-4],2  
72:       c = b;  
004012A8   lea         ecx,[ebp-18h]  
004012AB   push        ecx  
004012AC   lea         ecx,[ebp-14h]  
004012AF   call        @ILT+75(apple::operator=) (00401050)  
73:   }  
004012B4   mov         byte ptr [ebp-4],1  
004012B8   lea         ecx,[ebp-18h]  
004012BB   call        @ILT+0(apple::~apple) (00401005)  
004012C0   mov         byte ptr [ebp-4],0  
004012C4   lea         ecx,[ebp-14h]  
004012C7   call        @ILT+0(apple::~apple) (00401005)  
004012CC   mov         dword ptr [ebp-4],0FFFFFFFFh  
004012D3   lea         ecx,[ebp-10h]  
004012D6   call        @ILT+0(apple::~apple) (00401005)  
004012DB   mov         ecx,dword ptr [ebp-0Ch]  
004012DE   mov         dword ptr fs:[0],ecx  
004012E5   pop         edi  
004012E6   pop         esi  
004012E7   pop         ebx  
004012E8   add         esp,58h  
004012EB   cmp         ebp,esp  
004012ED   call        __chkesp (004087c0)  
004012F2   mov         esp,ebp  
004012F4   pop         ebp  
004012F5   ret  

代码有点长，大家可以一句一句来看，比如说就按照70、71、72、73分别查看对应的汇编代码：

（1）70句：我们看到函数做了两次函数调用，恰好就是apple的构造函数调用。这也正好对应着两个临时变量a和c，两个变量的地址分别是【ebp-10】和【ebp-14】，这里也可以看出整个类的大小就是4个字节

（个人不同意这种说法，vc下就算是定义两个字符变量堆栈也是做类似分配，如：

3:        char a='a';00401028   mov         byte ptr [ebp-4],61h4:        char b='b';0040102C   mov         byte ptr [ebp-8],62h

by orc）

，就是一块存放数据的普通内存。而构造函数之所以能和对应的内存绑定在一起，主要是因为ecx记录了内存的起始地址，这在C++编译中是十分关键的。我们看到的C++构造函数好像是没有绑定内存，实际上在VC里面已经做好了约定，ecx就是this指针，就是类的内存起始地址。有兴趣的同学看看G++编译的时候，采用的this指针是哪个寄存器保存的？（其实是eax）

（2）71句：通过对应看到了eax记录了引用变量的地址（并存放在堆栈中 by orc），而ecx是ebp下面紧挨着四个字节。但是函数调用的地址和前面的缺省构造函数不太一样，所以我们大胆猜测，这里的构造函数这是拷贝构造函数，我们可以在调试的时候查看一下打印消息。

（3）72句：0x4012AF语句已经清楚地告诉了我们，这里调用的函数就是operator=函数，这一部分是算术符重载的内容，我们在后面的博客会重点介绍。

（4）73句：前面我们讲过，析构函数在函数调用结束的时候被被自动调用，那么这里我们看到却是出现了三个调用？这三个变量正好是我们之前说的a、b、c三个变量。那么这三个变量调用的次序是怎样的呢？我们可以查看一下变量的地址，分别是【ebp-18h】、【ebp-14h】、【ebp-10h】，这正好和变量出现的顺序相反。所以我们看到，析构函数和构造函数是严格一一对应的，谁先出现，谁后析构。