第四章 继承与多态：C++面向对象的核心战场

说实话，很多C++程序员写了三五年，对继承和多态的理解还停留在「语法层面」。他们知道怎么用virtual，但不知道编译器在背后做了什么。今天我就带你深入底层，看看虚函数表到底长什么样，RTTI又是怎么工作的。

4.1 继承体系与内存布局

先看一个最简单的继承场景。我定义一个基类和一个派生类：

class Base {
public:
    int a;
    void func() {}
};

class Derived : public Base {
public:
    int b;
    void func2() {}
};

你猜Derived对象在内存里长什么样？说白了，就是Base的部分在前，Derived自己的成员在后。内存布局是连续的：

|-- Base::a (4字节) --|-- Derived::b (4字节) --|

嗯，这里要注意：如果Base有虚函数，情况就变了。编译器会在对象开头插入一个虚函数表指针（vptr），指向一个虚函数表（vtable）。

核心要点：有虚函数的类，对象大小会增加一个指针的大小（32位下4字节，64位下8字节）。这个指针指向类的虚函数表。

我在项目中遇到过一个问题：一个类继承了多个基类，每个基类都有虚函数。这时候对象里会有多个vptr。多重继承的内存布局比单继承复杂得多，每个基类子对象都有自己的vptr。

class Base1 {
public:
    virtual void vfunc1() {}
    int a;
};

class Base2 {
public:
    virtual void vfunc2() {}
    int b;
};

class Derived : public Base1, public Base2 {
public:
    virtual void vfunc3() {}
    int c;
};

Derived对象的内存布局大致是：

|-- Base1::vptr (8字节) --|-- Base1::a (4字节) --|-- padding --|
|-- Base2::vptr (8字节) --|-- Base2::b (4字节) --|-- padding --|
|-- Derived::c (4字节) --|-- padding --|

你想想看，为什么要有padding？因为对齐要求。CPU访问对齐的数据更快，编译器会自动填充字节。

4.2 虚函数表（vtable）深度剖析

虚函数表，说白了就是一个函数指针数组。每个有虚函数的类，编译器都会生成一个vtable。对象通过vptr找到vtable，再通过索引找到对应的函数地址。

我画了一张图，帮你理解这个机制：

对象 vptr 虚函数表 (vtable) [0] virtual func1() [1] virtual func2() [2] virtual func3() Base::func1() Derived::func2() Derived::func3() 调用流程：对象.vptr → vtable[索引] → 实际函数

为什么需要vtable？因为动态绑定。当你通过基类指针调用虚函数时，编译器不知道实际调用哪个版本，只能在运行时通过vptr找到正确的函数。

Base* p = new Derived();
p->vfunc1();  // 运行时通过vtable找到Derived::vfunc1()

我曾经在调试一个性能问题时，发现虚函数调用比普通函数调用慢了不少。原因就是多了两次间接寻址：先取vptr，再查vtable。虽然现代CPU的分支预测能缓解这个问题，但在高频调用的热点路径上，还是要谨慎使用虚函数。

性能提示：如果某个虚函数在循环中被调用百万次，考虑用CRTP（奇异递归模板模式）替代虚函数，把多态从运行时移到编译时。

4.3 纯虚函数与抽象类

纯虚函数，就是没有实现的虚函数。语法上在声明后面加个 = 0：

class Shape {
public:
    virtual double area() const = 0;  // 纯虚函数
    virtual void draw() const = 0;
};

含有纯虚函数的类叫抽象类，不能实例化。说白了，就是告诉使用者：「我这个类只是个接口，你别直接创建对象，得先继承我实现所有纯虚函数。」

我建议在设计大型系统时，把接口类都写成纯虚函数的形式。这样做有几个好处：

  • 强制实现：派生类必须实现所有纯虚函数，否则无法实例化
  • 接口隔离：调用方只依赖抽象接口，不依赖具体实现
  • 二进制兼容：只要接口不变，实现可以随便换

举个例子，我在做一个插件系统时，定义了这样的接口：

class IPlugin {
public:
    virtual ~IPlugin() = default;
    virtual bool initialize() = 0;
    virtual void process(const Data& input, Data& output) = 0;
    virtual void shutdown() = 0;
};

所有插件都继承这个接口，主程序只通过IPlugin指针操作插件。这样新增插件不需要改主程序代码，符合开闭原则。

注意：抽象类的析构函数一定要声明为虚函数！否则通过基类指针删除派生类对象时，不会调用派生类的析构函数，导致资源泄漏。我曾经因为这个bug排查了一整天……

4.4 RTTI与dynamic_cast

RTTI（运行时类型识别）是C++提供的运行时类型信息机制。主要通过两个操作符实现：typeid 和 dynamic_cast。

typeid 返回一个 std::type_info 对象，包含类的名称等信息：

Base* p = new Derived();
if (typeid(*p) == typeid(Derived)) {
    std::cout << "p指向Derived对象" << std::endl;
}

dynamic_cast 用于安全向下转型。它会在运行时检查转换是否合法：

Base* p = new Derived();
Derived* d = dynamic_cast<Derived*>(p);
if (d) {
    // 转换成功，可以安全使用d
} else {
    // 转换失败，p不指向Derived对象
}

你想想看，dynamic_cast是怎么实现的？其实它利用了vtable中的RTTI信息。每个有虚函数的类，vtable里都藏着一个指向type_info对象的指针。dynamic_cast就是通过这个指针做类型检查的。

我曾经在项目中看到有人滥用dynamic_cast，每个函数里都做三四次类型转换。这其实是个坏味道。如果你发现自己频繁使用dynamic_cast，说明设计可能有问题——为什么不把需要的行为抽象成虚函数呢？

最佳实践：优先使用虚函数实现多态行为，只在极少数情况下使用dynamic_cast。比如你需要访问派生类特有的接口，而这个接口不适合放在基类中。

RTTI有性能开销，因为涉及运行时类型检查。如果你在性能敏感的代码中禁用了RTTI（通过编译器选项），dynamic_cast和typeid都不能用了。这时候可以用自己的类型标识机制，比如每个类定义一个静态的ID。

嗯，最后说一句：多态是C++面向对象的核心，但不要滥用。我见过一些代码，整个继承体系有七八层，虚函数几十个，调试起来简直噩梦。记住一个原则：继承是为了复用接口，不是为了复用实现。能用组合解决的问题，别用继承。

个人习惯：我一般把继承层次控制在3层以内，超过3层就考虑重构。虚函数数量控制在10个以内，太多说明类的职责过重。

好了，这一章的内容就到这里。记住：理解内存布局和vtable机制，你才能真正掌握C++的多态。下次遇到虚函数相关的bug，你就能从底层分析问题了。

公众号:蓝海资料掘金营，微信deep3321

← 上一章 📖 返回目录 下一章 →