现代C++中如何强制子类重写方法调用基类方法？

问题描述 #

我想知道在现代C++中，是否存在一种方式，强制当前正在重写基类方法的子类方法调用基类的对应方法。

请看以下示例场景：

class Base
{
public:
  virtual void initialize()
  {
    ... initialization stuff common to all subclasses ...
  }
};


class Derived
{
public:
  virtual void initialize() override
  {
    Base::initialize();  // !! 我可能会忘记写这一行！

    ... initialization stuff specific to Derived class ...
  }
};

我希望能在编译时强制子类方法调用基类方法，以避免遗漏基类提供的重要初始化逻辑。

我目前采用的一种不太优雅的解决方案如下（属于模板方法（template method）设计模式的基础用法）：

class Base
{
public:
  void initialize() // 注意：这个方法不是虚函数
  {
    ... initialization stuff common to all subclasses ...
    
    this->_innerInitialize();
  }

protected:
  virtual void _innerInitialize() // 子类需要重写的实际虚方法
  {
  }
};


class Derived
{
protected:
  virtual void _innerInitialize() override
  {
    ... initialization stuff specific to Derived class ...
  }
};

现代C++是否提供了更优雅的方式来实现这种强制机制？提前感谢各位的解答。

补充说明：由于很多人关注initialize()方法，本问题具有通用性，并非仅针对初始化方法。尽管将构造与初始化分离有时十分有用（例如封装OpenGL实体的包装类，有时需要将初始化延迟到拥有有效OpenGL上下文的时机）。

解决方案分析 #

你当前使用的模板方法模式其实已经是实现这类需求的经典且可靠方案，不过现代C++确实有一些语法特性可以让这个实现更简洁或更具约束性：

1. 强化模板方法模式：用final锁定公共入口 #

可以给基类的公共非虚方法加上final修饰，从语法层面禁止子类重写它，彻底杜绝绕过基类逻辑的可能，同时用纯虚函数强制子类实现自定义逻辑：

class Base
{
public:
  void initialize() final // 禁止子类重写此方法，确保基类逻辑必被执行
  {
    // 基类通用初始化逻辑
    ...
    
    this->onInitialize();
  }

protected:
  virtual void onInitialize() = 0; // 强制子类提供自定义实现，允许空实现则去掉=0
};

class Derived : public Base
{
protected:
  void onInitialize() override
  {
    // 子类专属初始化逻辑
    ...
  }
};

这种方式的核心优势：

• 清晰划分了"不可修改的基类核心逻辑"和"子类可定制的扩展逻辑"
• final关键字从语言层面阻止子类绕过基类入口
• 纯虚函数强制子类必须实现自定义部分，避免遗漏

2. CRTP变种：编译时静态分发 #

如果希望避免虚函数的运行时开销，可以结合**奇异递归模板模式（CRTP）**实现编译时静态分发，本质仍是模板方法模式的优化：

template<typename Derived>
class Base
{
public:
  void initialize()
  {
    // 基类通用逻辑
    ...
    
    static_cast<Derived*>(this)->onInitialize();
  }
};

class Derived : public Base<Derived>
{
private:
  friend class Base<Derived>; // 让基类可以调用子类的私有方法
  void onInitialize()
  {
    // 子类专属逻辑
    ...
  }
};

CRTP将虚函数的动态绑定转化为编译时的静态调用，性能更优，但同样依赖"子类实现指定方法"的约定，无法从语法上强制子类调用基类额外方法（若有需要）。

3. 关键局限性说明 #

需要明确的是：C++目前没有原生语法可以直接强制子类在重写虚函数时必须调用基类版本。所有实现方式都依赖设计模式的约定或语法层面的约束（比如模板方法模式）。

你最初的方案其实已经是最直接且可靠的选择，所谓"更优雅"更多是在代码可读性、约束强度或性能上的优化，而非本质上的新机制。

内容的提问来源于Stack Exchange，提问作者Andrea Buzzelli