C++类构造函数、析构函数运行机理
http://blog.sina.com.cn/s/blog_6fd68d5f0100n60h.html
前言--构造函数、析构函数的简单理解:
1)构造函数---对象被创建时候调用的函数;
2)析构函数---对象被释放时候调用的函数;
一 案例程序源代码
//下面的代码为一个简单的VC++6.0下生成的控制台工程,自定义了一个CObj类:
#include "stdafx.h"
const int BUFFER_SIZE = 1024;//常量定义,使用const类型,尽量不要使用宏定义;
class CObj//定义类:注意尽量使用匈牙利命名法:类名以"C"为首字母,后续第一个字母大写:
{
public:
CObj()//类的构造函数;
{
//程序中使用到的常量BUFFER_SIZE,在一个固定地方定义,方便后续维护修改;
m_pszBuffer = new char[BUFFER_SIZE];//注意这是在堆上分配内存,使用数组分配;
//如果分配单个字节内存为:m_pszBuffer = new char;
};
~CObj()//类的析构函数
{
delete []m_pszBuffer; //删除数组内存区,注意前面需要有"[]"
};
private:
char *m_pszBuffer;
};
int main(int argc, char* argv[])
{
//在栈上创建对象:obj. (区别于堆上使用new创建对象);
CObj obj; //这一行代码在程序中运行会发生什么事情呢?Why?
CObj *pObj; //规范的写法应该是:CObj *pObj =NULL; //why ? 防止出现野指针!
pObj = new CObj; //在堆上创建对象;
printf("Hello World!\n");
delete pObj; //释放堆上分配的对象;
//对于栈上分配的对象obj, 程序员不用手动清除,编译器会帮我们做这个工作!
return 0;
}
二 构造函数运行机理:
1 在栈上分配对象,其构造函数会自动调用(这个过程主要靠编译程序自动编译生成其构造函数的调用代码),请看程序调试运行过程中请看:
1)设置断点:光标移到下面代码行,然后按F9(代码左边会显示一个棕色的球,表示断点加上,再按F9可以把断点去掉);
CObj obj; //这一行代码在程序中运行会发生什么事情呢?Why?
2)调试运行(按F5调试运行:前提代码编译通过才可进入调试运行模式)
3)切换到汇编模式:(在Debug工具栏上,点击“Disassembly”,切换到汇编模式,重复则切换回来源代码显示模式),显示如下:
.....
28: //在栈上创建对象:obj. (区别于堆上使用new创建对象);
29: CObj obj; //这一行代码在程序中运行会发生什么事情呢?Why?
00401058 lea ecx,[ebp-8]
0040105B call @ILT+15(CObj::CObj) (00401014) //栈上创建对象obj,会自动调用类构造函数
......
30: CObj *pObj; //规范的写法应该是:CObj *pObj =NULL; //why ? 防止出现野指针!
31: pObj = new CObj; //在堆上创建对象; //注:下面为该行源代码编译成的汇编代码。
0040107C push 8
0040107E call operator new (004013c0)
00401083 add esp,4
00401086 mov dword ptr [ebp-20h],eax
00401089 mov byte ptr [ebp-4],1
0040108D cmp dword ptr [ebp-20h],0
00401091 je main+60h (004010a0)
00401093 mov ecx,dword ptr [ebp-20h]
00401096 call @ILT+15(CObj::CObj) (00401014) //堆上new创建对象,触发构造函数调用。
0040109B mov dword ptr [ebp-30h],eax
0040109E jmp main+67h (004010a7)
004010A0 mov dword ptr [ebp-30h],0
004010A7 mov eax,dword ptr [ebp-30h]
004010AA mov dword ptr [ebp-1Ch],eax
004010AD mov byte ptr [ebp-4],0
004010B1 mov ecx,dword ptr [ebp-1Ch]
004010B4 mov dword ptr [ebp-18h],ecx
三 从以上例子可以看到
1 在汇编模式下,可以看到:
对象被创建过程(栈上创建临时对象,堆上分配对象)等,都会触发构造函数被自动调用(隐式调用,程序员看不到的);
2 这一切是如何坐到的呢? 一切都是编译器在背后支持,这是C++语言实现的基本机理!
四 关于对象的释放---析构函数
1还是上面的案例,在调试模式下运行,请看代码:
35: delete pObj; //释放堆上分配的对象---触发析构函数被调用!
004010C4 mov edx,dword ptr [ebp-14h]
004010C7 mov dword ptr [ebp-24h],edx
004010CA mov eax,dword ptr [ebp-24h]
004010CD mov dword ptr [ebp-20h],eax
004010D0 cmp dword ptr [ebp-20h],0
004010D4 je main+0A5h (004010e5)
004010D6 push 1
004010D8 mov ecx,dword ptr [ebp-20h]
004010DB call @ILT+25(CObj::`scalar deleting destructor') (0040101e) //调用析构函数
004010E0 mov dword ptr [ebp-30h],eax
004010E3 jmp main+0ACh (004010ec)
004010E5 mov dword ptr [ebp-30h],0
36: //对于栈上分配的对象obj, 程序员不用手动清除,编译器会帮我们做这个工作!
37: return 0; //函数返回,触发临时对象的析构函数被调用,请看下面对应的汇编代码:
004010F7 mov dword ptr [ebp-2Ch],0
004010FE mov dword ptr [ebp-4],0FFFFFFFFh
00401105 lea ecx,[ebp-14h]
00401108 call @ILT+10(CObj::~CObj) (0040100f) //调用析构函数
0040110D mov eax,dword ptr [ebp-2Ch]
38: }
2 总结
因此,析构函数在对象被释放时,会被调用,注意:
1)临时对象的释放调用,自动触发,不需要程序员处理---这一点是通过编译器来自动实现的!
2)堆上创建的对象(new创建),需要程序员使用delete语句释放,这也是为什么每个new对象,需要有对应delete语句的原因!(这个原因与对内存的实现机理有关,后续这方面的文章会介绍)