C++对象是怎么死的?为什么要写这个系列?

来源:互联网 发布:第一次sql注入步骤 编辑:程序博客网 时间:2024/04/28 04:10

要说C++对象是怎么死的,得先从C++的析构函数说起。这玩意儿是我本人很喜欢的一个语言特性(可惜有好几个语言没有类似的玩意儿,具体就不点名 了,免得引发口水战)。我们可以利用C++的构造和析构函数,来实现Guard模式,写出比较清晰、简练和异常安全的代码。由于Guard模式在C++程序中运用挺多,所以保证所有对象被析构 就是一个很重要很严肃的问题。 
  另外,我发现很多C++程序员只关心内存泄露问题,不关心(或不清楚)资源泄露问题(很类似于我在“Java新手通病[3] ”提到的现象)。比如昨天的“C++对象是怎么死的?进程篇 ” 发布后,就有同学问了:进程死都死了,对象没销毁又有什么关系捏?其实大有关系啊!虽然操作系统会在进程死后帮它收尸(也就是把某些资源,比如内存进行回 收),基本不用担心内存泄露的问题。但是别忘了,除了内存资源,进程中可能还包含有其它业务层面的资源,而这些资源,操作系统是不会帮你自动回收的。所以 我要再啰嗦一次:资源泄露往往比内存泄露要严重得多啊 。啰嗦完之后,为了加深印象,再举如下一个例子。
  比如某业务逻辑Foo需要操作大量的临时文件(放在某动态生成的临时目录中),为了保证该业务逻辑结束后(可能是正常结束,也可能中途抛出异常),该临时目录总是被删除,可以使用如下的Guard模式。

class CTempDirGuard
{
public:
CTempDirGuard(const string& sFolderName)
{
// 创建某临时目录
}
virtual ~CTempDirGuard()
{
// 把该临时目录整个儿删除
}
};

void Foo()
{
CTempDirGuard guard(xxx); // 声明guard对象
// 往临时目录放东西
// 不管是出现return语句还是有异常抛出,guard都会被析构,因而该xxx目录会被删除

// 但是如果程序执行到此处,却发生进程的自然死亡,
// 在这种情况下,该guard对象将不会被析构,因此会留下一个垃圾目录,浪费了硬盘资源
}

  鉴于上述所说的两个原因,所以我一直想写一个这方面的帖子。正好前几天写了帖子讨论“架构设计的多进程问题 ”,之后就就顺便写了一个帖子:“C++进程是怎么死的?”,讨论了一下由于进程不同的死法对C++对象析构的影响。等写完之后突然想到:除了进程终止的问题可能导致C++对象的 正常析构,还有线程等其它因素也可能会让C++对象 正常析构。所以干脆就改了个名,叫“C++ 对象是怎么死的?” :-)

  另外,为了方便阅读,把本系列帖子的目录整理如下:
  1、进程篇 
  2、对标准输入输出流的进一步探讨 
  3、Win32线程篇 
  4、POSIX线程(pthread)篇 
  5、......