#include <iostream>
template <class Derived>
class Base
{
public:
void method1()
{
static_cast<Derived*>(this)->method1();
}
void method2()
{
static_cast<Derived*>(this)->method2();
}
};
class Derived1: public Base<Derived1>
{
public:
void method1()
{
std::cout << "Method 1 of Derived1 executed.\n";
}
};
int main(int argc, char *argv[])
{
Derived1 d1;
d1.method1();
d1.method2();
return 0;
}
跟进问题:如何使这种类型安全?也就是说,如果有人忘记实现 method2,我希望编译器能够捕捉到它。我不希望它在运行时爆炸。
最佳答案
我认为这是有效的原因是如果你实例化这段代码:
void method2()
{
static_cast<Derived*>(this)->method2();
}
其中 Derived
没有 method2()
的实现,本质上是一个美化的自递归调用。这里的原因是,在Derived1
中,确实有一个名为method2
的成员函数,即继承自基类的成员函数。
我尝试运行这段代码,果然对 method2
的调用导致自递归堆栈溢出。
通常,CRTP 通过不让基类函数调用同名的派生类函数来避免这种情况。这样,如果派生类缺少特定函数,调用会触发编译器错误。在您的情况下,这不会发生,因为可以从基类间接引用函数本身。
关于c++ - 这是静态多态性的 CRTP 用法,但没有实现派生函数。在 gcc 和 visual studio 中编译。为什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4721047/