它的优点是它强制派生类型仍然重写方法，但也提供了默认的或添加的实现。

需要明确的是，你误解了什么= 0;后有虚函数的意思。

= 0表示派生类必须提供实现，而不是基类不能提供实现。

在实践中，当您将虚函数标记为纯(=0)时，提供定义几乎没有什么意义，因为它永远不会被调用，除非有人通过Base:: function(…)显式地这样做，或者如果基类构造函数调用了所讨论的虚函数。

是的，这是正确的。在您的示例中，派生自A的类继承了接口f()和默认实现。但是你强迫派生类实现方法f()(即使它只是调用A提供的默认实现)。

Scott Meyers在Effective c++ (2nd Edition)第36项中讨论了这一点，区分接口的继承和实现的继承。项目编号可能在最新版本中发生了变化。

纯虚函数必须在将被直接实例化的派生类型中实现，但是基类型仍然可以定义实现。派生类可以通过使用全作用域名称显式调用基类实现(如果访问权限允许的话)(在示例中调用A::f()—如果A::f()是公共的或受保护的)。喜欢的东西:

class B : public A {

    virtual void f() {
        // class B doesn't have anything special to do for f()
        //  so we'll call A's

        // note that A's declaration of f() would have to be public 
        //  or protected to avoid a compile time problem

        A::f();
    }

};

我能想到的用例是，当存在一个或多或少合理的默认行为，但类设计器希望只显式地调用这种默认行为时。也可能是这样，你希望派生类总是执行它们自己的工作，但也能够调用一组公共功能。

请注意，尽管语言允许这样做，但我并没有看到它被普遍使用(而且可以这样做的事实似乎让大多数c++程序员感到惊讶，甚至是有经验的程序员)。

'virtual void foo() =0;'语法并不意味着你不能在当前类中实现foo()，你可以。这也并不意味着您必须在派生类中实现它。 在你扇我之前，让我们来看看钻石问题: (注意，是隐式代码)。

class A
{
public: 
    virtual void foo()=0;
    virtual void bar();
}

class B : public virtual A
{
public:
    void foo() { bar(); }
}

class C : public virtual A
{
public:
    void bar();
}

class D : public B, public C
{}

int main(int argc, const char* argv[])
{
    A* obj = new D();
    **obj->foo();**
    return 0;
}

现在，obj->foo()调用将导致B::foo()和C::bar()。

你看到…纯虚方法不必在派生类中实现(foo()在类C中没有实现-编译器将编译) 在c++中有很多漏洞。

希望我能帮上忙:-)

纯虚函数有或没有主体仅仅意味着派生类型必须提供它们自己的实现。

如果派生类想要调用基类实现，基类中的纯虚函数体非常有用。