c++模板进阶

你生而有翼，为何竟愿一生匍匐前进，形如虫蚁。

1.非类型模板参数

1.模板参数分类类型形参和非类型形参
2.类型形参即：出现在模板参数列表中，跟在class和typename之类的参数类型名称
3.非类型形参：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。
这里呢给大家介绍一下非类型形参，请看下面这个代码。

namespace byte {
	template<class T,size_t N>
	class stack
	{
	public:
		stack()
		{
			cout << "stack" << endl;
		}
	private:
		T _a[N];
		int top;
	};
}
int main()
{
	byte::stack<int, 100>stl;
	return 0;
}

这个呢是一个非常简易的一个静态栈，然后呢我们可以看一下这里的模板参数我设置了一个size_t N这个变量在这里大家可以注意到发生了一些变化那就是这个N可以当作常量进行使用了。
当然了这里还是有一些注意事项的
1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的。
2. 非类型的模板参数必须在编译期就能确认结果。

2.模板的特化

2.1模板特化的概念

通常情况下使用模板可以实现一些与类型无关的代码但是一些特殊的类型呢得到的答案有可能是错误的，所以这里需要进行特殊处理

2.2函数模板的特化

这里给大家举一个特殊列子比如说小于函数less那么我在传参的时候可能传递的时两个比较的参数本身也有可能时他们的指针我希望在传递指针的时候也可以就是用解引用比较它们本身的大小比如说这个代码

namespace clzyf {
	template<class T>
	bool less(T a, T b)
	{
		return a < b;
	}
}
int main()
{
	int a = 5;
	int b = 10;
	int* pa = &a;
	int* pb = &b;
	cout << clzyf::less(a, b) << endl;
	cout << clzyf::less(pa, pb) << endl;
	return 0;
}

这段代码打印的结果我给大家呈现一下

大家可以看一下上面为1下面为0这里 呢很明显时不符合我们要求的因为我们希望在比较的时候也可以按照指针解引用去比较。那么我们有哪些处理方式呢？
第一种方式

	bool less(int* pa, int* pb)
	{
		return *pa < *pb;
	}

第一种方式就是再加一个这个函数通过我上篇文章讲述的基础大家可以知道就是当有类型更匹配的函数的时候就会选择类型更匹配的函数而不会选择即使用函数模板
（如果对于这一点不太清楚的话可以看看我写的上一篇文章这是 链接：全网最全的c++模板No.1)

第二种方式就是对函数模板进行特化那么我们看一下下面这个代码

namespace clzyf {
	template<class T>
	bool less(T a, T b)
	{
		return a < b;
	}
	template<>
	bool less<int*>(int* pa, int* pb)
	{
		return *pa < *pb;
	}
}

这个代码其实就是对函数模板进行了特化那么从这里可以看出来特化要有什么步骤和条件呢？

1. 首先第一个就是需要有一个基本的函数模板也就是它不能独立的存在。
2. 就是关键字template后面跟的时尖括号<>
3. 函数名后面跟着一对尖括号并且尖括号里面要显示特化的类型是什么
4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同，编译器可能会报一些奇怪的错误。
   ***注意：一般情况下如果函数模板遇到不能处理或者处理有误的类型，为了实现简单通常都是将该函数直接给出。***原因也非常简单因为这样实现简单明了代码可读性高因此函数模板其实是不建议采取特化处理的。

2.3类模板的特化

2.3.1全特化

全特化即是将模板参数列表中所有的参数都确定化。看下面这个代码

template<class T1, class T2>
class Data
{
public:
	Data() { cout << "Data<T1, T2>" << endl; }
private:
	T1 _d1;
	T2 _d2;
};
// 假设我针对int double要进行特殊处理
// 全特化
template<>
class Data<int, double>
{
public:
	Data() { cout << "Data<int,double>" << endl; }
private:
};

上面呢就是我要对int double进行全特化

2.3.2偏特化

偏特化：任何针对模版参数进一步进行条件限制设计的特化版本。比如对于以下模板类：

template<class T1, class T2>
class Data
{
public:
	Data() { cout << "Data<T1, T2>" << endl; }
private:
	T1 _d1;
	T2 _d2;
};
// 偏特化 ： 特化部分参数
template<class T1>
class Data<T1, double>
{
public:
	Data() { cout << "Data<T1, double>" << endl; }
private:
};

2.3.2.1部分特化

将参数模板中的一部分进行特化比如

template <class T1>
class Data<T1, int>
{
public:
 Data() {cout<<"Data<T1, int>" <<endl;}
private:
 T1 _d1;
 int _d2;
}; 

2.3.2.2参数更进一步的限制

偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本。
列如一下代码

//两个参数偏特化为指针类型
template <typename T1, typename T2>
class Data <T1*, T2*>
{ 
public:
 Data() {cout<<"Data<T1*, T2*>" <<endl;}
private:
	T1 d1;
	T2 d2;
};
//两个参数偏特化为引用类型
template <typename T1, typename T2>
class Data <T1&, T2&>
{
public:
 Data(const T1& d1, const T2& d2)
 : _d1(d1)
 , _d2(d2)
 {
 cout<<"Data<T1&, T2&>" <<endl;
 }
private:
 const T1 & _d1;
 const T2 & _d2; 
};

3.模板的分离编译

3.1什么是分离编译

一个程序（项目）是由若干个源文件共同实现而每个源文件单独编译生成目标文件，最后将所有目标文件链接起来形成单一的可执行文件的过程称为分离编译模式。

3.2模板的分离编译

假如有一下场景模板的声明和定义是分离开的在头文件中进行生命在源文件中进行定义。

// a.h
template<class T>
T Add(const T& left, const T& right);
// a.cpp
template<class T>
T Add(const T& left, const T& right)
{
 return left + right;
}

// main.cpp
#include"a.h"
int main()
{
 Add(1, 2);
 Add(1.0, 2.0);
 return 0;
}

上面的代码会爆出这样的错误其实就是链接错误。
这是为什么呢这要从编译器的链接角度分析一下
分析：
c++程序要执行一般都要进行如下步骤
预处理->编译->汇编->链接
编译：对语言进行特定的语法，词义，词法，语义分析，对各种错误检查无误后即可生成汇编代码
注意头文件不参与编译，编译器对源文件是分开编译的。
链接：将多个obj文件合并在一起，并解决没有解决的地址问题。
而这里的本质其实就是在链接的时候找不到地址所引起的。
那么有什么解决办法呢？

1. 将声明和定义放到一个文件 “xxx.hpp” 里面或者xxx.h其实也是可以的。推荐使用这种。
2. 模板定义的位置显式实例化。这种方法不实用，不推荐使用

4.模板总结

【优点】
1. 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生
2. 增强了代码的灵活性

【缺陷】
4. 模板会导致代码膨胀问题，也会导致编译时间变长
5. 出现模板编译错误时，错误信息非常凌乱，不易定位错误