c++virtual

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的意思，也就是第二种情况的效果。