C++中重新声明纯虚函数的目的、语义影响及非纯虚场景分析

嘿，这个问题问到点子上了——C++里虚函数的层级声明确实容易让人迷糊，我来给你掰扯清楚这几个关键点。

这么做主要有几个实际的场景：

• 强化接口契约：哪怕基类A已经把foo()声明为纯虚，子类B再写一遍virtual void foo() = 0;，相当于给后续继承的子类（比如你的例子里的C）明明白白地标注：“这个方法必须由你来实现”。这能提升代码可读性，让维护的人一眼就知道B作为抽象类，依然要求子类遵守这个接口约束。
• 文档化语义差异：有时候B作为A的子类，会给foo()赋予更具体的语义，重新声明纯虚可以作为一种“注释式”的代码写法——比如A的foo是“通用操作”，B的foo是“针对B系子类的特定操作”，写出来比单纯的注释更有约束力。
• 适配遗留代码或设计模式：在一些老项目里，这种写法可能是为了保持接口的一致性；或者在模板、多态架构中，用来确保某个中间抽象层必须被进一步特化，不能直接实例化。

直接给结论：完全不会改变核心语义，B::foo不会遮蔽A::foo，也不会新增虚函数表条目。

原因很简单：C++里，只要子类声明的虚函数和基类的虚函数签名完全一致，它们就属于同一个虚函数的覆盖链。虚函数表（vftable）是按函数签名来分配条目的，A::foo()和B::foo()签名一模一样，所以它们共享同一个vftable位置——B只是把这个位置标记为“纯虚”，要求子类必须填充实现而已。

你可以用代码验证一下：

#include <iostream>
struct A { virtual void foo() = 0; }; 
struct B : public A { virtual void foo() = 0; }; 
struct C : public B { virtual void foo() override { std::cout << "C::foo" << std::endl; } };

int main() {
    A* a_ptr = new C();
    a_ptr->foo(); // 输出 "C::foo"
    B* b_ptr = new C();
    b_ptr->foo(); // 同样输出 "C::foo"
    delete a_ptr;
    delete b_ptr;
    return 0;
}

这说明无论是通过A指针还是B指针调用，最终都指向C的实现，完全没有遮蔽的问题——虚函数的动态查找会沿着继承链找到正确的实现，而签名一致的情况下，它们就是同一个虚函数。

只有当B声明的foo签名不同时（比如void foo(int)），才会发生基类方法的遮蔽，但你的例子里不存在这个情况。

如果A的foo不是纯虚，而是有具体实现，比如：

struct A { 
    virtual void foo() { std::cout << "A::foo" << std::endl; } 
}; 
struct B : public A { 
    virtual void foo() = 0; 
}; 
struct C : public B { 
    virtual void foo() override { std::cout << "C::foo" << std::endl; } 
};

这种写法是完全合法的，C++允许子类把基类的非纯虚函数重新声明为纯虚，会带来几个关键变化：

• B变成抽象类：哪怕A的foo有实现，B把它改成纯虚后，B本身就不能被实例化了——你没法直接new B()，必须由子类（比如C）实现foo才能创建对象。
• 子类必须强制实现foo：C必须提供foo的实现，否则C也会变成抽象类，无法实例化。
• A的实现依然可以被调用：如果C想复用A的foo逻辑，可以通过A::foo()显式调用，比如：

void C::foo() {
    A::foo(); // 输出 "A::foo"
    std::cout << "C::foo" << std::endl;
}

同样的，这里也不存在遮蔽问题，B的foo还是和A的foo属于同一个虚函数，只是B把它的“纯虚”属性改了，强制子类必须自己实现。

内容的提问来源于stack exchange，提问作者Sebastian Hoffmann