C++模板继承允许开发者基于已有的模板类创建新的派生模板类，既能够复用基类的通用逻辑，又可以根据需求扩展新的功能，是C++泛型编程中非常实用的开发方式。通过模板继承，我们可以减少重复代码，同时保证类型的灵活性。
模板继承的基本语法
派生模板类的定义需要同时声明自身的模板参数和基类的模板参数，语法上和普通类继承类似，只是需要额外处理模板参数部分。首先我们看一个基础的基类模板定义：
// 基类模板，包含一个类型参数T
template <typename T>
class BaseTemplate {
protected:
T data; // 受保护成员，派生类可以访问
public:
BaseTemplate(T initVal) : data(initVal) {}
// 基类通用方法
T getBaseData() const {
return data;
}
// 基类虚方法，允许派生类重写
virtual void printData() const {
std::cout << "Base data: " << data << std::endl;
}
};
接下来定义派生模板类，需要指定自身的模板参数，同时显式指定基类的模板实例化类型，或者通过派生类的模板参数传递给基类：
// 派生模板类，自身模板参数为U，将U传递给基类作为T的类型
template <typename U>
class DerivedTemplate : public BaseTemplate<U> {
private:
U extraData; // 派生类新增的成员
public:
// 构造函数，需要调用基类的构造函数
DerivedTemplate(U baseVal, U extraVal)
: BaseTemplate<U>(baseVal), extraData(extraVal) {}
// 重写基类的虚方法
void printData() const override {
std::cout << "Derived base data: " << this->getBaseData()
<< ", extra data: " << extraData << std::endl;
}
// 派生类新增的方法
U getExtraData() const {
return extraData;
}
};
派生模板类访问基类成员
在派生模板类中访问基类的成员时，需要注意模板的编译规则。由于基类是模板类，编译器在解析派生类时无法确定基类的成员具体有哪些，因此访问基类成员时需要使用this->指针，或者显式使用基类作用域限定：
template <typename T>
class AnotherDerived : public BaseTemplate<T> {
public:
AnotherDerived(T val) : BaseTemplate<T>(val) {}
void showData() {
// 正确方式1：使用this指针访问基类成员
std::cout << "Data via this: " << this->data << std::endl;
// 正确方式2：显式使用基类作用域
std::cout << "Data via scope: " << BaseTemplate<T>::data << std::endl;
// 错误方式：直接访问data，编译器会报错未定义
// std::cout << data << std::endl;
}
};
模板参数传递的注意事项
派生模板类的模板参数可以独立于基类，也可以和基类的模板参数关联。如果派生类需要新增额外的模板参数，只需要在自身模板参数列表中添加即可：
// 派生类有两个模板参数，T传递给基类，U是派生类新增的类型参数
template <typename T, typename U>
class MultiParamDerived : public BaseTemplate<T> {
private:
U extraInfo; // 新增类型的成员
public:
MultiParamDerived(T baseVal, U info)
: BaseTemplate<T>(baseVal), extraInfo(info) {}
void printAll() const {
std::cout << "Base data: " << this->getBaseData()
<< ", Extra info: " << extraInfo << std::endl;
}
};
完整使用示例
下面是一个完整的测试示例，展示派生模板类的实际使用方法：
#include <iostream>
// 此处放入前面定义的BaseTemplate、DerivedTemplate等模板类定义
int main() {
// 实例化派生模板类，指定模板参数为int
DerivedTemplate<int> obj1(10, 20);
obj1.printData(); // 调用派生类重写的printData方法
std::cout << "Extra data: " << obj1.getExtraData() << std::endl;
// 实例化带两个模板参数的派生类
MultiParamDerived<std::string, double> obj2("hello", 3.14);
obj2.printAll();
// 基类指针指向派生类对象，体现多态特性
BaseTemplate<int>* basePtr = &obj1;
basePtr->printData(); // 调用派生类的重写方法
return 0;
}
常见问题总结
- 派生模板类的构造函数必须显式调用基类的构造函数，完成基类部分的初始化
- 访问基类模板的成员时，尽量使用
this->或者基类作用域限定，避免编译错误 - 如果基类有虚方法，派生类重写时需要保证函数签名完全一致，建议添加
override关键字明确重写意图 - 模板继承不会自动传递基类的模板参数，派生类需要显式指定或传递自身的模板参数给基类