模板类与虚函数结合可实现泛型多态，通过模板定义抽象基类，派生类重写虚函数，利用指针或引用实现运行时多态，适用于策略模式等场景。
在C++中，模板类与虚函数的结合使用是一个高级话题，涉及泛型编程和运行时多态的交互。虽然模板是编译时机制，而虚函数依赖运行时动态绑定，但两者可以协同工作，尤其在设计灵活且可复用的接口时非常有用。
模板类中的虚函数
可以在模板类中定义虚函数，包括纯虚函数，从而创建一个泛型的抽象基类。
例如，定义一个模板化的抽象基类：
templateclass Base { public: virtual ~Base() = default; virtual void process(const T& value) = 0; virtual T getDefaultValue() { return T{}; }};
立即学习“C++免费学习笔记（深入）”；
这个基类对类型 T 是通用的，并声明了一个纯虚函数 process 和一个带默认实现的虚函数 getDefaultValue。派生类必须实现 process，同时可以选择重写 getDefaultValue。
从模板类继承并实现虚函数
派生类需要具体化模板参数，并实现虚函数以支持多态。
templateclass Derived : public Base { public: void process(const T& value) override { std::cout << "Processing value: " << value << std::endl; } T getDefaultValue() override { return T{42}; // 假设 T 支持该构造 }};
立即学习“C++免费学习笔记（深入）”；
注意：即使派生类也是模板类，它依然能正确重写基类的虚函数。关键在于函数签名匹配，包括参数类型和 const 修饰符。
实例化与多态使用
由于基类是模板类，不能直接声明其对象，但可以通过指针或引用实现运行时多态。
int main() {
Base* ptr = new Derived();
ptr-youjiankuohaophpcnprocess(10); // 调用 Derivedzuojiankuohaophpcnintyoujiankuohaophpcn::process
std::cout zuojiankuohaophpcnzuojiankuohaophpcn ptr-youjiankuohaophpcngetDefaultValue() zuojiankuohaophpcnzuojiankuohaophpcn std::endl; // 输出 42
delete ptr;
return 0;
}
这里体现了两个核心机制：
-
模板实例化：编译器为 Base
和 Derived 生成具体类。 - 虚函数调度：通过基类指针调用函数时，实际执行的是派生类的重写版本。
注意事项与限制
尽管模板类和虚函数可以共存，但需注意以下几点：
- 虚函数无法是函数模板成员（即不能有 virtual template
void foo(U) ）。 - 每个模板实例化产生独立的类，因此 Base
和 Base 没有继承关系，不能互换指针。 - 若希望非模板基类用于多态容器，可将公共接口提取到非模板虚基类中，再由模板类多重继承。
基本上就这些。模板提供编译时灵活性，虚函数提供运行时多态，二者结合适用于需要泛型接口并支持动态行为扩展的场景，比如插件架构、策略模式的泛型实现等。只要理解它们的作用时机不同，合理设计层次结构即可有效使用。
