C++中的CRTP(Curiously Recurring Template Pattern,好奇递归模板模式)是一种模板编程技巧,它允许派生类通过基类的模板接口实现多态性。CRTP基类通过模板参数接收一个派生类的类型,从而可以在编译时调用派生类的成员函数。以下是一个简单的示例,展示了如何使用CRTP实现多态性:
#include <iostream>
// 基类模板
template <typename Derived>
class Base {
public:
void baseMethod() {
static_cast<Derived*>(this)->derivedMethod();
}
};
// 派生类1
class Derived1 : public Base<Derived1> {
public:
void derivedMethod() {
std::cout << "Derived1 method called" << std::endl;
}
};
// 派生类2
class Derived2 : public Base<Derived2> {
public:
void derivedMethod() {
std::cout << "Derived2 method called" << std::endl;
}
};
int main() {
Derived1 d1;
Derived2 d2;
Base<Derived1>& b1 = d1;
Base<Derived2>& b2 = d2;
b1.baseMethod(); // 输出 "Derived1 method called"
b2.baseMethod(); // 输出 "Derived2 method called"
return 0;
}
在这个示例中,我们定义了一个基类模板Base
,它接受一个派生类的类型作为模板参数。然后,我们在Base
类中定义了一个成员函数baseMethod
,它通过static_cast
将this
指针转换为派生类的类型,并调用其derivedMethod
成员函数。这样,当我们使用基类引用调用baseMethod
时,会根据实际对象的类型动态地调用相应的派生类成员函数,从而实现多态性。