关于c++的构造和析构函数的调用

本文通过实例探讨了 C++ 中基类和派生类的构造与析构顺序,特别是虚析构函数的重要性及其对内存管理的影响。

最近在设计几个c++类,有个问题不是很清晰啦所以写个小列子测试一下。测试代码如下:

class Interface
{
public:
	Interface()
	{
		qDebug("Interface Constructor");
	}

	~Interface()
	{
		qDebug("Interface Destructor");
	}
};

class Base : public Interface
{
public:
	Base()
	{
		qDebug("Base Constructor");
	}

	~Base()
	{
		qDebug("Base Destructor");
	}

	virtual void function(void) = 0;
};

class Derive : public Base
{
public:
	Derive()
	{
		qDebug("Derive Constructor");
	}

	~Derive()
	{
		qDebug("Derive Destructor");
	}

	void function()
	{
		qDebug()<<"function";
	}
};
main函数为:

        Derive *base = new Derive;
        qDebug("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~");
        delete base;

打印输出为:

Interface Constructor
Base Constructor
Derive Constructor
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Derive Constructor
Base Destructor
Interface Destructor

说明构造的时候是先构造基类,按顺序构造派生类,析构的时候与之相反(所有的c++书籍都会讲到)。

如果我把main函数改为:

        Base *base = new Derive;
	qDebug("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~");
	delete base;

打印输出为:

Interface Constructor

Base Constructor

Derive Constructor

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Base Destructor

Interface Destructor


是的构造的时候是构造了3个层次,而析构却析构了两个,这样会内存泄漏。

如果想main函数不变而不内存泄漏要怎么改呢?

类修改成这样:

class Interface
{
public:
	Interface()
	{
		qDebug("Interface Constructor");
	}

	~Interface()
	{
		qDebug("Interface Destructor");
	}
};

class Base : public Interface
{
public:
	Base()
	{
		qDebug("Base Constructor");
	}

	virtual ~Base()//注意这里变成虚函数即可
	{
		qDebug("Base Destructor");
	}

	virtual void function(void) = 0;
};

class Derive : public Base
{
public:
	Derive()
	{
		qDebug("Derive Constructor");
	}

	~Derive()
	{
		qDebug("Derive Destructor");
	}

	void function()
	{
		qDebug()<<"function";
	}
};

输出为:

Interface Constructor

Base Constructor

Derive Constructor

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Derive Destructor

Base Destructor

Interface Destructor

经测试Base和Interface只要有一个析构函数是虚的就会是这样的输出,但是如果只是Derive是虚析构函数是不行的,应该按照delete类往上找(继承的顺序)只要发现有一个是虚函数就会析构真正的new出来的类。

如果Base的构造和析构用默认的,结果和Base的构造和析构不是虚函数一样的效果,也说明啦,默认的是非虚的。

如果多重继承又会是什么样呢?

代码:

class Interface
{
public:
	Interface()
	{
		qDebug("Interface Constructor");
	}

	virtual ~Interface()
	{
		qDebug("Interface Destructor");
	}
};

class Base : public Interface
{
public:
	Base()
	{
		qDebug("Base Constructor");
	}

	~Base()
	{
		qDebug("Base Destructor");
	}

	virtual void function(void) = 0;
};

class Base2
{
public:
	Base2()
	{
		qDebug("Base2 Constructor");
	}

	~Base2()
	{
		qDebug("Base2 Destructor");
	}
};

class Derive : public Base, public Base2
{
public:
	Derive()
	{
		qDebug("Derive Constructor");
	}

	~Derive()
	{
		qDebug("Derive Destructor");
	}

	void function()
	{
		qDebug()<<"function";
	}
};
输出为:

Interface Constructor

Base Constructor

Base2 Constructor

Derive Constructor

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Derive Destructor

Base2 Destructor

Base Destructor

Interface Destructor

有输出可知:构造的顺序是从左至右深度优先的,而析构与之相反。

此时将main函数改为:


        Base2 *base = new Derive;
	qDebug("~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~");
	delete base;

输出为:

Interface Constructor

Base Constructor

Base2 Constructor

Derive Constructor

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Base2 Destructor


尽管Interface的析构是虚函数,但是并不在Base2的层次上所以,此时必须改为Base2为虚函数才正确。

以上内容其实是比较简单的,记录一下备忘,刚开始做c++开发慢慢总结,以上代码在linux下qt环境内测试。gcc环境为
gcc version 4.5.2 (Ubuntu/Linaro 4.5.2-8ubuntu4)

### 类嵌套构造析构函数调用顺序 在C++等面向对象编程语言中,类的构造函数析构函数用于初始化清理对象。对于包含其他类成员的对象(即类内含其它类实例),其构造析构过程有一定的规则。 #### 构造函数调用顺序: 当创建一个含有嵌套类的对象时,构造函数按照如下的优先级依次调用: 1. **先基类**:如果存在继承层次,则首先调用最顶层基类的构造函数,然后逐层向下直到派生类; 2. **再成员变量**:接着按声明顺序对所有非静态数据成员(包括嵌套的类对象)进行初始化; 3. **最后本类自身的构造**:最后才执行当前类自己的构造部分。 例如有这样一个结构: ```cpp class Inner { public: Inner() { cout << "Inner Constructor" << endl; } }; class Outer { private: Inner inner; public: Outer() { cout << "Outer Constructor" << endl; } }; ``` 那么`new Outer()`会打印出: ``` Inner Constructor Outer Constructor ``` #### 析构函数调用顺序: 相反地,在销毁此类对象时,析构函数将遵循以下次序: 1. 先是这个类本身的资源释放动作, 2. 接着是从下往上去破坏内部的数据成员——注意这里跟它们被定义的位置无关而是逆向于构造时建立起来的关系, 3. 最终才会触发基类的解构处理程序,并依此往上回溯直至完成整个清除流程。 继续上面的例子,当我们删除`Outer* obj = new Outer(); delete obj;`则会有这样的输出: ``` Outer Destructor // 假设我们给Outer加了析构函数并添加了这条信息 Inner Destructor ``` 理解这一点非常重要,因为它影响到如何设计复杂的组合型对象以及管理动态分配内存的情况。确保正确的生命周期管理避免悬空指针等问题都依赖于此原则的应用。 --- --
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值