浅谈多态基类析构函数声明为虚函数-白红宇

浅谈多态基类析构函数声明为虚函数

阅读量：4121 次

发布时间：2019-05-25

本文共 2555 字，大约阅读时间需要 8 分钟。

为什么基类的析构函数需要声明为virtual？？

主要内容：

1、C++类继承中的构造函数和析构函数

2、C++多态性中的静态绑定和动态绑定

3、C++多态性中析构函数声明为虚函数

1、C++类继承中的构造函数和析构函数

在C++的类继承中，

建立对象时，首先调用基类的构造函数，然后在调用下一个派生类的构造函数，依次类推；

析构对象时，其顺序正好与构造相反；

具体参考文章：http://www.cnblogs.com/AndyJee/p/4575385.html

2、C++多态性中的静态绑定和动态绑定

对象的静态类型：对象在声明是采用的类型，在编译期确定；

对象的动态类型：当前对象所指的类型，在运行期决定，对象的动态类型可以更改，但静态类型无法更改。

静态绑定：绑定的是对象的静态类型，某特性（比如函数）依赖于对象的静态类型，发生在编译期。

动态绑定：绑定的是对象的动态类型，某特性（比如函数）依赖于对象的动态类型，发生在运行期。

具体参考文章：http://www.cnblogs.com/AndyJee/p/4575670.html

3、C++多态性中基类析构函数声明为虚函数

先来看几段程序例子：

将基类析构函数声明为虚函数

#include <iostream>

using namespace std;

class Person{

public:

virtual ~Person(){ //declare destructor as a virtual function

cout << "Person::~Person()" << endl;

}

};

class Student : public Person{

public:

~Student(){ // virtual or not is OK

cout << "Student::~Student()" << endl;

}

};

int main(){

Person *pt1 = new Person;

Person *pt2 = new Student; // base class pointer point to derived class

// Student *pt3 = new Person; // derived class pointer can not point to base class

Student *pt4 = new Student;

delete pt1;

cout << "*********" << endl;

delete pt2;

cout << "*********" << endl;

//delete pt3;

//cout << "*********" << endl;

delete pt4;

cout << "*********" << endl;

return 0;

}

运行结果：

不将基类析构函数声明为虚函数：

#include <iostream>

using namespace std;

class Person{

public:

~Person(){ //declare destructor as a virtual function

cout << "Person::~Person()" << endl;

}

};

class Student : public Person{

public:

~Student(){ // virtual or not is OK

cout << "Student::~Student()" << endl;

}

};

int main(){

Person *pt1 = new Person;

Person *pt2 = new Student; // base class pointer point to derived class

// Student *pt3 = new Person; // derived class pointer can not point to base class

Student *pt4 = new Student;

delete pt1;

cout << "*********" << endl;

delete pt2;

cout << "*********" << endl;

//delete pt3;

//cout << "*********" << endl;

delete pt4;

cout << "*********" << endl;

return 0;

}

运行结果：

可以看出：

在用基类指针指向派生类时，

在基类析构函数声明为virtual的时候，delete基类指针，会先调用派生类的析构函数，再调用基类的析构函数。

在基类析构函数没有声明为virtual的时候，delete基类指针，只会调用基类的析构函数，而不会调用派生类的析构函数，这样会造成销毁对象的不完全。

分析：

Person *pt2 = new Student;

pt2的静态类型为Person，而动态类型为Student，

当析构函数为虚函数时，为动态绑定，delete pt2，会调用动态类型即派生类的析构函数，由于继承关系，也会调用基类的析构函数；

而当析构函数为非虚函数时，为静态绑定，delete pt2，会调用静态类型即基类的析构函数，而不会调用派生类的析构函数。

（以上纯属个人理解）

总结：

应该为多态基类声明虚析构器。一旦一个类包含虚函数，它就应该包含一个虚析构器，因为多态性，必定会有基类调用派生类。

如果一个类不用作基类或者不需具有多态性，便不应该为它声明虚析构器。

转自：

你可能感兴趣的文章

Linux基础系列-可执行程序的产生过程

查看>>

Linux基础系列-Kernel 初始化宏

查看>>

Linux子系统系列-I2C

查看>>

<iOS>关于自定义description的一点用法

查看>>

Unix 命令，常用到的

查看>>

DLL中建立进程共享数据段需要注意的语法问题

查看>>

服务器端技术----Http请求的处理过程

C语言-static和extern关键字1-对函数的作用

查看>>

C 语言-static和extern关键字2-对变量的作用

查看>>

【JavaScript 教程】浏览器—History 对象

查看>>

还不会正则表达式？看这篇！

查看>>

100道+ JavaScript 面试题，助你查漏补缺

7 个适用于所有前端开发人员的很棒API，你需要了解一下

查看>>

25个构建Web项目的HTML建议，你需要了解一下！

查看>>

【web素材】02-10款大气的购物商城网站模板

查看>>