C++模板

类型模板参数与非类型模版参数

模板参数分类类型形参与非类型形参。 类型形参即：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。
非类型形参：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。
注意：

1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的。
2. 非类型的模板参数必须在编译期就能确认结果。

#define _CRT_SECURE_NO_WARNINGS 1
#define N 10
#include <iostream>
using namespace std;

template<class T>
class SeqList
{
private:
	T _a[N];
};

int main()
{
	SeqList<int> sl1;
	SeqList<int> sl2;
	return 0;
}

上面代码中，可以看到有一个模版中有一个类型参数T用于处理实例化不同内置类型场景，但是这里还有一个问题，如果我想sl1是10个元素而sl2是100个元素呢？我们可以在模版参数中加入一个常量作为模版的第一个参数，在类中可将该参数当成常量来使用。

#define _CRT_SECURE_NO_WARNINGS 1
#include <iostream>
using namespace std;

template<class T,size_t n >
class SeqList
{
private:
	T _a[n];
};

int main()
{
	SeqList<int,10> sl1;
	SeqList<int,100> sl2;
	return 0;
}

还有一个问题为什么这里的非类型模版参数只能是常量？
因为，非类型的模板参数必须在编译期就能确认结果，不然编译器无法确认这个n是什么

模板特化

针对某些类型做特殊化处理

// 特化 -- 全特化
template<>
class Data<int, double>
{
public:
    Data() { cout << "Data<int, double>" << endl; }
};

// 偏特化
template<class T1>
class Data<T1, double>
{
public:
    Data() { cout << "Data<T1, double>" << endl; }
};

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

解释：
第一段代码是全特化，实例化的时候，如果传入的模版参数是 int double就使用第一个类，
第二段代码是偏特化，实例化的时候，如果第二个模版参数是double就是使用第二个类，
第三段代码也是偏特化，实例化的时候，如果传入的时候模版参数的指针类型就使用第三个类。

int main()
{
    //Data<int, int> d1;
    Data<int, double> d2;
    Data<int, double> d3;
	return 0;
}

根据上面代码，请问这段代码输出什么？

得出结论：在同时符合偏特化和全特化的时候,优先全特化。

函数模版特化

函数模板的特化步骤：

1. 必须要先有一个基础的函数模板
2. 关键字template后面接一对空的尖括号<>
3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型
4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误

函数可以直接用函数重载，不用函数模板特化

模版的分离编译

例子：
class.cpp

#include <iostream>
using namespace std;

template<class T>
T add(const T& left, const T& right)
{
	cout << left + right << endl;
	return left + right;
}

head.h

template<class T>
T add(const T& left, const T& right);

main.cpp

#include <iostream>
using namespace std;
#include "head.h"
int main()
{
    add(1, 2);
	return 0;
}

运行结果：发生链接错误
为什么呢？
(class.cpp因为Add没有实例化，没有Add的地址)
最好的解决方法：声明和定义写在同一个文件。