纯虚函数是指不必在基类中定义，但必须在派生类中被覆盖（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

原文地址：http://www.research.att.com/~bs/bs_faq2.html#pure-virtual

本文版权归 蚂蚁的 C/C++ 标准编程 以及 作者 Bjarne Stroustrup 翻译：antigloss 共同所有，转载请注明原作者和出处。谢谢。