使用作用域访问C++虚函数是否合法？是否属规范实践？

云上老周

2026-5-15

我编写了一个包含Person、Student、Employee、PartTimeStudent四个类的C++程序：Student与Employee均虚拟继承自Person，PartTimeStudent虚拟继承自这三个类，所有类均拥有虚函数VDescribe()。相关代码如下：
class Person { ... virtual void VDescribe(); ... };
class Student : virtual public Person { ... virtual void VDescribe(); ... };
class Employee : virtual public Person { ... virtual void VDescribe(); ... };
class PartTimeStudent : virtual public Person, virtual public Student, virtual public Employee { ... virtual void VDescribe(); ... };
注：上述代码省略了无关的构造函数、析构函数及成员变量。此外，我编写了如下代码创建PartTimeStudent对象并通过指针访问，使用作用域调用该对象中不同子对象的VDescribe()函数：
void DoTest() {
    PartTimeStudent* pPTS = new PartTimeStudent("John", 23, "NTU", "Seven-Eleven");
    pPTS->VDescribe();
    pPTS->::Person::VDescribe();
    pPTS->::Student::VDescribe();
    pPTS->::Employee::VDescribe();
}
该代码编译通过且能调用不同版本的VDescribe()，我想了解这种访问虚函数的方式是否合法，属于可接受还是不推荐的实践？

合法性确认

这种调用方式是完全符合C++标准的合法写法，编译器允许这么做，运行时也能精准执行你预期的行为——调用指定基类版本的VDescribe()函数。

背后的原理

正常情况下，通过指针或引用调用虚函数时，C++会触发动态绑定：程序会根据对象的实际类型（这里是PartTimeStudent），在虚函数表中找到最终被override的函数版本执行。

但当你使用::作用域限定符（比如::Person::VDescribe()）时，相当于直接给编译器明确指令：“我要调用Person类里定义的那个VDescribe()，不要走动态绑定流程”。这种写法会绕过虚函数的动态分发机制，直接定位到指定类中的函数实现。

另外，因为你用了虚拟继承，PartTimeStudent对象中只会存在一个Person子对象，所以这种跨类的作用域调用不会因为多份基类实例而产生歧义，这也是代码能顺利编译通过的关键前提之一。

实践建议

合法不代表推荐，这种写法通常不适合作为生产代码的常规实践，原因如下：

违背了虚函数的设计初衷：虚函数的核心价值是实现多态，让调用者无需关心对象的具体类型，靠动态绑定自动匹配正确的实现。强行用作用域指定基类版本，相当于打破了多态的封装，让代码紧密依赖于类的继承结构，后续继承关系一旦变动，这段代码很可能需要同步修改。
可读性与维护成本：其他开发者看到这段代码时，会疑惑为什么要绕过多态去调用基类函数，需要额外添加注释说明意图，增加了维护负担。
潜在风险：如果后续某个基类的VDescribe()被修改（比如改成纯虚函数，或者继承层级调整），这种直接调用可能会触发编译错误，甚至运行时问题。

当然，在一些特殊场景下这种写法是合理的：比如调试时需要单独验证基类的函数实现是否正常，或者在子类的VDescribe()重载中需要显式调用基类版本（不过这种情况通常用Person::VDescribe()即可，不需要全局作用域::）。

内容的提问来源于stack exchange，提问作者David Lim