一、多态基础：什么是多态、多态的分类、为什么需要多态

各位同学，咱们今天来聊聊C++里一个绕不开的话题——多态。

说实话，我刚开始学C++那会儿，对多态的理解就是“父类指针调用子类方法”。听起来挺简单对吧？但真正在项目里用起来，坑可不少。我记得有一次重构一个通信协议解析模块，就因为多态用错了地方，导致线上崩溃了一整晚……嗯，从那以后，我对多态就多了一份敬畏。

1.1 什么是多态？

多态，说白了就是“同一个接口，多种实现”。

你想想看，现实世界里到处都是多态的例子。比如“按按钮”这个动作——按电视遥控器是换台，按手机Home键是返回桌面，按电梯按钮是关门。动作都是“按”，但结果完全不同。这就是多态。

在C++里，多态让我们能用统一的代码去处理不同类型的对象。父类的指针或引用，可以指向子类的对象，调用子类重写的方法。

核心定义：多态允许将子类对象当作父类对象来使用，并根据实际对象类型调用对应的方法。

1.2 多态的分类

C++的多态分两种：静态多态和动态多态。这两个概念我建议你从一开始就分清楚，不然以后写代码容易懵。

静态多态（编译期多态）

静态多态在编译时就确定了调用哪个函数。主要靠函数重载和模板实现。

// 函数重载——静态多态
void print(int x) {
    cout << "整数: " << x << endl;
}

void print(double x) {
    cout << "浮点数: " << x << endl;
}

void print(const string& s) {
    cout << "字符串: " << s << endl;
}

// 模板——也是静态多态
template <typename T>
T add(T a, T b) {
    return a + b;
}

静态多态的好处是效率高，没有运行时开销。缺点是不够灵活——你必须在编译时就确定好所有可能的类型。

动态多态（运行期多态）

动态多态在运行时才确定调用哪个函数。靠虚函数和继承实现。

class Animal {
public:
    virtual void speak() {
        cout << "动物在叫" << endl;
    }
    virtual ~Animal() = default;
};

class Dog : public Animal {
public:
    void speak() override {
        cout << "汪汪！" << endl;
    }
};

class Cat : public Animal {
public:
    void speak() override {
        cout << "喵喵~" << endl;
    }
};

// 使用动态多态
void makeSound(Animal* animal) {
    animal->speak();  // 运行时决定调用哪个speak
}

int main() {
    Dog dog;
    Cat cat;
    makeSound(&dog);  // 输出：汪汪！
    makeSound(&cat);  // 输出：喵喵~
    return 0;
}

动态多态的核心就是虚函数表（vtable）。每个包含虚函数的类，编译器都会给它生成一个虚函数表。对象里藏着一个虚函数指针（vptr），指向这个表。调用虚函数时，程序会通过vptr找到vtable，再找到真正的函数地址。

个人经验：我建议你在设计类层次结构时，如果确定某个函数需要被子类重写，一定要加上 virtual 关键字。我曾经因为漏掉一个 virtual，导致析构函数没被正确调用，内存泄漏查了两天……

1.3 为什么需要多态？

你可能会问：没有多态，我不也能写代码吗？

嗯，确实能写。但代码会变得非常僵硬。

咱们来看个反面例子——没有多态的时候，你可能会这么写：

void processShape(string type) {
    if (type == "circle") {
        // 画圆
    } else if (type == "rectangle") {
        // 画矩形
    } else if (type == "triangle") {
        // 画三角形
    }
    // 每加一种新形状，就得加一个else if
}

这种代码，我称之为“if-else地狱”。每增加一种新形状，你就要改这个函数。改着改着，代码就成了一团乱麻。

用多态重构一下：

class Shape {
public:
    virtual void draw() = 0;  // 纯虚函数
    virtual ~Shape() = default;
};

class Circle : public Shape {
public:
    void draw() override {
        cout << "画一个圆" << endl;
    }
};

class Rectangle : public Shape {
public:
    void draw() override {
        cout << "画一个矩形" << endl;
    }
};

// 新增三角形，不用改任何已有代码
class Triangle : public Shape {
public:
    void draw() override {
        cout << "画一个三角形" << endl;
    }
};

void processShape(Shape* shape) {
    shape->draw();  // 多态！不用if-else
}

看到了吗？新增形状时，你只需要写新的子类，processShape 函数完全不用动。这就是多态的魅力——对扩展开放，对修改关闭（开闭原则）。

避坑指南：我曾经在项目中用多态处理大量对象时，忽略了虚函数的性能开销。每个虚函数调用都涉及两次间接寻址（vptr → vtable → 函数地址），在高频调用的场景下，性能损耗不可忽视。如果你的代码在性能关键路径上，可以考虑用静态多态（模板）替代。

1.4 多态在面向对象设计中的核心地位

多态是面向对象设计的三大特性之一（封装、继承、多态）。但说实话，我觉得多态才是真正的灵魂。

封装让我们把数据和操作绑在一起，继承让我们复用代码。但如果没有多态，继承就只是个代码复用的工具，失去了“面向接口编程”的威力。

多态让我们能做到：

  • 面向接口编程：写代码时依赖抽象，不依赖具体实现
  • 策略模式：运行时切换算法
  • 工厂模式：创建对象时不用关心具体类型
  • 观察者模式：事件驱动架构的基础

可以说，没有多态，23种设计模式里至少有一半都玩不转。

下面这张图，帮你理清多态的整体知识结构：

C++ 多态知识体系 多态 静态多态（编译期） 动态多态（运行期） 函数重载 模板（泛型） 虚函数 + 继承 虚函数表(vtable) 核心价值：面向接口编程 · 开闭原则 · 代码复用

这张图把多态分成了两大阵营。左边是静态多态，编译期就定好了；右边是动态多态，运行时才决定。底部是它们的核心价值——说白了，多态就是为了让代码更灵活、更好扩展。

总结一下：

  • 多态让同一个接口表现出不同的行为
  • 静态多态靠重载和模板，效率高但不够灵活
  • 动态多态靠虚函数和继承，灵活但有一点性能开销
  • 多态是面向对象设计的核心，没有它，设计模式就无从谈起

好了，这一章就到这里。多态的概念先有个整体印象，下一章咱们深入虚函数的底层实现——虚函数表到底长什么样？vptr什么时候初始化？这些细节搞清楚了，你才算真正掌握了多态。

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

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