奇异递归模板设计模式-CRTP
首先写一个最简单的奇异递归
第一个例子
//奇异递归需要用到c++的模板特性
#include<iostream>
using namespace std;//基类
template <typename Type>
class Animal
{
public:static int Counter;Animal(){++Counter;}~Animal(){--Counter;}
};
//因为是static所以需要在类外进行初始化
template <typename Type>int Animal<Type>::Counter = 0;//派生类class Dog :public Animal<Dog>//模板参给dog
{
public://构造,析构给个默认Dog() = default;~Dog() = default;
};
class Cat :public Animal<Cat>//模板参给dog
{
public://构造,析构给个默认Cat() = default;~Cat() = default;
};int main()
{Dog d1, d2, d3;cout << Dog::Counter<<endl;Cat c1;cout << Cat::Counter << endl;return 0;
}//这样就形成了一个奇异递归
//static int 本来是所有类共享，却打印出了不同值，违背了这个共享原则//这是因为它是模板，它的模板参数不同（一个是cat,一个是dog），所以这是两个不同的类，
//所以个这个两个不是同一个Counter第二个例子
//奇异递归需要用到c++的模板特性
#include<iostream>
using namespace std;
//第二个示例，用模板的方法实现一个多态
//基类
template <typename Type>
class Animal
{
public:void speak(){ //强转一下，将this转为Type*,调用他的speakstatic_cast<Type*> (this)->speak();}};//派生类class Dog :public Animal<Dog>//模板参给dog
{
public://构造,析构给个默认Dog() = default;~Dog() = default;void speak(){ cout << "汪汪"<<endl;}
};
class Cat :public Animal<Cat>//模板参给dog
{
public://构造,析构给个默认Cat() = default;~Cat() = default;void speak(){cout << "喵喵" << endl;}
};//模板调用函数
template <typename Type>
void test(Animal<Type>& t)
{t.speak();
}int main()
{Dog d1;//实例化一个dog,调用test方法test(d1);Cat c1;test(c1);return 0;
}//这样就形成了一个奇异递归
//static int 本来是所有类共享，却打印出了不同值，违背了这个共享原则//这是因为它是模板，它的模板参数不同（一个是cat,一个是dog），所以这是两个不同的类，
//所以个这个两个不是同一个Counter这个等价下面不使用模板来实现多态
//奇异递归需要用到c++的模板特性
#include<iostream>
using namespace std;
//第二个示例，用模板的方法实现一个多态
//基类class Animal
{
public:virtual void speak() = 0;//给个纯虚函数，让子类去重写它};//派生类class Dog :public Animal
{
public://构造,析构给个默认Dog() = default;~Dog() = default;void speak(){ cout << "汪汪"<<endl;}
};
class Cat :public Animal
{
public://构造,析构给个默认Cat() = default;~Cat() = default;void speak(){cout << "喵喵" << endl;}
};模板调用函数
//template <typename Type>
//void test(Animal<Type>& t)
//{
// t.speak();
//}//等价于用多态来实现
void test(Animal&