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

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

[cpp] view plaincopy

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;}
};

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

[cpp] view plaincopy

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

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

[cpp] view plaincopy

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

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

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

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

【预告：下面的博客我们会对构造、析构中出现的一些现象进行总结】

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

strcpy函数_错误更正（拷贝赋值函数的正确使用姿势）
这是一篇对什么是C++的The Rule of Three的错误更正和详细说明. 阅读时间7分钟.难度⭐⭐⭐ 虽然上一篇文章的阅读量只有凄惨的两位数,但是怀着对小伙伴负责的目的,必须保证代码的正确性. ...
【C++】Big Five: 构造函数、拷贝构造函数、拷贝赋值函数、移动构造函数、析构函数
前言 C++类的成员变量是否含有"指针类型"直接决定了"Big Five"函数(就是标题中的5个函数)的编写!有无指针类型"成员变量造成Big Fiv ...
C++学习笔记day47-----C++98-继承中的构造函数，析构函数，拷贝构造函数，拷贝赋值函数，多重继承，虚继承
继承中的构造函数当通过一个子类创建一个新的对象时,编译器会根据子类在初始化表中指明的基类的初始化方式去调用基类相应的构造函数.如果子类的初始化表中,并没有指明基类的初始化方式,编译器将会调用基类的无 ...
C++中的trivial和non-trivial构造/析构/拷贝/赋值函数及POD类型
在侯捷的<STL源码剖析>里提到trivial和non-trivial及POD类型,相关知识整理如下. trivial意思是无意义,这个trivial和non-trivial是对类的四种函 ...
拷贝赋值函数、拷贝构造函数
拷贝构造函数也是构造函数的一种,常用来以另一对象为模板创建新对象.如果对象中没有指针,可以直接使用数据库自带的该函数,但有指针就需要自己构建,这是为了避免造成浅拷贝,使两个指针指向同一内存空间. 例 ...

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

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

最新文章

热门文章