C++ 如何正确重写非模板父类的模板成员函数

• 当前代码触发链接错误的核心原因有两个：
  1. 基类的InnerLoop是模板成员函数，子类定义的InnerLoop(ConcreteType*)是非模板的独立函数，二者不存在覆盖关系，只是恰好重名而已。
  2. 基类的Loop函数完成编译期实例化时，名字查找只会在基类自身的作用域内搜索可用的InnerLoop实现，根本感知不到子类定义的同名函数。链接器最后找不到基类模板声明对应的实例化符号，就会抛出未定义引用的链接错误。
• 补充说明：普通成员函数模板无法直接声明为虚函数实现运行时多态——虚表需要在编译期固定存储函数地址，但模板函数是调用发生时才实例化生成符号的，二者的构建时序天然冲突，直接写virtual修饰模板成员函数会直接触发编译错误。

方案1：CRTP静态多态（零开销，最适配当前场景） #

通过奇异递归模板模式，让基类在编译期获取派生类的实际类型，直接调用派生类的自定义实现，没有运行时开销，也是这类“模板流程固定、步骤自定义”场景的标准实现方式。
改造后的代码结构：

// 基类模板，接收派生类类型作为模板参数
template <typename Derived>
class Base {
 public:
  template <typename T>
  void Loop(T* input) {
    // 编译期向下转型为派生类实例，直接调用派生类的实现
    static_cast<Derived*>(this)->InnerLoop(input);
  }

 protected:
  // 保留通用默认实现，子类未自定义对应版本时自动兜底
  template <typename T>
  void InnerLoop(T* input) {
    // 通用默认循环逻辑
  }
};

// 子类继承时将自身类型传递给基类模板
class Child : public Base<Child> {
  // 保持和原有写法一致，重载对应类型的InnerLoop即可
  void InnerLoop(ConcreteType* input) {
    // 子类自定义循环逻辑
  }
};

• 方案优势：完全没有虚函数的运行时开销，编译期完成所有调用绑定；子类可以按需重载不同类型的InnerLoop，未重载的版本会自动 fallback 到基类的通用实现，灵活性高。

方案2：可调用对象注入（保持基类非模板的原有结构） #

如果必须严格保留“基类为非模板类”的初始设计，可以通过依赖注入的方式，让子类把自己的InnerLoop实现注册到基类，通过类型擦除的可调用对象完成调用转发。
改造后的代码结构：

#include <functional>

class Base {
 public:
  template <typename T>
  void Loop(T* input) {
    // 调用子类注册的自定义实现
    inner_loop_handler_(input);
  }

 protected:
  // 给子类提供注册自定义实现的接口
  template <typename Callable>
  void BindInnerLoop(Callable handler) {
    inner_loop_handler_ = [handler](void* input) {
      handler(static_cast<ConcreteType*>(input));
    };
  }

 private:
  // 类型擦除存储自定义的循环实现
  std::function<void(void*)> inner_loop_handler_;
};

class Child : public Base {
 public:
  Child() {
    // 构造阶段把自身的InnerLoop实现注册到基类
    BindInnerLoop([this](ConcreteType* input) {
      this->InnerLoop(input);
    });
  }

 private:
  void InnerLoop(ConcreteType* input) {
    // 子类自定义循环逻辑
  }
};

• 方案特点：完全保留基类非模板的结构，和原设计兼容性强；缺点是存在std::function的类型擦除开销，且类型转换需要手动保证正确性，编译期的类型检查强度弱于CRTP方案。

• 不要尝试通过虚函数表的思路让模板成员函数实现多态，C++语法层面不允许直接将成员函数模板声明为虚函数。
• 不要默认重名的子类函数会被基类感知，基类的成员函数在编译期只会在自身的类作用域内做名字查找，子类的成员对基类是不可见的。

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