用汇编的眼光看C++(之拷贝、赋值函数)
【 声明:版权所有,欢迎转载,请勿用于商业用途。 联系信箱:feixiaoxing @163.com】
拷贝构造函数和复制函数是类里面比较重要的两个函数。两者有什么区别呢?其实也很简单,我们可以举个例子,加入有这样一个类的定义:
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;}
};
那么我们在如下的函数里面进行调用的时候,调用的函数分别是哪些呢?
void process()
{
apple a, c;
apple b =a;
c = b;
}
其实汇编的结果是这样的,大家可以一起看一下,自己尝试读一下。如果一次不是很明白,可以多读几次。
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/C++陷阱与套路,当年就是折在这些地儿…
- c++子类和父类成员函数重名
- C++ 的常量引用机制 const T& 与函数式编程
- 【C/C++开发】多线程编程中的join函数
- 【C/C++开发】C语言实现函数可变参数
- 【C/C++】assert()函数用法总结
- C++-关键字:overload(重载)【指函数名相同,但是它的参数表列个数或顺序,类型不同。但是不能靠返回类型来判断】
- 基于opencv的模板匹配【C++/Qt】【附源码】
- 从零开始学C++之构造函数与析构函数(二):初始化列表(const和引用成员)、拷贝构造函数
- C++——多态性 与 虚函数
- [C++]数据结构:线性表之顺序表
- C++调用LUA函数,可变參模板实现
- C/C++趣味程序设计百例(11~20)
- C++利用sort进行排序
- Python/C++ OpenCV火焰检测
- C++中的Lambda表达式详解
- C和C++相互调用
- c++派生类中构造函数和析构函数执行顺序、判断对象类型、抽象类、虚函数
- (string&C++)(二、删除)erase的使用
- How Clang handles the type / variable name ambiguity of C/C++
- C++年月日时分秒与秒数互相转换
- 【C++11新特性】 nullptr关键字
- C++多态虚函数表详解
- 测试c++函数的运行时间
- c++不定参数函数
- C++中char*与string转换
- 一个HexToInt的C/C++函数
- C++中new和malloc的区别
- 4.C++中的函数重载,C++调用C代码,new/delete关键字,namespace(命名空间)
- C++中cin、cin.get()、cin.getline()、getline()、gets()等函数的用法