C++虚函数与纯虚函数：实现多态的核心机制

虚函数与动态绑定

在 C++ 中，基类需要将成员函数分为两类：希望派生类覆盖的函数（虚函数）和希望直接继承的函数。通过在基类成员函数前添加 virtual 关键字来定义虚函数。一旦某个函数被声明为虚函数，其在所有派生类中的重写版本默认也是虚函数，无需重复添加 virtual。

class Base {
public:
  virtual int func(int n) const;
};

class Derive_Class : public Base {
public:
  // 虽然没写 virtual，但仍是虚函数
  int func(int n) const override;
};

第1步：理解静态类型与动态类型

• 静态类型：变量声明时的类型，编译时已知。
• 动态类型：变量或表达式指向的内存中对象的真实类型，运行时才确定。

只有当通过基类的指针或引用调用虚函数时，才会发生动态绑定（即运行时绑定）。此时，系统根据对象的动态类型决定调用哪个版本的函数。若操作对象本身（非指针/引用），则动态类型永远等于静态类型，不发生多态行为。

第2步：使用 override 确保正确覆写

若派生类函数名与基类虚函数相同但参数列表不同，编译器会将其视为新函数而非覆写。为防止此类隐蔽错误，应在派生类函数声明后添加 override 说明符。如果该函数未能正确覆盖基类虚函数，编译器将报错。

class Base {
public:
  virtual int func(int a, int b) const;
};

class Derive_Class : public Base {
public:
  // 错误：未覆盖基类虚函数（签名不匹配），compile error
  int func(int a) const override; 
};

第3步：使用 final 禁止进一步覆写或继承

若不希望类被继续继承，或在某层级固定函数实现，可使用 final。

• class Base final：后续类无法继承 Base。
• void func() const final：后续派生类无法再覆写此函数。

class Base final { /* */ };
// class Derive : public Base {} // 错误：Base被标记为final

void func(int) const final; // 不允许后续类覆盖func

第4步：回避动态绑定（显式调用特定版本）

有时需要强制调用特定版本的函数，忽略动态类型。可使用作用域解析运算符 :: 指定基类版本。这在派生类中调用基类同名函数时尤为常见，可避免无限递归。

// 忽略 baseP 的实际动态类型，始终调用 Base::func
int a = baseP->Base::func(42); 

纯虚函数与抽象基类

第1步：定义纯虚函数

当基类无法给出有意义的函数实现时，可将其声明为纯虚函数。语法是在声明末尾添加 =0。包含纯虚函数的类被称为抽象基类（Abstract Base Class）。

class Base {
public:
  // 纯虚函数声明，无函数体定义
  virtual int func(int n) const = 0;
};

第2步：抽象基类的约束

• 不可实例化：不能创建抽象基类的对象。
• 可声明指针/引用：可以声明指向抽象基类的指针或引用，利用它们访问派生类对象的多态行为。
• 必须覆写：派生类若想实体化（非抽象），必须提供基类中所有纯虚函数的具体实现。若未完全实现，派生类依然是抽象基类。

Base base; // 错误：试图实例化抽象基类

第3步：纯虚函数的定义

虽然纯虚函数在声明处定义为 =0，但仍可以在类外部提供定义（实现）。这通常用于提供通用的默认逻辑，供派生类通过基类名调用。注意：=0 只能出现在类内部的声明处。

关键总结

1. 虚函数：支持动态多态，需通过基类指针或引用调用才能在运行时解析。
2. 纯虚函数：形式为 virtual void func() = 0;，用于定义接口标准，使类成为抽象基类，禁止直接实例化。
3. 析构函数：在涉及多态的类体系中，基类析构函数通常应声明为虚函数，以确保删除基类指针时能正确调用派生类的析构函数，防止内存泄漏。
4. 关键字辅助：合理使用 override 检查覆写正确性，使用 final 锁定继承结构。

以上就是 C++ 中虚函数与纯虚函数用法的详细内容，更多关于 C++ 面向对象多态技术的资料请关注本站其它相关文章！