C++模板类继承与虚函数怎么用

模板类与虚函数结合可实现泛型多态，通过模板定义抽象基类，派生类重写虚函数，利用指针或引用实现运行时多态，适用于策略模式等场景。

在C++中，模板类与虚函数的结合使用是一个高级话题，涉及泛型编程和运行时多态的交互。虽然模板是编译时机制，而虚函数依赖运行时动态绑定，但两者可以协同工作，尤其在设计灵活且可复用的接口时非常有用。

模板类中的虚函数

可以在模板类中定义虚函数，包括纯虚函数，从而创建一个泛型的抽象基类。

例如，定义一个模板化的抽象基类：

template <typename T>
class Base {
public:
    virtual ~Base() = default;
virtual void process(const T&amp; value) = 0;

virtual T getDefaultValue() {
    return T{};
}
};

这个基类对类型 T 是通用的，并声明了一个纯虚函数 process 和一个带默认实现的虚函数 getDefaultValue。派生类必须实现 process，同时可以选择重写 getDefaultValue。

从模板类继承并实现虚函数

派生类需要具体化模板参数，并实现虚函数以支持多态。

template <typename T>
class Derived : public Base<T> {
public:
    void process(const T& value) override {
        std::cout << "Processing value: " << value << std::endl;
    }
T getDefaultValue() override {
    return T{42}; // 假设 T 支持该构造
}
};

注意：即使派生类也是模板类，它依然能正确重写基类的虚函数。关键在于函数签名匹配，包括参数类型和 const 修饰符。

实例化与多态使用

由于基类是模板类，不能直接声明其对象，但可以通过指针或引用实现运行时多态。

int main() {
    Base<int>* ptr = new Derived<int>();
ptr-&gt;process(10);           // 调用 Derived&lt;int&gt;::process
std::cout &lt;&lt; ptr-&gt;getDefaultValue() &lt;&lt; std::endl; // 输出 42

delete ptr;
return 0;
}

这里体现了两个核心机制：

• 模板实例化：编译器为 Base<int> 和 Derived<int> 生成具体类。
• 虚函数调度：通过基类指针调用函数时，实际执行的是派生类的重写版本。

注意事项与限制

尽管模板类和虚函数可以共存，但需注意以下几点：

• 虚函数无法是函数模板成员（即不能有 virtual template<typename U> void foo(U)）。
• 每个模板实例化产生独立的类，因此 Base<int> 和 Base<double> 没有继承关系，不能互换指针。
• 若希望非模板基类用于多态容器，可将公共接口提取到非模板虚基类中，再由模板类多重继承。

基本上就这些。模板提供编译时灵活性，虚函数提供运行时多态，二者结合适用于需要泛型接口并支持动态行为扩展的场景，比如插件架构、策略模式的泛型实现等。只要理解它们的作用时机不同，合理设计层次结构即可有效使用。