C 析构函数完全指南对象销毁背后的秘密很多人学 C 时注意力都放在构造函数上——怎么创建对象、怎么初始化。但析构函数同样重要甚至更重要。构造函数决定了对象怎么生析构函数决定了对象怎么死。死得不好轻则内存泄漏重则程序崩溃而且这些 bug 往往藏得很深。今天我们就深入剖析析构函数的一切。1. 析构函数是什么析构函数是对象生命周期结束时自动调用的特殊成员函数负责清理资源。classFileHandler{FILE*file;public:FileHandler(constchar*filename){filefopen(filename,r);}~FileHandler(){// 析构函数if(file)fclose(file);}};特点函数名是~类名没有返回类型没有参数不能重载一个类只有一个析构函数对象销毁时自动调用也可以手动调用极少需要2. 析构函数什么时候被调用2.1 自动变量离开作用域voidfunc(){FileHandlerfh(data.txt);// 构造// ...}// 离开作用域fh 的析构函数自动调用2.2 动态分配的对象被 deleteFileHandler*pnewFileHandler(data.txt);deletep;// 析构函数在这里调用2.3 容器中的对象被销毁{std::vectorFileHandlerfiles;files.emplace_back(a.txt);files.emplace_back(b.txt);}// vector 销毁时内部所有元素的析构函数都会被调用2.4 临时对象FileHandler(temp.txt);// 临时对象这条语句结束后立即析构注意手动调用析构函数并不导致对象被销毁2.5 派生类对象销毁时基类和派生类的析构函数都会被调用顺序与构造相反先析构派生类部分再析构基类部分。3. 析构函数的核心原则3.1 永远不要让析构函数抛异常这是 C 铁律。如果析构函数抛出异常且未被捕获程序会直接std::terminate。classBad{public:~Bad(){throwstd::runtime_error(error);// 危险}};// 如果 Bad 对象在异常展开stack unwinding时被销毁// 同时有两个异常传播程序直接崩正确做法析构函数内部捕获所有异常classSafe{public:~Safe()noexcept{// C11 起析构函数默认 noexcepttry{// 可能抛异常的操作}catch(...){// 记录日志或吞掉异常}}};注意C11 起析构函数隐式地是noexcept这是编译器层面的保障。3.2 基类析构函数必须是虚的这是 C 最经典的陷阱之一classBase{public:~Base(){std::cout~Base\n;}// 非虚析构};classDerived:publicBase{int*data;public:Derived():data(newint[1000]){}~Derived(){delete[]data;std::cout~Derived\n;}};Base*pnewDerived();deletep;// 输出~Base// 没有 ~DerivedDerived 的 data 泄漏了当用基类指针 / 引用指向派生类对象时如果基类析构函数不是虚函数只会调用基类析构函数派生类的析构函数完全不执行会造成严重的内存泄漏。加上 virtual 就好了classBase{public:virtual~Base(){std::cout~Base\n;}};deletep;// 输出~Derived// ~Base// 析构顺序正确资源正确释放准则只要一个类可能作为基类析构函数就应该是虚的。如果类不会被继承可以用final显式说明。3.3 纯虚析构函数有时候我们需要一个抽象基类但没有其他合适的纯虚函数。这时可以让析构函数成为纯虚函数classAbstractBase{public:virtual~AbstractBase()0;// 纯虚析构};// 但必须提供定义AbstractBase::~AbstractBase(){}// 在类外提供定义为什么需要定义因为派生类析构时会调用基类析构如果基类析构没有定义链接器会报错。4. 虚析构函数的实现原理虚析构函数通过虚函数表vtable实现基类有虚析构函数 → 类有 vtable对象有 vptr 指向 vtabledelete基类指针时通过 vptr 找到正确的析构函数派生类的析构函数派生类析构执行完后自动调用基类析构// delete p 大致等价于// p-vptr[析构函数槽位]() 调用派生类析构// 派生类析构自动调用基类析构5. 虚构与三/五法则还记得上一篇文章中的三/五法则吗析构函数是关键信号如果你定义了一个析构函数说明你管理了某种资源那么大概率你也需要定义拷贝构造函数拷贝赋值运算符移动构造函数C11移动赋值运算符C11classMyArray{int*data;size_t size;public:MyArray(size_t s):data(newint[s]),size(s){}~MyArray(){delete[]data;}// 有析构 → 需要拷贝和移动// 如果不写下面这些默认的拷贝只会复制指针导致 double freeMyArray(constMyArrayother):data(newint[other.size]),size(other.size){std::copy(other.data,other.datasize,data);}MyArrayoperator(constMyArrayother){/* 深拷贝 */return*this;}MyArray(MyArrayother)noexcept:data(other.data),size(other.size){other.datanullptr;other.size0;}MyArrayoperator(MyArrayother)noexcept{/* 移动交换 */return*this;}};零法则则反过来如果你用std::vector、std::string、std::unique_ptr等 RAII 类型管理资源你不需要写析构函数编译器生成的默认版本就是对的。classGood{std::vectorintdata;// 自动管理内存std::unique_ptrConfigcfg;// 自动释放// 不需要析构函数编译器生成的足够};6. RAIIC 资源管理的基石RAIIResource Acquisition Is Initialization是析构函数最重要的应用模式在构造函数中获取资源在析构函数中释放资源。// 互斥锁自动管理classLockGuard{std::mutexmtx;public:LockGuard(std::mutexm):mtx(m){mtx.lock();}~LockGuard(){mtx.unlock();}// 离开作用域自动解锁};// 使用voidthreadSafeFunc(){LockGuardlock(sharedMutex);// 临界区代码// ...}// lock 析构自动解锁即使发生异常也会解锁RAII 保证了异常安全——即使函数因为异常提前退出栈展开过程也会调用析构函数资源不会泄漏。标准库中的 RAII 例子std::unique_ptr/std::shared_ptr智能指针自动释放内存std::lock_guard/std::unique_lock自动管理锁std::ifstream/std::ofstream自动关闭文件std::string/std::vector自动管理内存7. 继承体系中的析构顺序classBase{public:Base(){std::coutBase()\n;}virtual~Base(){std::cout~Base()\n;}};classMember{public:Member(){std::coutMember()\n;}~Member(){std::cout~Member()\n;}};classDerived:publicBase{Member m;public:Derived(){std::coutDerived()\n;}~Derived(){std::cout~Derived()\n;}};Derived d;// 输出// Base() 构造顺序基类 → 成员 → 派生类// Member()// Derived()// ~Derived() 析构顺序派生类 → 成员 → 基类严格相反// ~Member()// ~Base()构造顺序基类 → 成员按声明顺序→ 构造函数体析构顺序析构函数体 → 成员逆声明顺序→ 基类这是严格的反序保证不会有任何依赖问题。8. 手动调用析构函数placement new场景下需要手动调用析构函数但不释放内存// 原始内存缓冲区alignas(Widget)charbuffer[sizeof(Widget)];// placement new在 buffer 上构造 WidgetWidget*wnew(buffer)Widget();// 使用 w...// 手动调用析构没有对应的 delete因为内存不是 new 分配的w-~Widget();手动调用析构函数的使用场景语法对象.~类名();/指针-~类名();核心前提不释放内存只执行析构逻辑不会调用operator delete必须手动调用析构的4大场景1. 内存池/自定义内存分配最常用用placement new在已开好的原始内存上构造对象不能用delete销毁只能手动析构。charbuf[1024];// 原地构造对象A*pnew(buf)A();// 1. 先手动调用析构p-~A();// 2. 再手动释放内存无需delete原因placement new 只构造不分配堆内存delete会错误释放栈/池内存。2. 容器复用内存、对象复用游戏引擎、高性能框架中复用对象内存只销毁状态不释放空间清空对象资源文件、句柄、动态数组保留内存地址后续直接原地构造新对象3. 联合体(union) 内含非平凡析构成员C17后联合体可以存带析构的类无法自动调用析构必须手动调用。4. 泛型模板、模板元编程模板中统一处理任意类型销毁逻辑统一手写析构调用。这是极少数需要手动调用析构函数的场景。不要对普通对象手动调析构否则双重析构会导致未定义行为。5. 绝对不能手动调用析构的场景普通栈对象A a;a.~A();// 错误出作用域自动再析构一次 → 双重析构崩溃new出来的堆对象A*pnewA;p-~A();deletep;// 双重析构// 正确直接 delete p; 自动先析构再释放内存9. 常见陷阱9.1 在析构函数中调用虚函数classBase{public:virtual~Base(){log();}// 析构函数中调用虚函数virtualvoidlog(){std::coutBase log\n;}};classDerived:publicBase{public:voidlog()override{std::coutDerived log\n;}~Derived(){}};Derived d;// 销毁时输出 Base log不是 Derived log在析构函数中调用虚函数调用的是当前类的版本不是派生类的。因为此时派生类部分已经被析构了对象退化到当前类。这个行为虽然不危险不会访问已销毁的派生类成员但可能不符合预期。9.2 在容器中使用裸指针{std::vectorBase*vec;vec.push_back(newDerived());vec.push_back(newDerived());}// 内存泄漏vector 只释放了指针本身没有 delete 指向的对象解决用std::vectorstd::unique_ptrBase或std::vectorstd::shared_ptrBase。9.3 不完整的类型声明// forward_decl.hclassForwardDeclared;classHolder{ForwardDeclared*ptr;public:Holder();~Holder(){deleteptr;}// 危险ForwardDeclared 是不完整类型};如果ForwardDeclared的析构函数有什么特殊逻辑这里可能出错。最好把析构函数的定义放在.cpp文件中确保此时类型是完整的。10. 面试常考清单10.1 析构函数必须是虚的吗什么时候是答案要点作为基类的类析构函数必须是虚的。如果类不会被继承不需要虚析构或者标记为final。虚析构保证通过基类指针删除派生类对象时派生类的析构函数被正确调用。10.2 析构函数可以重载吗可以有参数吗答案要点不能重载不能有参数。一个类只有一个析构函数因为销毁对象只需要一种方式。10.3 析构函数可以抛出异常吗答案要点绝对不要。C11 起析构函数隐式是noexcept。如果析构函数抛异常程序会std::terminate。析构函数内部必须自行捕获并处理所有异常。10.4 什么场景需要手动调用析构函数答案要点placement new在自定义内存上构造对象后需要手动调用析构函数但不释放内存。普通对象绝不需要手动调用析构。10.5 析构顺序是什么答案要点派生类析构函数体 → 派生类成员逆声明顺序→ 基类析构函数体 → 基类成员。与构造顺序严格相反。10.6 RAII 是什么它在 C 中有多重要答案要点Resource Acquisition Is Initialization在构造函数中获取资源在析构函数中释放资源。它是 C 资源管理的基础提供了异常安全保证标准库中的智能指针、锁管理、容器都基于 RAII。10.7 三/五法则和析构函数的关系答案要点如果你需要自定义析构函数说明管理了某种资源那么大概率也需要自定义拷贝构造、拷贝赋值、移动构造、移动赋值。反之如果所有成员都正确使用 RAII 管理资源零法则则不需要自定义析构。10.8 什么时候用虚析构什么时候用纯虚析构答案要点虚析构基类有具体实现可实例化纯虚析构想让类成为抽象类不能实例化但又没有其他合适的纯虚函数。必须在类外提供定义。10.9 delete 和 delete[] 在析构时的区别答案要点delete调用一次析构函数用于单个对象delete[]调用数组中每个元素的析构函数元素数量由编译器在分配时记录的元数据获得混用是未定义行为11. 实践准则基类析构必须虚但凡可能被继承就加virtual ~类名() default;析构绝不抛异常C11 起默认就是noexcept遵循三/五法则或零法则写了析构就检查拷贝和移动是否需要自定义拥抱 RAII用智能指针、标准容器管理资源让编译器帮你写析构成员用 RAII 类型std::string代替char*std::vector代替动态数组std::unique_ptr代替裸指针析构函数看似简单但它承载着 C 资源管理哲学的核心自动化、安全、确定性的资源释放。理解析构函数就是理解 C 如何做到不丢资源、不崩程序。
C++ 析构函数完全指南：对象销毁背后的秘密
发布时间：2026/5/20 7:48:47
C 析构函数完全指南对象销毁背后的秘密很多人学 C 时注意力都放在构造函数上——怎么创建对象、怎么初始化。但析构函数同样重要甚至更重要。构造函数决定了对象怎么生析构函数决定了对象怎么死。死得不好轻则内存泄漏重则程序崩溃而且这些 bug 往往藏得很深。今天我们就深入剖析析构函数的一切。1. 析构函数是什么析构函数是对象生命周期结束时自动调用的特殊成员函数负责清理资源。classFileHandler{FILE*file;public:FileHandler(constchar*filename){filefopen(filename,r);}~FileHandler(){// 析构函数if(file)fclose(file);}};特点函数名是~类名没有返回类型没有参数不能重载一个类只有一个析构函数对象销毁时自动调用也可以手动调用极少需要2. 析构函数什么时候被调用2.1 自动变量离开作用域voidfunc(){FileHandlerfh(data.txt);// 构造// ...}// 离开作用域fh 的析构函数自动调用2.2 动态分配的对象被 deleteFileHandler*pnewFileHandler(data.txt);deletep;// 析构函数在这里调用2.3 容器中的对象被销毁{std::vectorFileHandlerfiles;files.emplace_back(a.txt);files.emplace_back(b.txt);}// vector 销毁时内部所有元素的析构函数都会被调用2.4 临时对象FileHandler(temp.txt);// 临时对象这条语句结束后立即析构注意手动调用析构函数并不导致对象被销毁2.5 派生类对象销毁时基类和派生类的析构函数都会被调用顺序与构造相反先析构派生类部分再析构基类部分。3. 析构函数的核心原则3.1 永远不要让析构函数抛异常这是 C 铁律。如果析构函数抛出异常且未被捕获程序会直接std::terminate。classBad{public:~Bad(){throwstd::runtime_error(error);// 危险}};// 如果 Bad 对象在异常展开stack unwinding时被销毁// 同时有两个异常传播程序直接崩正确做法析构函数内部捕获所有异常classSafe{public:~Safe()noexcept{// C11 起析构函数默认 noexcepttry{// 可能抛异常的操作}catch(...){// 记录日志或吞掉异常}}};注意C11 起析构函数隐式地是noexcept这是编译器层面的保障。3.2 基类析构函数必须是虚的这是 C 最经典的陷阱之一classBase{public:~Base(){std::cout~Base\n;}// 非虚析构};classDerived:publicBase{int*data;public:Derived():data(newint[1000]){}~Derived(){delete[]data;std::cout~Derived\n;}};Base*pnewDerived();deletep;// 输出~Base// 没有 ~DerivedDerived 的 data 泄漏了当用基类指针 / 引用指向派生类对象时如果基类析构函数不是虚函数只会调用基类析构函数派生类的析构函数完全不执行会造成严重的内存泄漏。加上 virtual 就好了classBase{public:virtual~Base(){std::cout~Base\n;}};deletep;// 输出~Derived// ~Base// 析构顺序正确资源正确释放准则只要一个类可能作为基类析构函数就应该是虚的。如果类不会被继承可以用final显式说明。3.3 纯虚析构函数有时候我们需要一个抽象基类但没有其他合适的纯虚函数。这时可以让析构函数成为纯虚函数classAbstractBase{public:virtual~AbstractBase()0;// 纯虚析构};// 但必须提供定义AbstractBase::~AbstractBase(){}// 在类外提供定义为什么需要定义因为派生类析构时会调用基类析构如果基类析构没有定义链接器会报错。4. 虚析构函数的实现原理虚析构函数通过虚函数表vtable实现基类有虚析构函数 → 类有 vtable对象有 vptr 指向 vtabledelete基类指针时通过 vptr 找到正确的析构函数派生类的析构函数派生类析构执行完后自动调用基类析构// delete p 大致等价于// p-vptr[析构函数槽位]() 调用派生类析构// 派生类析构自动调用基类析构5. 虚构与三/五法则还记得上一篇文章中的三/五法则吗析构函数是关键信号如果你定义了一个析构函数说明你管理了某种资源那么大概率你也需要定义拷贝构造函数拷贝赋值运算符移动构造函数C11移动赋值运算符C11classMyArray{int*data;size_t size;public:MyArray(size_t s):data(newint[s]),size(s){}~MyArray(){delete[]data;}// 有析构 → 需要拷贝和移动// 如果不写下面这些默认的拷贝只会复制指针导致 double freeMyArray(constMyArrayother):data(newint[other.size]),size(other.size){std::copy(other.data,other.datasize,data);}MyArrayoperator(constMyArrayother){/* 深拷贝 */return*this;}MyArray(MyArrayother)noexcept:data(other.data),size(other.size){other.datanullptr;other.size0;}MyArrayoperator(MyArrayother)noexcept{/* 移动交换 */return*this;}};零法则则反过来如果你用std::vector、std::string、std::unique_ptr等 RAII 类型管理资源你不需要写析构函数编译器生成的默认版本就是对的。classGood{std::vectorintdata;// 自动管理内存std::unique_ptrConfigcfg;// 自动释放// 不需要析构函数编译器生成的足够};6. RAIIC 资源管理的基石RAIIResource Acquisition Is Initialization是析构函数最重要的应用模式在构造函数中获取资源在析构函数中释放资源。// 互斥锁自动管理classLockGuard{std::mutexmtx;public:LockGuard(std::mutexm):mtx(m){mtx.lock();}~LockGuard(){mtx.unlock();}// 离开作用域自动解锁};// 使用voidthreadSafeFunc(){LockGuardlock(sharedMutex);// 临界区代码// ...}// lock 析构自动解锁即使发生异常也会解锁RAII 保证了异常安全——即使函数因为异常提前退出栈展开过程也会调用析构函数资源不会泄漏。标准库中的 RAII 例子std::unique_ptr/std::shared_ptr智能指针自动释放内存std::lock_guard/std::unique_lock自动管理锁std::ifstream/std::ofstream自动关闭文件std::string/std::vector自动管理内存7. 继承体系中的析构顺序classBase{public:Base(){std::coutBase()\n;}virtual~Base(){std::cout~Base()\n;}};classMember{public:Member(){std::coutMember()\n;}~Member(){std::cout~Member()\n;}};classDerived:publicBase{Member m;public:Derived(){std::coutDerived()\n;}~Derived(){std::cout~Derived()\n;}};Derived d;// 输出// Base() 构造顺序基类 → 成员 → 派生类// Member()// Derived()// ~Derived() 析构顺序派生类 → 成员 → 基类严格相反// ~Member()// ~Base()构造顺序基类 → 成员按声明顺序→ 构造函数体析构顺序析构函数体 → 成员逆声明顺序→ 基类这是严格的反序保证不会有任何依赖问题。8. 手动调用析构函数placement new场景下需要手动调用析构函数但不释放内存// 原始内存缓冲区alignas(Widget)charbuffer[sizeof(Widget)];// placement new在 buffer 上构造 WidgetWidget*wnew(buffer)Widget();// 使用 w...// 手动调用析构没有对应的 delete因为内存不是 new 分配的w-~Widget();手动调用析构函数的使用场景语法对象.~类名();/指针-~类名();核心前提不释放内存只执行析构逻辑不会调用operator delete必须手动调用析构的4大场景1. 内存池/自定义内存分配最常用用placement new在已开好的原始内存上构造对象不能用delete销毁只能手动析构。charbuf[1024];// 原地构造对象A*pnew(buf)A();// 1. 先手动调用析构p-~A();// 2. 再手动释放内存无需delete原因placement new 只构造不分配堆内存delete会错误释放栈/池内存。2. 容器复用内存、对象复用游戏引擎、高性能框架中复用对象内存只销毁状态不释放空间清空对象资源文件、句柄、动态数组保留内存地址后续直接原地构造新对象3. 联合体(union) 内含非平凡析构成员C17后联合体可以存带析构的类无法自动调用析构必须手动调用。4. 泛型模板、模板元编程模板中统一处理任意类型销毁逻辑统一手写析构调用。这是极少数需要手动调用析构函数的场景。不要对普通对象手动调析构否则双重析构会导致未定义行为。5. 绝对不能手动调用析构的场景普通栈对象A a;a.~A();// 错误出作用域自动再析构一次 → 双重析构崩溃new出来的堆对象A*pnewA;p-~A();deletep;// 双重析构// 正确直接 delete p; 自动先析构再释放内存9. 常见陷阱9.1 在析构函数中调用虚函数classBase{public:virtual~Base(){log();}// 析构函数中调用虚函数virtualvoidlog(){std::coutBase log\n;}};classDerived:publicBase{public:voidlog()override{std::coutDerived log\n;}~Derived(){}};Derived d;// 销毁时输出 Base log不是 Derived log在析构函数中调用虚函数调用的是当前类的版本不是派生类的。因为此时派生类部分已经被析构了对象退化到当前类。这个行为虽然不危险不会访问已销毁的派生类成员但可能不符合预期。9.2 在容器中使用裸指针{std::vectorBase*vec;vec.push_back(newDerived());vec.push_back(newDerived());}// 内存泄漏vector 只释放了指针本身没有 delete 指向的对象解决用std::vectorstd::unique_ptrBase或std::vectorstd::shared_ptrBase。9.3 不完整的类型声明// forward_decl.hclassForwardDeclared;classHolder{ForwardDeclared*ptr;public:Holder();~Holder(){deleteptr;}// 危险ForwardDeclared 是不完整类型};如果ForwardDeclared的析构函数有什么特殊逻辑这里可能出错。最好把析构函数的定义放在.cpp文件中确保此时类型是完整的。10. 面试常考清单10.1 析构函数必须是虚的吗什么时候是答案要点作为基类的类析构函数必须是虚的。如果类不会被继承不需要虚析构或者标记为final。虚析构保证通过基类指针删除派生类对象时派生类的析构函数被正确调用。10.2 析构函数可以重载吗可以有参数吗答案要点不能重载不能有参数。一个类只有一个析构函数因为销毁对象只需要一种方式。10.3 析构函数可以抛出异常吗答案要点绝对不要。C11 起析构函数隐式是noexcept。如果析构函数抛异常程序会std::terminate。析构函数内部必须自行捕获并处理所有异常。10.4 什么场景需要手动调用析构函数答案要点placement new在自定义内存上构造对象后需要手动调用析构函数但不释放内存。普通对象绝不需要手动调用析构。10.5 析构顺序是什么答案要点派生类析构函数体 → 派生类成员逆声明顺序→ 基类析构函数体 → 基类成员。与构造顺序严格相反。10.6 RAII 是什么它在 C 中有多重要答案要点Resource Acquisition Is Initialization在构造函数中获取资源在析构函数中释放资源。它是 C 资源管理的基础提供了异常安全保证标准库中的智能指针、锁管理、容器都基于 RAII。10.7 三/五法则和析构函数的关系答案要点如果你需要自定义析构函数说明管理了某种资源那么大概率也需要自定义拷贝构造、拷贝赋值、移动构造、移动赋值。反之如果所有成员都正确使用 RAII 管理资源零法则则不需要自定义析构。10.8 什么时候用虚析构什么时候用纯虚析构答案要点虚析构基类有具体实现可实例化纯虚析构想让类成为抽象类不能实例化但又没有其他合适的纯虚函数。必须在类外提供定义。10.9 delete 和 delete[] 在析构时的区别答案要点delete调用一次析构函数用于单个对象delete[]调用数组中每个元素的析构函数元素数量由编译器在分配时记录的元数据获得混用是未定义行为11. 实践准则基类析构必须虚但凡可能被继承就加virtual ~类名() default;析构绝不抛异常C11 起默认就是noexcept遵循三/五法则或零法则写了析构就检查拷贝和移动是否需要自定义拥抱 RAII用智能指针、标准容器管理资源让编译器帮你写析构成员用 RAII 类型std::string代替char*std::vector代替动态数组std::unique_ptr代替裸指针析构函数看似简单但它承载着 C 资源管理哲学的核心自动化、安全、确定性的资源释放。理解析构函数就是理解 C 如何做到不丢资源、不崩程序。
