什么是纯虚函数？

纯虚函数是指不必在基类中定义，但必须在派生类中被覆盖（override）的函数。通过新奇的“=0”语法可将虚函数声明为纯虚函数。例如：

 class Base {
                public:
                        void f1();                         // 不是虚函数
                        virtual void f2();         // 是虚函数，但不是纯虚函数
                        virtual void f3() = 0;  // 纯虚函数
                };

                Base b; // error: pure virtual f3 not overridden

在此，Base 是抽象类（因为它有一个纯虚函数），所以不能直接用它来定义对象：Base（很显然）是用来做基类的。例如：

class Derived : public Base {
                        // 没有定义 f1：没关系
                        // 没有定义 f2：没关系，继承了 Base::f2
                        void f3();
                };

                Derived d; // ok: Derived::f3 覆盖了 Base::f3

抽象类是定义接口的非常好的工具。事实上，一个只有纯虚函数的类通常被称为接口。

当然你也可以定义纯虚函数：

Base::f3() { /* ... */ }

这样做往往意义不大（虽然这样做可为派生类提供一些简单的公共代码），而且在派生类中仍然需要覆盖 Base::f3()。

如果你没有在派生类中覆盖纯虚函数，那该派生类也是抽象类：

 class D2 : public Base {
                        // 没有定义 f1：没关系
                        // 没有定义 f2：没关系，继承了 Base::f2
                        // 没有定义 f3：没关系，但 D2 因此也是抽象类
                };

                D2 d; // 错误：没有覆盖纯虚函数 Base::f3