奇异递归模板设计模式-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*,调用他的speak
		static_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&