构造函数和析构函数以及他们之间错综复杂的关系

构造函数和析构函数以及他们之间错综复杂的关系

class Base{
public:
    Base(){printf("base constructor is called\n");}
    ~Base(){printf("base destructor is called\n");}
};

class Son: public Base{
public:
    Son(){printf("son constructor is called\n");}
    ~Son(){printf("son destructor is called\n");}

};

int main(){
    Son *p = new Son;
    delete(p);
    p = nullptr;
}

results:

base constructor is called
son constructor is called
son destructor is called
base destructor is called

父子子父（父类构造子类构造子类析构父类析构）

稍加更改

父类指针指向子类对象

class Base{
public:
    Base(){printf("base constructor is called\n");}
    ~Base(){printf("base destructor is called\n");}
};

class Son: public Base{
public:
    Son(){printf("son constructor is called\n");}
    ~Son(){printf("son destructor is called\n");}

};

int main(){
    Base *p = new Son;
    delete(p);
    p = nullptr;
}

results:

base constructor is called
son constructor is called
base destructor is called

我们发现没有调用子类的析构函数，想一想为什么？

首先我们调用new创建了一个Son的实例，new的过程其实做了很多事，包括分配内存，调用构造函数等，调用构造函数时，先调用父类的构造函数，再调用子类的构造函数。delete时清空内存并调用析构函数。析构时调用父类的析构函数。这里为什么没有调用子类的析构函数，和上面的区别在于是父类指针，这意味着什么？这意味着p这个指针对于所分配的内存的解释是Base类型，而Base类型是没有子类的析构函数的。

注意这个时候会引起什么问题呢？

缺少了子类析构函数的调用也就缺少了对于子类资源的清理，如果子类有资源开辟到堆区，这个时候内存得不到释放就会造成内存泄漏。

怎么解决呢？通过虚析构

class Base{
public:
    Base(){printf("base constructor is called\n");}
    virtual ~Base(){printf("base destructor is called\n");}
};

class Son: public Base{
public:
    Son(){printf("son constructor is called\n");}
    ~Son(){printf("son destructor is called\n");}

};

int main(){
    Base *p = new Son;
    delete(p);
    p = nullptr;
}

results：

base constructor is called
son constructor is called
son destructor is called
base destructor is called

这个时候为什么能调用到子类的构造函数呢？

将父类的析构函数定义为虚函数之后，很多东西都不一样了。

父类和子类都会多了虚函数表和虚函数表指针。这个时候进行析构时由于多了虚函数表指针，析构时调用的是子类中的析构函数，这是多态的实现。那又为什么会调用到父类的析构函数呢？这是由于delete的机制，清理的是父类指针指向的空间。