【c++学习合辑】虚函数与纯虚函数

虚函数

首先先总结一句很绕口的话：

基类的指针指向派生类的对象，那么通过指针只能调用基类所定义的成员函数，而如果基类定义的是虚函数，这个指向派生类的基类指针调用的是派生类的成员函数。

举栗子
首先是没有声明虚函数的代码段

#include <iostream>
using namespace std;
class A{
public:
    A(){};
    ~A(){};
    void ShowMe(){
      cout<<"A"<<endl;
    }  
};
class A : class B{
public:
    B(){};
    ~B(){};
    void ShowMe(){
      cout<<"B"<<endl;
    }  
};
int main (int argc, char const *argv[]) {
    A *p = new B;
    p->ShowMe();
    return 0;
}

此时打印的结果是 A，证明基类的指针指向派生类的对象，那么通过指针只能调用基类所定义的成员函数。

就下来我们将ShowMe函数定义为虚函数：

#include <iostream>
using namespace std;
class A{
public:
    A(){};
    ~A(){};
    virtual void ShowMe(){
      cout<<"A"<<endl;
    }  
};
class A : class B{
public:
    B(){};
    ~B(){};
    virtual void ShowMe(){
      cout<<"B"<<endl;
    }  
};
int main (int argc, char const *argv[]) {
    A *p = new B;
    p->ShowMe();
    return 0;
}

此时打印的结果是B，如果基类定义的是虚函数（派生类可不定义为虚函数，效果相同），这个指向派生类的基类指针调用的是派生类的成员函数。

总结就是当基类指针指向一个子类对象，通过这个指针调用子类和基类同名成员函数的时候，基类声明为虚函数「子类不写也可以」就会调子类的这个函数，不声明就会调用基类的。

补充：其实在第二个栗子中A的析构函数也要加virtual，否则delete p的时候调的是A的析构函数，而实际上应该是需要调用B的析构函数，然后会自动调用基类的析构函数。

进阶举例

如果上述理论性词语太多还是不能理解的话，可以感受下面的举例来理解：

1. 假设我们需要涉及一款游戏，怪物会对主角进行攻击
2. 怪物1号是蛇，攻击技能是捆绑角色进行攻击导致人物掉血。
3. 怪物2号是狗，攻击技能是狂叫震晕人物导致人物掉血。
4. 怪物3号是狐狸，攻击技能是魅惑人物分神时攻击人物掉血。

此时我们是在管理一系列功能相似但类型不同的对象，在我们设计人物出现遇到很多怪物被攻击时，就可以定义一个虚基类指针数组，把各种怪物的指针给它，然后迭代循环的时候直接 monster[i]->attack() 攻击玩家就行了，每个怪物都是使用自己的技能，大概见下图：

int main (int argc, char const *argv[]) {
    Monstor *pMonster[3];
    pMonstor[0] new Snake;
    pMonstor[1] new Dog;
    pMonstor[2] new Fox;
    for (int i=0; i < 3; ++i) {
        // 在动物基类中将attack()函数声明为虚函数
        pMonstor[i]->attack();
    }
    return 0;
}

纯虚函数

写在开头：在工作感受，定义纯虚函数是为了实现一个接口，起到一个规范的作用，规范继承这个类的程序员必须实现这个函数。

一、定义

纯虚函数是在基类中声明的虚函数，它在基类中没有定义，但要求任何派生类都要定义自己的实现方法。
在基类中实现纯虚函数的方法是在函数原型后加“=0”　virtual void funtion()=0

二、引入原因

1、为了方便使用多态特性，我们常常需要在基类中定义虚拟函数。

2、在很多情况下，基类本身生成对象是不合情理的。

栗子，动物作为一个基类可以派生出老虎、孔雀等子类，但动物本身生成对象明显不合常理。

为了解决上述问题，引入了纯虚函数的概念，将函数定义为纯虚函数，则编译器要求在派生类中必须予以重写以实现多态性。同时含有纯虚拟函数的类称为抽象类，它不能生成对象。

这样就很好地解决了上述两个问题。声明了纯虚函数的类是一个抽象类。所以，用户不能创建类的实例，只能创建它的派生类的实例。

纯虚函数最显著的特征是：

它们必须在继承类中重新声明函数（不要后面的＝0，否则该派生类也不能实例化），而且它们在抽象类中往往没有定义。

定义纯虚函数的目的在于，使派生类仅仅只是继承函数的接口。
纯虚函数的意义，让所有的类对象（主要是派生类对象）都可以执行纯虚函数的动作，但类无法为纯虚函数提供一个合理的缺省实现。所以类纯虚函数的声明就是在告诉子类的设计者，“你必须提供一个纯虚函数的实现，但我不知道你会怎样实现它”。