模板与继承结合是C++中实现泛型代码复用和扩展的重要方式，通过基类模板定义通用逻辑，派生类可以继承基类模板的属性和方法，同时根据自身需求扩展功能，这种组合方式在框架开发、通用组件设计中应用十分广泛。
模板与继承结合的核心逻辑
模板与继承结合的核心是先定义基类模板，基类模板中可以包含泛型成员、泛型方法，派生类可以选择继承基类模板的实例化版本，或者自身也作为模板类继承基类模板。这种组合既保留了模板的泛型特性，又利用了继承的代码复用优势。
需要注意，基类如果是模板类，派生类继承时需要明确基类的模板参数，或者派生类自己也声明为模板类，将模板参数传递给基类。如果基类模板参数未确定，编译器无法为派生类分配内存，也无法解析基类的成员。
模板派生类的开发步骤
1. 定义基类模板
首先设计基类模板，明确需要泛型的成员和方法，同时定义好成员的访问权限，通常通用方法设为public，内部使用的泛型成员设为protected，方便派生类访问。
// 定义基类模板，模板参数为T，代表通用数据类型
template <typename T>
class BaseTemplate {
protected:
T data; // 受保护的泛型成员，派生类可以直接访问
public:
// 基类构造函数
BaseTemplate(T initData) : data(initData) {}
// 通用方法：获取数据
T getData() const {
return data;
}
// 通用方法：打印数据，派生类可以重写
virtual void printData() const {
std::cout << "Base data: " << data << std::endl;
}
// 虚析构函数，保证派生类析构正常调用
virtual ~BaseTemplate() {}
};
2. 开发模板派生类
派生类可以选择两种继承方式：一是继承基类模板的具体实例化版本，二是自身作为模板类，继承基类模板并传递自身的模板参数。第二种方式保留了泛型特性，适用性更强。
// 派生类自身也是模板类，模板参数为T，传递给基类BaseTemplate
template <typename T>
class DerivedTemplate : public BaseTemplate<T> {
private:
T extraData; // 派生类自己的泛型成员
public:
// 派生类构造函数，调用基类构造函数初始化基类成员
DerivedTemplate(T baseData, T extra) : BaseTemplate<T>(baseData), extraData(extra) {}
// 重写基类的printData方法
void printData() const override {
// 访问基类的protected成员data，需要通过this指针或者基类作用域
std::cout << "Derived base data: " << this->data << ", extra data: " << extraData << std::endl;
}
// 派生类扩展的方法
T getExtraData() const {
return extraData;
}
};
3. 模板派生类的使用
使用模板派生类时，需要指定具体的模板参数类型，编译器会自动实例化对应的基类部分和派生类部分。
#include <iostream>
// 包含前面定义的BaseTemplate和DerivedTemplate
int main() {
// 实例化派生类，模板参数为int类型
DerivedTemplate<int> obj1(10, 20);
obj1.printData(); // 调用派生类重写的printData
std::cout << "Extra data: " << obj1.getExtraData() << std::endl;
// 实例化派生类，模板参数为std::string类型
DerivedTemplate<std::string> obj2("hello", "world");
obj2.printData();
std::cout << "Extra data: " << obj2.getExtraData() << std::endl;
// 基类指针指向派生类对象，体现多态特性
BaseTemplate<int>* basePtr = &obj1;
basePtr->printData();
return 0;
}
开发注意事项
- 派生类访问基类的模板成员时，如果成员是依赖模板参数的，需要使用
this->或者BaseTemplate<T>::作用域来引导编译器解析，避免编译报错。 - 基类模板如果包含虚函数，派生类重写时需要保证函数签名完全一致，包括返回类型和参数列表，否则会隐藏基类方法而不是重写。
- 如果派生类不需要泛型特性，可以直接继承基类模板的具体实例化版本，例如
class DerivedInt : public BaseTemplate<int>，这种方式不需要派生类声明为模板类。 - 基类模板的析构函数建议声明为虚函数，当通过基类指针释放派生类对象时，可以保证派生类的析构函数被正确调用，避免内存泄漏。
常见应用场景
模板派生类常用于开发通用容器组件、日志框架、数据访问层等场景。例如通用数据访问层可以定义基类模板实现通用的增删改查逻辑，派生类继承基类模板并指定具体的数据模型类型，只需要扩展模型特有的操作即可，大幅减少重复代码。