C++——析构函数

什么是析构函数

析构函数是C++中的一个特殊的成员函数,它在对象生命周期结束时被自动调用,用于执行对象销毁前的清理工作。析构函数特别重要,尤其是在涉及动态分配的资源(如内存、文件句柄、网络连接等)的情况下。

基本特性

1. 名称:析构函数的名称由波浪号( ~ )后跟类名构成,如 ~MyClass()

2. 无返回值和参数:析构函数不接受任何参数,也不返回任何值。

3. 自动调用:当对象的生命周期结束时(例如,一个局部对象的作用域结束,或者使用 delete 删除一个动态分配的对象),析构函数会被自动调用。

4. 不可重载:每个类只能有一个析构函数。

5. 继承和多态:如果一个类是多态基类,其析构函数应该是虚的。

调用时机

析构函数在以下情况下被调用:

局部对象离开作用域

{
    MyClass obj; // 构造函数调用
} // 离开作用域时,析构函数自动调用

动态对象被 delete: 

MyClass* obj = new MyClass();
delete obj; // 析构函数调用

对象作为成员:当包含它的外部对象被销毁时,成员对象的析构函数被调用。

程序终止时:全局或静态对象的析构函数在程序结束时调用。

编程示例

#include <iostream>
using namespace std;

/*
 * 自定义类 MyClass 演示动态内存管理
 * 包含指针成员、构造函数/析构函数、堆栈对象生命周期差异
 */
class MyClass
{
private:
    int *dest; // 指针成员,用于指向动态分配的数组

public:
    // 构造函数:根据size参数动态分配整数数组
    MyClass(int size)
    {
        dest = new int[size]; // 在堆内存中分配 size 个整数的连续空间
        cout << "构造函数:已分配 " << size << " 个int的空间" << endl;
    }

    // 析构函数:释放动态分配的内存
    ~MyClass()
    {
        cout << "调用析构函数" << endl;
        delete[] dest;  // 释放dest指向的数组内存
        dest = nullptr; // 最佳实践:释放后置空指针(原代码未包含此步骤)
        cout << "已释放dest指向的内存" << endl;
    }
};

int main()
{
    // 案例1:栈对象(自动管理)
    MyClass mm(5); // 在栈上创建对象,自动调用构造函数分配5个int
    /* 
     * 生命周期规则:
     * - 当main函数结束(对象超出作用域)时
     * - 自动调用析构函数释放内存
     */

    // 案例2:堆对象(手动管理)
    MyClass *mm2 = new MyClass(10); // 在堆上动态创建对象
    /* 
     * 关键差异:
     * 1. 使用new关键字:
     *   - 在堆内存分配MyClass对象空间
     *   - 自动调用构造函数分配10个int
     * 2. 必须显式调用delete触发析构
     */
    
    delete mm2; // 手动释放堆对象
    /* 
     * delete操作顺序:
     * 1. 调用mm2对象的析构函数
     *   - 释放内部dest数组(10个int)
     * 2. 释放MyClass对象本身占用的堆内存
     */

    return 0;
    /* 
     * 程序终止前:
     * - 栈对象mm的析构函数会被自动调用
     * - 释放内部dest数组(5个int)
     */
}

重要性

析构函数在管理资源方面非常重要。没有正确实现析构函数,可能导致资源泄露或其他问题。在基于RAII (资源获取即初始化)原则的C++编程实践中,确保资源在对象析构时被适当释放是非常关键的。当使用智能指针和其他自动资源管理技术时,可以减少显式编写析构函数的需要,但了解析构函数的工作原理仍然很重要。

以下是关于 C++ 中析构函数需要了解的十个要点的表格:

标注粗体部分,是能快速上手的内容,方便后续QT的学习。

### C++ 中子类析构函数的调用顺序与实现细节 在 C++ 编程语言中,当涉及继承关系时,析构函数的调用顺序遵循特定规则。以下是关于子类析构函数调用顺序及其背后实现机制的详细说明。 #### 1. 析构函数调用顺序 对于具有继承层次结构的对象,在其生命周期结束时,析构函数会按照 **从最派生类到基类** 的顺序依次调用[^5]。这意味着: - 如果存在多层继承,则最先调用的是最底层(即叶子节点)子类的析构函数。 - 接着逐级向上调用每一层父类的析构函数,直到到达顶层基类为止。 这种逆序调用方式确保了资源释放过程中的逻辑一致性——先清理局部数据成员再处理更通用的部分。 #### 2. 虚析构函数的作用 为了保证动态分配内存并存储指针指向不同类型的对象能够正确销毁整个继承链上的所有实例,通常建议将基类定义为带有 `virtual` 关键字修饰的虚析构函数[^3]。这样即使通过基类类型删除派生类对象也能触发完整的清除流程,包括调用相应的子类析构函数以及间接调用各中间层级直至根部的基础版本。 需要注意的是,如果没有显式声明成虚拟形式而仅依赖默认行为的话,在某些场景下可能导致部分重要功能缺失或者潜在错误发生[^4]。 #### 3. 自动插入父类析构调用 编译器内部实现了这样一个机制:每当创建一个含有公有继承特性的新类别时,它实际上会在该实体对应的破坏方法体内隐含加入对其直系祖先版块终结处理器件的一次单独呼叫语句 。例如假设有一个名为 B 的类是从另一个叫 A 的地方衍生出来的,则可能看到类似下面这样的伪代码片段表示实际生成的内容: ```cpp class B { ... public: ~B(){ // 用户自定义的操作... this->A::~A(); // 隐式的父类析构函数调用 } }; ``` 这一步骤是由标准工具完成自动化管理而不需开发者额外干预即可达成预期效果。 --- ### 示例程序展示具体执行路径 考虑以下简单例子来观察上述理论的实际表现情况: ```cpp #include <iostream> using namespace std; // 基础组件 class Base { protected: int baseValue; public: Base(int val):baseValue(val){ cout << "Base Constructor Called with value: "<<val<<endl; } virtual ~Base(){ cout<<"Destroying Base, Value was:"<<this->baseValue<<endl; } }; // 衍生单元之一 class DerivedOne : public Base{ private: double derivedData; public: DerivedOne(double d,int bVal):Derived(d,bVal){} explicit DerivedOne(int bVal):Base(bVal),derivedData(9876.54){} ~DerivedOne() override{ cout<<"Terminating Derived One"<<endl; } }; int main(){ DerivedOne objD1=DerivedOne(10); } ``` 运行以上脚本将会打印出如下消息序列验证我们前面提到的原则成立与否: ``` Base Constructor Called with value: 10 Terminating Derived One Destroying Base, Value was:10 ``` 从中可以看出先是完成了针对特殊化形态的数据初始化动作之后才进入常规项目建立阶段;而在最终回收环节则严格依照反向排列逐一拆解各个组成部分从而避免遗漏任何必要的善后措施。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值