前言

析构函数执行与构造函数相反的操作：构造函数初始化对象的非static 成员；析构函数释放对象使用的资源，并销毁对象的非static 数据成员。析构函数是类的一个成员函数，名字由波浪号接类的名字构成，它没有返回值，也不接受参数。由于析构函数不接受参数，因此它不能被重载。

class Sale_data{
public:
    ~Sale_data(); // 析构函数
}

一、析构函数完成什么工作

如同构造函数有一个初始化部分和一个函数体，析构函数也有一个函数体和一个析构函部分。在一个构造函数中，成员的初始化是在函数体之行之前完成的，且按照他们在类中出现的顺序进行初始化。在析构函数中，首先执行函数体，然后销毁成员。成员按初始化顺序的逆序销毁。

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

二、什么时候会调用析构函数

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

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

#include <iostream>
#include <vector>
#include <string>
using namespace std;

class A{
public:
    ~A(){
        cout << "A destructor called" << endl;
    };
};

class Sale_data{
public:
    Sale_data() = default;
    Sale_data(string bookN)
    {
        bookNo = bookN;
    }
    ~Sale_data(){
        cout << bookNo <<  " Sale_data destructor called" << endl;
    };
private:
    A a;
    string bookNo;
};


int main()
{
    Sale_data s("book1");
    Sale_data* p1 = new Sale_data("book2");
    shared_ptr<Sale_data> p2 = make_shared<Sale_data>("book3");
    
    vector<Sale_data> vec;
    vec.push_back(Sale_data("book4"));
    delete p1;
}

运行以上程序有如下输出：
book4 Sale_data destructor called
A destructor called
book2 Sale_data destructor called
A destructor called
book4 Sale_data destructor called
A destructor called
book3 Sale_data destructor called
A destructor called
book1 Sale_data destructor called
A destructor called

三、合成析构函数

当一个类未定义析构函数时，编译器会为它指定一个合成析构函数。类似拷贝构造函数和拷贝赋值运算符，对于某些类，合成析构函数用来阻止该类的对象被销毁。如果不是这种情况，合成析构函数的函数体为空。
如下代码等价于Sale_data 合成析构函数

class Sale_data{
public:
    ~Sale_data(){}; // 析构函数
}

析构函数本身并不直接销毁成员。成员是在析构函数体之后隐含的析构阶段中被销毁的。在整个对象的销毁过程中，析构函数是作为成员销毁步骤之外的另外一部分而进行的。

四、使用 =default

class Sale_data{
public:
    ~Sale_data() = default; // 析构函数
}

当我们在类内部用=default 修饰成员的声明时，合成的函数将声隐式申明为内联的。如果我们不希望合成的成员是内联函数，应该只对成员的类外定义使用=default。

五、析构函数不能是删除的成员函数

值得注意的是，我们不能删除析构函数。如果析构函数被删除，就无法无法销毁此类型的对象了。对于一个删除了析构函数的类型，编译器将不允许定义改类型的变量或者创建改类型的临时对象。而且如果一个类有某个成员的类型删除了析构函数，我们也不能定义改类的变量或临时对象。因为如果一个成员的析构函数是删除的，则该成员无法被销毁。而如果一个成员无法被销毁，则对象整体也无法被销毁了。
对于删除了析构函数的类型，虽然我们不能定义这种类型的变量或者成员，但可以动态的分配这种类型的对象，但是不能释放这些对象。

class NoDtor{
    NoDtor() = default;
    ~NoDtor() = delete;
}
class Sale_data{
    NoDtor nd; // 错误，析构函数是删除的
}
int main()
{
    NoDtor nd; // 错误，析构函数是删除的
    NoDtor *p = new NoDtor(); // 正确，行构默认构造函数
    delete p; // 错误，析构函数是删除的，无法释放
}