C++--10.再次了解模板

非类型模板参数

类模板的特化

模板的分离编译

非类型模板参数

模板参数分 类型形参与非类型形参 。

类型形参即：出现在模板参数列表中，跟在 class 或者 typename 之类的参数类型名称 。

非类型形参，就是用一个常量作为类 ( 函数 ) 模板的一个参数，在类 ( 函数 ) 模板中可将该参数当成常量来使用 。

我们先来看这样一段代码，这就是类型参数

#define N 1000
//类型参数
template<class T>
class Array
{
public:

private:
	_a[N];
};

int main()
{
	Array<int> a1;
	Array<int> a2;//无法做到两个容量不同
	return 0;
}

我们可以看到，如果用类型参数的化，是无法建立两个不同大小的数组容器的，这显然不是很方便

// 类型参数+非类型模板参数
template<class T, int N>
class Array
{
public:
	Array()
	{
		//N = 10;//因为N为常量，所以无法进行修改
	}

private:
	T _a[N];
};

//template<class T, double D>//无法使用double类型
//template<class T, string s>//无法使用string类型
template<class T, char ch> // long long/long/int/short/char   整形   常量//这些是可以用的类型
class B
{};

int main()
{
	Array<int, 100> a1;  
	Array<int, 1000> a2;  // 可以做到容量改变

	return 0;
}

所以我们出现了非类型模板参数，在类型参数后面加上一个非类型模板参数(常量)可以用于控制参数大小

1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的 。

2. 非类型的模板参数必须在编译期就能确认结果 。

模板的特化

函数模板特化

函数模板的特化就是针对函数模板进行特殊化处理，我们先来看看下面这段代码

template<class T>
bool IsEqual(T& left, T&right)
{
	return left == right;
}
int main()
{
	int a = 0, b = 1;
	cout << IsEqual(a, b) << endl;
	char* p1 = "hello";
	char* p2 = "world";
	cout << IsEqual(p1, p2) << endl;
}

对于这段代码来说，乍一看好像是没有问题的，但实际上，我们的比较函数在对字符串进行比较的时候是不正确的，直接相等比较的是ASSIC码的值，并不是我们的字符串比较方式，所以我们要对其进行特殊化处理

template<class T>
bool IsEqual(T& left, T&right)
{
	return left == right;
}
template <> 
bool IsEqual<char*>(char*& left, char*& right)
{
	return strcmp(left, right) == 0;

}

我们在下方加上了一个同名的比较函数模板，只不过这个模板中<>中不填东西，类型说明为char*，代表其比较的是字符串，然后在函数体中条用strcmp对字符串进行比较，这就是这个函数针对字符串类型的特殊化处理

函数模板的特化步骤：

1. 必须要先有一个基础的函数模板

2. 关键字 template 后面接一对空的尖括号 <>

3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型

4. 函数形参表 :  必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误。

类模板特化

template<class T1, class T2>
class Data
{
public:
	Data() { cout << "原模板类：Data<T1, T2>" << endl; }
private:
	T1 _d1;
	T2 _d2;
};

// 全特化   全部的参数都特化
template<>
class Data<int, char>
{
public:
	Data() { cout << "全特化：Data<int, char>" << endl; }
private:
};

// 偏特化  可以是特化部分参数/或者对参数的进一步限制
template<class T2>
class Data<int, T2>
{
public:
	Data() { cout << "偏特化：Data<int, T2>" << endl; }
private:
};

template<class T1, class T2>
class Data<T1*, T2*>
{
public:
	Data() { cout << "偏特化：Data<T1*, T2*>" << endl; }
private:
};

template<class T1, class T2>
class Data<T1&, T2&>
{
public:
	Data() { cout << "偏特化：Data<T1&, T2&>" << endl; }
private:
};

对于类模板的特化我们可以分为全特化与偏特化，全特化就是指所有的参数都特化，偏特化就是对部分参数进行特化，我们可以看到，原始的模板中对参数的类型是没有要求的，而我们对其分别进行了全特化与偏特化，就会对其不同的类型进行适配，若扫描到这里的类型为int，int，就会去适配int，int的特化模板，若第一个参数适配成功，第二个为不定参数，那么也会进行适配，不影响

模板分离编译

什么是分离编译

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

我们在之前的许多工程中，都采用了分离编译的方式，进行多文件编译，最后链接，运行

不过多于我们的模板而言，却不支持进行分离编译的

 原因是模板函数因为类型的不确定，无法进行编址，就无法进行实例化，所以无法链接，那么我们怎么去解决它呢？其中一个办法就是给模板赋类型，显式实例化，但是这种方式并不方便，因为再遇到其他不同的类型就又不行了，还有一种就是直接不进行分离编译了，在.h文件中直接完成定义

模板的总结

【优点】

1. 模板复用了代码，节省资源，更快的迭代开发， C++ 的标准模板库 (STL) 因此而产生

2. 增强了代码的灵活性

【缺陷】

1. 模板会导致代码膨胀问题，也会导致编译时间变长

2. 出现模板编译错误时，错误信息非常凌乱，不易定位错误