C++模板继承中虚方法重写失效问题咨询

第二个场景下派生类的f方法没有满足C++虚函数重写的签名匹配规则，没有真正覆盖基类的虚函数。编译器实例化派生类时必须实例化基类的f方法填充虚表，而基类f本身存在类型不匹配的逻辑，直接触发编译错误。

第一个示例正常运行的原因 #

第一个版本的代码完全符合虚函数重写的要求：

• 派生类Derived<T>以public方式继承Base<T, std::less<T>>，基类虚函数的明确签名是virtual bool f(T t1, T t2)
• 派生类实现的f方法参数类型同样为T，函数名、参数列表、cv限定符、返回值都和基类虚函数完全一致，合法构成重写
• 基类自身的f逻辑没有类型问题：std::less<T>本来就支持接收两个T类型参数做比较，哪怕单独实例化基类对象调用f，也不会出现编译错误。

第二个示例重写失效的具体逻辑 #

修改后的代码有两层问题叠加，最终导致编译失败：

1. 虚函数重写不成立
   修改后派生类继承的基类是Base<std::pair<T,T>, std::less<T>>，展开后基类虚函数f的签名是virtual bool f(std::pair<T,T> t1, std::pair<T,T> t2)。C++对虚函数重写有严格的签名匹配要求：函数名、参数类型/个数/顺序、cv限定符必须完全一致，仅返回值支持协变（指针/引用类型的派生类转换）。只要派生类写的f有一点不匹配（比如直接复用了第一个版本的T类型参数、多加了引用/const修饰、参数类型写错），就不会构成重写，只是在派生类里定义了一个同名的独立方法，基类的f仍然是虚表中需要填充的有效条目。
2. 基类f本身存在非法逻辑，实例化就会报错
   你给基类传入的比较仿函数是std::less<T>，仅支持比较两个T类型的值，但基类f的原生实现是直接调用obj(t1, t2)，相当于把两个std::pair<T,T>类型的参数传给只接收T的仿函数，这本身就是类型不匹配的非法操作。
   类模板的虚函数有特殊的实例化规则：普通成员函数是调用时才实例化，但虚函数如果没有被派生类重写，只要派生类被实例化，编译器就必须实例化基类的虚函数，用来填充虚函数表的对应槽位。这时候基类f里的非法类型操作就会被编译器检测到，直接抛出你看到的报错。

修复方案 #

• 写派生类重写方法时严格对齐基类虚函数的签名，参数必须是std::pair<T,T>类型，建议加上override关键字，编译器会在编译期帮你检查重写是否合法，避免出现“写了重写实际没覆盖”的隐性问题。
• 正确重写后，基类的f不会被实例化，就不会触发基类内部的类型错误。参考正确实现：

template <typename T, typename F = std::less<T>>
class Base {
protected:
    F obj;
public:
    virtual bool f(T t1, T t2) {
        return obj(t1, t2);
    }
};

template <typename T>
struct Derived : public Base<std::pair<T,T>, std::less<T>> {
    using pair_t = std::pair<T,T>;
    // 加override关键字，签名不匹配时编译器直接报错
    bool f(pair_t t1, pair_t t2) override {
        return this->obj(t1.first, t2.first);
    }
};

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