答案：C++中模板与多态结合可通过策略模式、CRTP、模板成员函数和多态选择实现灵活高效设计。1. 模板与虚函数结合可在运行时通过基类指针调用不同模板实例的虚函数，实现动态分发；2. CRTP利用模板参数在编译期静态调用派生类方法，避免虚函数开销，提升性能；3. 虚基类中定义模板成员函数可让子类复用泛型逻辑，增强灵活性；4. 通过模板参数选择静态或动态多态，兼顾效率与扩展性。合理结合静态与动态多态能提高代码复用性、类型安全与运行效率，是高质量C++设计的关键。
在C++中，模板和多态是两种强大的机制，分别代表了编译时多态（静态多态）和运行时多态（动态多态）。将它们结合使用，可以实现灵活、高效且可复用的代码。下面介绍几种常见的结合方式和实用场景。
1. 模板与虚函数结合：策略模式中的应用
通过模板参数传入具体类型，并在基类中使用虚函数实现运行时多态，可以构建灵活的策略模式。
例如，定义一个通用的算法基类，使用虚函数定义接口，再通过模板派生类实现不同策略：
class Strategy {
public:
virtual ~Strategy() = default;
virtual void execute() const = 0;
};
template<typename T>
class ConcreteStrategy : public Strategy {
public:
void execute() const override {
// 利用T类型定制行为
T{}.action();
}
};
struct ActionA {
void action() const { std::cout << "Action A\n"; }
};
struct ActionB {
void action() const { std::cout << "Action B\n"; }
};
这样可以在运行时通过指针或引用调用
execute()，实际执行由模板类型决定的行为，同时保留虚函数的动态分发能力。
立即学习“C++免费学习笔记（深入）”；
2. CRTP（奇异递归模板模式）实现静态多态
CRTP是一种典型的模板与多态结合的技术，用于在编译时实现多态行为，避免虚函数开销。
基本结构如下：
template<typename Derived>
class Base {
public:
void interface() {
static_cast<Derived*>(this)->implementation();
}
};
class Derived1 : public Base<Derived1> {
public:
void implementation() {
std::cout << "Derived1 implementation\n";
}
};
class Derived2 : public Base<Derived2> {
public:
void implementation() {
std::cout << "Derived2 implementation\n";
}
};
这种方式在编译期就能确定调用目标，性能更高，常用于库设计中，如Eigen、Boost等。
3. 模板成员函数与虚函数共存
在一个具有继承关系的类体系中，可以在虚函数的基础上使用模板成员函数来增强灵活性。
例如：
class Processor {
public:
virtual ~Processor() = default;
virtual void process() = 0;
// 模板方法，供子类复用
template<typename T>
void log(const T& value) {
std::cout << "Log: " << value << "\n";
}
};
class FileProcessor : public Processor {
public:
void process() override {
log("Processing file...");
// 具体实现
}
};
</font>
这样，子类在重写虚函数的同时，可以利用模板函数处理不同类型的数据，提升代码复用性。
4. 使用模板选择多态实现方式
可以通过模板参数控制使用静态多态还是动态多态，实现配置化的多态行为。
示例：
template<typename Policy>
class Application {
public:
void run() {
policy_.execute(); // 静态多态：编译期绑定
}
private:
Policy policy_;
};
// 动态多态版本
class DynamicApp {
std::unique_ptr<Strategy> strategy_;
public:
DynamicApp(std::unique_ptr<Strategy> s) : strategy_(std::move(s)) {}
void run() {
strategy_->execute(); // 运行时多态
}
};
这种设计允许用户在使用时选择性能优先（模板静态绑定）还是灵活性优先（运行时多态）。
基本上就这些常见用法。模板与多态结合的关键在于理解静态与动态分发的取舍，在保证类型安全的同时提升代码的通用性和效率。合理使用能显著提升设计质量。不复杂但容易忽略细节。
