C++知识分享:为什么单例代码的析构函数有时候不执行呢?

Posted 一起学编程

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了C++知识分享:为什么单例代码的析构函数有时候不执行呢?相关的知识,希望对你有一定的参考价值。

写C++的时候用到单例,于是很自然的写出如下的代码:

代码的本意:静态成员函数getInstance获取单例指针,并且在析构函数中做一些收尾工作。

运行代码后发现析构函数死活不执行,难道一个单例模式都能写错?反复确认,没发现问题所在,于是上万能的StackOverflow上找原因。正好有伙计有同样的疑惑,有哥们给出了一个可行的方案。根据其答案修改代码如下:

对比前一段代码,主要改动是移除了静态指针成员,改用函数内的静态成员。由于_instance是函数内的静态成员,在首次调用时被初始化(感谢无参构造函数),之后调用将略过初始化而执行后续代码;函数返回实例的引用,故而每次调用得到的是同一个对象,达到了单例的目的;程序执行结束后,实例的析构函数被自动调用,析构函数中的代码正确执行。

问题解决了,但什么原因造成第一段单例代码的析构函数不执行呢?

这是由于C++持有对象的方式造成的(或者说C++允许程序员手动控制内存引起)。Java/php等带有回收机制的语言,持有对象的方式是通过指针,程序员申请对象后会自动分配内存,系统负责跟踪和回收无用的对象和存在。C++允许开发人员以变量的方式持有对象,例如:Foo foo [= Foo(args)]。变量初始化后获得对象的引用,离开作用域后,系统销毁执行栈,对象自动被析构。C++也可以以指针的形式获得对象的引用: Foo* foo = new Foo(args)。这种方式分配的对象,需要开发人员手动管理。如果不执行delete,对象和分配的内存将一直存在,直到程序退出后,才由操作系统回收。如下代码可说明这点:

从上面的代码可以看出,对象没有引用计数的情况下,编译器和系统不敢随便回收new出来的对象内存:多个指针指向同一个对象,delete了对象可能会导致其他代码崩溃;释放内存后,其他指针再delete会多次delete同一块内存,引发不可预知风险。

综上,指针单例析构函数没有被调用的原因是: 自己new的对象,需要自己delete,别指望别人帮你正确调用析构函数。

问题的解决方案有以下几种:

(1)同StackOverflow上回答,改用变量方式持有单例对象。程序运行结束前会销毁所有变量,变量的析构函数将被正确调用;

(2)在main函数退出前delete单例。例如增加一个destroy的静态成员函数,将指针指向的对象销毁;

(3)使用auto_ptr/unique_ptr等智能指针。

如有其它解决方案,欢迎交流指正!


那么今天的分享就到这里了,后续会更新更多精彩项目或者知识内容的,大家要好好学C语言C++哟~

写在最后:对于准备学习C/C++编程的小伙伴,如果你想更好的提升你的编程核心能力(内功)不妨从现在开始!

C语言C++编程学习交流圈子,QQ群:632264260点击进入】微信公众号:C语言编程学习基地

整理分享(多年学习的源码、项目实战视频、项目笔记,基础入门教程)

欢迎转行和学习编程的伙伴,利用更多的资料学习成长比自己琢磨更快哦!

编程学习视频分享:

 

 

以上是关于C++知识分享:为什么单例代码的析构函数有时候不执行呢?的主要内容,如果未能解决你的问题,请参考以下文章

C++中基类的析构函数为什么要用virtual虚析构函数

为啥C++里面,析构函数会被调用两次

c++单例模式为啥不在析构函数中释放静态的单例对象,而要加一个内嵌类

c++ 析构函数 是在啥时候执行

静态字段的析构函数。单例实现

为什么析构函数必须是虚函数?为什么C++默认的析构函数不是虚函数