<五>模板的完全特例化和非完全特例化

模板作为C++泛型编程的基础十分重要，其使得一份代码能用于处理多种数据类型。而有些时候，我们会希望对一些特定的数据类型执行不同的代码，这时就需要使用模板特例化(template specialization)。

函数模板特例化

首先说一个重要的，函数模板的特例化并不是函数重载，每一个特例化实际上是提供了另一个模板定义式，因此特例化不影响函数匹配。

特例化一个函数模板时，必须为模板中的每个参数都给出实参，关键字template后跟一个<>

类模板特例化

类模板中，提供所有实参时叫做全特化，类模板的全特化和函数模板的特例化上没有什么不同（除了一个是类模板一个是函数模板:D）

与函数模板必须为每个模板参数提供实参不同，类模板支持部分特例化，也叫偏特化(partial specialization)

当定义类模板的偏特化版本时，模板参数只需包含原模板中那些还未确定类型的模板参数，在类名之后需要添加<>，且需要按对应位置填入实参。

template<typename T, typename P>
class test {
public:
	test() { cout << "这是未特化的类模板\n"; }
};

template<typename P>//T被特化为bool类型，template<>中无需typename T
class test<bool,P> {
public:
	test() { cout << "这是bool偏特化的类模板\n"; }
};

template<>//全特化，template<>可以为空
class test<int*, int*> {
public:
	test(){ cout << "这是接受两个指针类型的全特化的类模板\n"; }
};

{
	test<int*, int> t1;//会调用未特化的类模板
	test<bool,int> t2;//会调用bool偏特化
	test<int*, int*> t3;//全特化版本
}

#include <iostream>

using namespace std;

template<typename T>
class MyVector {

public:
	MyVector<T>() { cout << "MyVector<T>()" << endl; }

};

//针对 char * 模板特例化
template<>
class MyVector<char *> {

public:
	MyVector() { cout << "MyVector<char *>" << endl; }

};

//模板特例化,只针对指针类型提供的部分特例化,只知道指针,但是什么指针不知道
template<typename Ty>
class MyVector<Ty*> {

public:
	MyVector() { cout << "MyVector<Ty *>" << endl; }

};

//template<>
//class MyVector<int(*)(int, int)> {
//public:
//	MyVector() { cout << "int (*)(int,int )" << endl; }
//
//};

//template<typename T>
//class MyVector<T(*)(T, T)> {
//public:
//	MyVector() { cout << "MyVector<T(*)(T, T)>" << endl; }
//
//};
//
//template<typename R1, typename R2, typename R3>
//class MyVector<R1(*)(R2, R3)> {
//	public:
//		MyVector() { cout << "MyVector<R1(*)(R2, R3)>" << endl; }
//
//};

//template<typename R1, typename R2, typename R3>
//class MyVector<R1(R2, R3)> {
//	public:
//		MyVector() { cout << "MyVector<R1(R2, R3)>" << endl; }
//
//};

int sum(int x, int y) {
	return x + y;
}

int main() {

	MyVector<int> v1; //缺省模板

	MyVector<char *> v2;// char * 特例化模板

	MyVector<int *> v3;// 使用部分特例化 class MyVector<Ty*>

	MyVector<int (*)(int,int)> v4; // 使用部分特例化 class MyVector<Ty*> ,int (*)(int,int) 指向函数的指针

    // 如何针对 MyVector<int (*)(int,int)> v4;写一个完全特例化版本? 写法如下
	/*
		template<>
		class MyVector<int(*)(int, int)> {
		public:
			MyVector() { cout << "int (*)(int,int )" << endl; }

		};
	*/

	// 如何针对 MyVector<int (*)(int,int)> v4;写一个部分特例化版本? 写法如下 两种

	/*  写法1
	    MyVector 元素是函数指针,返回类型是R1,两个参数类型分别是R2,R3  提供部分特例化
		template<typename T>
		class MyVector<T(*)(T, T)> {
		public:
			MyVector() { cout << "MyVector<T(*)(T, T)>" << endl; }

		};
	*/

	/*
		写法2
		MyVector 元素是函数指针,返回类型是R1,两个参数类型分别是R2,R3 提供部分特例化
		template<typename R1, typename R2, typename R3>
		class MyVector< R1(*)(R2, R3) >
		{
		public:
			MyVector() { cout << "MyVector<R1(*)(R2, R3)>" << endl; }

		};
	*/

	MyVector<int(int, int)> v5; //元素是函数对象类型,使用默认的函数版本,也可以使用如下方式

	/*
	template<typename R1, typename R2, typename R3>
	class MyVector<R1(R2, R3)>//针对函数类型,进行部分特例化,有一个返回值,有两个形参
	{
	public:
		MyVector() { cout << "MyVector<R1(R2, R3)>" << endl; }

	};
	*/

	//函数指针类型
	typedef int (*PFUNCTION) (int, int);
	PFUNCTION pf1 = sum;
	pf1(12, 13);

	//函数类型
	typedef int PFUNCTION2 (int, int);
	PFUNCTION2 * pf2 = &sum;
	(*pf2)(12, 13);

	system("pause");
	//有完全特例化能匹配就用完全特例化版本,有部分特例化版本就用部分特例化,再没有就用缺省模板
	return 0;
}

//问题:这种写法可以,但是  typename T 这种方式  范围太大了!!优化如下
template<typename T>
void function(T _t) {
	cout << typeid(T).name() << endl;
}

template<typename R, typename R1, typename R2>
//细分到可以取出返回值类型R1,形参1类型R2,形参2类型R3  还可以继续细分 如下
void function(R1(*)(R2,R3)) {

	cout << typeid(R1).name() << endl;
	cout << typeid(R2).name() << endl;
	cout << typeid(R3).name() << endl;

}

//效果,继续细分到可以取出返回值类型R1,哪个类类型T,形参1类型R1,形参2类型R2  Good
template<typename R, typename T, typename R1, typename R2>

void function3(R1(T::*)(R2, R3)) {

	cout << typeid(T).name() << endl;
	cout << typeid(R1).name() << endl;
	cout << typeid(R2).name() << endl;
	cout << typeid(R3).name() << endl;

}

class Test {

public:
	int sum(int x, int y) { return x + y; }

};

int main() {

	function3(&Test::sum);
}