为什么C++支持带有实现的纯虚函数？

我今天做了一个简单的测试：

struct C{virtual void f()=0;};
void C::f(){printf("weird
");}

程序还可以，但我觉得奇怪，我们用=0表示函数体应该在继承的类中定义，但似乎还是可以给它实现函数。

GCC和VC都试过了，都还行。所以在我看来，这应该是C++标准的一部分。

但为什么这不是语法错误？

我能想到的一个原因是，像C#一样，既有接口关键字又有抽象关键字，接口不能有实现，而抽象可以有一些实现。

我的困惑是这样的吗？C++应该支持这样一种奇怪的语法？

---

解决方案

C++支持具有实现的纯虚函数，因此类设计者可以强制派生类重写该函数以添加特定细节，但仍提供可用作公共库的有用的默认实现。

经典示例：

class PersonBase
{
private:
    string name;
public:
    PersonBase(string nameIn) : name(nameIn) {} 

    virtual void printDetails() = 0
    {
        std::cout << "Person name " << name << endl;
    }
};

class Student : public PersonBase
{
private:
    int studentId;
public: 
    Student(string nameIn, int idIn) : PersonBase(nameIn), studentId(idIn) {  }
    virtual void printDetails()
    {
        PersonBase::printDetails(); // call base class function to prevent duplication
        std::cout << "StudentID " << studentId << endl;
    }
};