C++ 对象是怎么死的？进程篇

　　我承认这个帖子的名称有标题党的嫌疑，但是暂时想不出更好的名称了，只好先这样了 :-(
　　由于前天的帖子聊了架构设计的多进程问题，所以今天想起来要聊一下与“C++进程终止”相关的那些事。与前几个 C++ 帖子的风格类似，今天聊的内容，尽量局限于标准 C++ 范畴，尽量不涉及特定的操作系统平台。

★关于进程的三种死法

　　由于今天讲的是“进程篇”，自然得先搞明白进程的几种死法。其实进程和大活人一样，也有三种死法，分别是“自然死亡、自杀、它杀”。这三种死亡方式具体如下：

◇自然死亡

　　望文生义，自然死亡就是最自然的进程退出方法。具体表现为通过return语句结束main函数。由于这种方法最优雅（后面会说），如果没有其它特殊原因，强烈建议采用这种死法。

◇自杀

　　所谓的自杀，就是进程自己调用某些 API 来自行了断。在标准 C++ 中，这几个函数（exit、abort、terminate、unexpected）可以用于进程自杀。如果没有额外设置，unexpected 函数默认会调用 terminate 函数，terminate 函数默认会调用 abort 函数。所以自杀的方式基本上也就是 exit 和 abort 两种。exit 相对 abort 来说温和一些，所以下文称 exit 为温和自杀；相对地，把 abort 称为激进自杀。

◇它杀

　　它杀其实也挺好理解，就是当前进程被其它进程杀死。标准 C++ 没有提供用于它杀的 API 函数，因此常用的方法是通过某些跨平台的库（如 ACE）提供的 API 函数或者调用某些外部命令（如 Posix 系统的 kill 命令）来实现。
　　上面说了这几种死法，有同学要问了：进程不同的死法和 C++ 对象有什么关系捏？其实关系大大滴，请听我细细道来。

★类对象的析构（销毁）

　　首先把类对象分为三种：局部非静态对象、局部静态对象、非局部对象（出于习惯，以下简称全局对象）。对于尚不清楚这几种对象差异的同学，请先找本 C++ 入门书拜读一下。
　　进程不同的死法对于这几种对象是否能销毁会有很大的影响。请看如下的对照表：
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
｜　　　　　｜　局部非静态对象　｜　局部静态对象　｜　全局对象　｜
｜自然死亡　｜　能　　　　　　　｜　能　　　　　　｜　能　　　　｜
｜温和自杀　｜　不能　　　　　　｜　能　　　　　　｜　能　　　　｜
｜激进自杀　｜　不能　　　　　　｜　不能　　　　　｜　不能　　　｜
｜它杀　　　｜　不能　　　　　　｜　不能　　　　　｜　不能　　　｜
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
　　从这个对照表可以看出，激进自杀和它杀的效果类似（各种类对象都【无法】正常销毁）。所以我们在写程序时要极力避免上述这两种情况。
　　另外，温和自杀也有不爽之处：不能正确地销毁局部非静态对象。准确地说，应该是：在调用exit之前已经构造但是尚未析构的局部非静态对象将再也不会被析构。所以温和自杀也要避免使用。
　　综上所述，最正经、最靠谱的死法就是第一种：自然死亡。

★析构的顺序

　　那么，是不是只要让进程自然死亡就万事大吉了？非也！即使所有的类对象都会被析构，还有另一个棘手的问题：析构的顺序。
　　先来看下面一个例子：

class CFoo
{
public:
    CFoo()
    {
        cout << "CFoo" << endl;
    }

    virtual ~CFoo()
    {
        cout << "~CFoo" << endl;
    }
};

　　上述示例挺简单的（有效代码仅6行），大伙儿能看出有什么问题吗？（如果你一眼就看出问题之所在，恭喜你——你的 C++ 水平够高，后面的内容你不用看了）
　　对于用户定义的全局对象，在 C++ 标准中并【没有】规定它们构造和析构的先后顺序；对于诸如标准输入输出流的 cout、cerr 等全局对象，在 C++ 03 标准中（27.4.2.1.6章节）有提及如何保证它们在最后析构。但由于某些老式编译器并未完全遵照标准实现，导致标准输入输出流的几个全局对象【有可能】被提前析构。
　　基于上述原因，假如 CFoo 类也定义了一个全局对象 g_foo。当 g_foo 析构的时候，cout 对象【有可能】已经先死了（取决于具体的环境，详见《关于标准输入输出流的进一步探讨》）。在这种情况下，CFoo 析构函数的打印语句由于引用了已死的对象，可能会导致【不可预料的后果】（比如进程崩溃）。
　　从上面的例子可以看出，如果你在程序中使用了全局对象或者静态对象，那你要非常小心地编写相关 class/struct 的析构函数代码，尽量【不要】在它们的析构函数中引用其它的全局对象或静态对象。当然啦，假如能避免使用全局对象和静态对象，就更好了。
　　另外，在 C++ 经典名著《Modern C++ Design》的第6章详细描述了关于单键/单例（Singleton）销毁的一些细节、场景及解决方法。大伙儿可以去拜读一下。
　　下一个帖子，咱们来聊一下和线程有关的C++对象是怎么死的。

版权声明
本博客所有的原创文章，作者皆保留版权。转载必须包含本声明，保持本文完整，并以超链接形式注明作者编程随想和本文原始地址：
https://program-think.blogspot.com/2009/02/cxx-object-destroy-with-process.html