1.什么是virtual
virtual是一个C++的修饰符,用于修饰函数,被修饰的函数称为虚函数。
2.为什么需要?
在C++中,我们都知道要实现多态有2种方法,一种是重写,一种是重载,重载是横向的,意思是只发生在同一个类中,根据函数的参数个数,类型不同从而实现重载,而重写则是纵向的,发生在继承中,子类函数覆盖父类函数,父类指针指向子类实体时,应该实现运行时多态。
3.通常用在什么情形?
1.作为基类的类的析构函数
如果一个类做为父类,然后它被别人继承,当用子类指针指向子类时不会出现任何的问题,但是如果用父类指针指向子类时,若没有加析构函数,那只会析构父类的析构函数,这时我们需要用virtual修饰父类的析构函数。
2.需要实现多态的函数
若一个函数需要实现多态,即运行时多态。
1、定义在函数中的对象,在函数调用结束时,在对象释放前调用析构函数
2、定义在函数中的static对象,在函数调用结束时,不调用对象析构函数,在mian函数结束时,会调用对象析构函数
3、定义全局对象或者static全局对象,程序执行流程离开其作用域时,调用对象析构函数
4、用new运算法生成的对象,调用delete运算法释放该对象时,先调用对象析构函数
重写 覆盖的几个函数必须函数名、参数、返回值都相同;
case 1
#include <iostream>
using namespace std;
class Base{
public:
~Base() {cout<<"~B"<<endl;}
};
class Derived:public Base{
public:
~Derived() {cout<<"~D"<<endl;}
};
int main (){
Base *b = new Derived; //注意这里
delete b;
}
子类指向父类,查看打印日志:
~B
可见删除子类指向父类的指针,代表delete只删除了父类,并没有删除子类的相关内存,会产生内存泄漏。所以在多态的使用过程中,delete(指向父类的子类对象)需要格外注意是否会没有释放子类或者父类。
case 2
#include <iostream>
using namespace std;
class Base{
public:
~Base() {cout<<"~B"<<endl;}
};
class Derived:public Base{
public:
~Derived() {cout<<"~D"<<endl;}
};
int main (){
Derived *d = new Derived; //注意这里
delete d;
}
子类指向子类指针,查看打印日志:
~D
~B
可以得知,delete子类的析构顺序:是先释放子类,在释放父类。
这是我们期望的结果,所以没啥问题。。。
case 3
对于case 1当中的情况,如何去规避呢? 需要将父类的析构函数定义为virtual
#include <iostream>
using namespace std;
class Base{
public:
virtual ~Base() {cout<<"~B"<<endl;}
};
class Derived:public Base{
public:
~Derived() {cout<<"~D"<<endl;}
};
int main (){
Base *d = new Derived; //注意这里
delete d;
}
打印结果:
~D
~B
原理:delete d; //d虽然为Base*,但是它的析构函数是virtual的,所以它调用析构函数,其实是调用虚函数表中的函数。而Base* d指向的虚函数表在内存中其实是new Derived类的虚函数表。所以通过Base类的virtual函数 + Base* d指向派生类(Derived)对象,从而使得在调用delete d的时候实际上是调用的是delete Derived* d的意思,也就是第二种情况的效果。