面向对象——抽象基类

在 C++ 语法体系中，含有纯虚函数的类即为抽象基类，其子类必须给出纯虚函数的实现才可用于实例化。

考虑如下的继承体系，Animal 为抽象基类，make_sound为其纯虚函数，run/swim为其虚函数，分别交由Dog类和Fish类具体实现（抽象基类要给出虚函数的缺省实现）；

我们看到一个抽象基类主要包括三种成员函数：

• 非虚函数（non-virtual），子类对象可以直接调用，是一种公共行为，比如成员变量的存取（get/set方法）。（上例的 ）

• 非纯虚函数（impure virtual ），一部分的虚函数交由一些子类真正实现，一部分的虚函数交由另外一些子类真正实现，但抽象基类要给出虚函数的缺省实现。声明简朴的非纯虚函数的目的，是让derived classes 继承该函数接口和缺省实现；

• 纯虚函数（pure virtual），自然不提供任何实现，也是一种公共行为，如果子类想要成为能够实例化对象的类，必须给出抽象基类中全部虚函数的实现；

#include <iostream>

class Animal
{
public:
    virtual void make_sound() const = 0;
                            // 纯虚函数
    virtual void swim() const{}
    virtual void run() const{}
                            // 虚函数
    void say() const { std::cout << "I'm a happy little animal, I live on the earth." << std::endl; }
                            // 普通函数
};

class Dog: public Animal
{
public:
    void make_sound() const
    {
        std::cout << "wang! wang! wang wang!!" << std::endl;
    }
    void run() const
    {
        std::cout << "I'm a dog, I can run!" << std::endl;
    }
};

class Fish :public Animal
{
public:
    void make_sound() const
    {
        std::cout << "wen! wen! wenwen!" << std::endl;
    }
    void swim() const
    {
        std::cout << "I'm a fish, I can swim." << std::endl;
    }
};

int main(int, char**)
{
    Fish f;
    f.swim();
    f.say();
    return 0;
}