C++ 拷贝控制(三)：析构函数

析构函数执行与构造函数相反的操作：构造函数初始化对象的非static数据成员，还可能做一些其他的工作。析构函数释放对象使用的资源，并销毁非static数据成员。

class Foo
{
public:
    ~Foo();		// 析构函数
}
// 析构函数没有返回值，不接受参数，因此不能被重载

在一个析构函数中，不存在类似构造函数中，初始化列表的东西。来控制成员如何销毁，析构部分是隐式的。成员销毁时发生什么完全依赖于成员的类型。销毁的成员需要调用自己的析构函数销毁。内置类型没有析构函数，销毁内置类型什么也不需要做。

注意：隐式销毁一个内置指针类型的成员不会delete它所指的对象。与普通指针不同，智能指针是类类型的，具有析构函数。智能指针成员在析构阶段会自动被销毁。

1. 什么时候会调用析构函数

无论何时，一个对象被销毁，就会自动调用其析构函数：

• 变量在离开其作用域时被销毁。
• 当一个对象被销毁时，其成员被销毁。
• 容器被销毁时，其对象被销毁。
• 对于分配的对象，当对指向它的指针应用delete运算符是被销毁
• 对于临时对象，当创建它的完整表达式结束时被销毁。

注意：当一个对象的引用或者指针离开作用域时，析构函数不会执行。

2. 合成析构函数

当一个列没有定义自己的析构函数时，编译器会为它定义一个合成析构函数。类似于拷贝构造函数和拷贝赋值运算符，对于某些类，合成析构函数被用来阻止该类类型的对象被销毁。如果不是这种情况，合成析构函数的函数体为空。

class Foo
{
public:
    ~Foo() { } 	// 析构函数，函数体为空
}

特别注意：析构函数在执行时，先执行完函数体之后，再自动销毁成员。

参考：《C++ primer》整理笔记