【C++】模板进阶

一、非类型模板参数

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

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

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

下面size_t N中的N为非类型形参，class T中的T为类型参数。

template<class T, size_t N>
class Stack
{
public:
	//void func()
	//{
	//	N++;//N是常量不能修改，但是在编译的时候不会出现错误
	//}
private:
	int _a[N];
	int _top;
};

 C++20之前，只允许整形做非类型模板参数
 C++20，可以支持double(x64)等内置类型 

//C++20
template<double X,int* ptr>
class A
{};

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

 这里介绍一个非常鸡肋的头文件

#include<array>

先说这个好处，这个头文件的好处。

看下面图片，如果我们使用静态数组难免会出现越界访问，且编译器也默认没有错误。 

如果使用array则会暴力检查出错误 

 array中使用了非类型模板参数

为什么说array有些鸡肋呢？ 

因为vector可以完全替代array

下面的代码注意： 

template<class T>
void PrintVector(const vector<T>& v)
{
	// 没有实例化的类模板没实例化时，不能去里面查细节东西。
	typename vector<T>::const_iterator it = v.begin();
	while (it != v.end())
	{
		cout << *it << " ";
		it++;
	}
	cout << endl;
}
int main()
{
	vector<int> v1 = { 1, 2, 3 };
	PrintVector(v1);
	return 0;
}

这里需要添加typename来明确是类型，因为vector<T>没有实例化，不敢去查const_iterator所以编译器会发生报错

 二、模板的特化

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理。这就是模板的特化。

2.1函数模板特化 

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

template<class T>
bool Less(const T& left, const T& right)
{
	return left < right;
}

int main()
{
	cout << Less(1, 2) << endl; 
	Date d1(2022, 6, 7);
	Date d2(2022, 7, 8);
	cout << Less(d1, d2) << endl; 
	Date* p1 = &d1;
	Date* p2 = &d2;
	cout << Less(p1, p2) << endl; //这里会发生错误，因为是地址的比较而不是对象的比较
	return 0;
}

所以在函数模板下面进行特化

template<>
bool Less<Date*>( const Date* & left, const Date* & right)
{
	return *left < *right;
}

我们会发现上面的代码出现了语法不匹配，为什么？

首先，我们先看模板，模板的形参是const T& left，const修饰的是letf，而特化中const修饰的是* left出现了语法不匹配。所以我们要这样修改

template<>
bool Less<Date*>(Date* const & left, Date* const & right)
{
	return *left < *right;
}

 注意：一般函数特化会直接简化形成函数，给这个类型专门匹配一个函数。

2.2类模板特化

 类模板特化在实践当中是非常有用的

2.2.1全特化

//类模板
template<class T1, class T2>
class Data
{
public:
	//实现1功能
	Data() { cout << "Data<T1, T2>" << endl; }
};
//特化
template<>
class Data<int, char>
{
public:
	//实现2功能
	Data() { cout << "Data<int, char>" << endl; }
};
int main()
{
	Data<int, int> d1;
	Data<int, char> d2;
	return 0;
}

2.2.2偏特化与半特化

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

};

// 两个参数偏特化为指针类型
template <class T1, class T2>
class Data <T1*, T2*>
{
public:
	Data() { 
		cout << "Data<T1*, T2*>->偏特化" << endl;
		cout << sizeof(T1) << endl;
		cout << sizeof(T2) << endl;
		cout << typeid(T1).name() << endl;
		cout << typeid(T2).name() << endl;
	}
};
// 限定引用
template <typename T1, typename T2>
class Data <T1&, T2&>
{
public:
	Data()	{	cout << "Data<T1&, T2&>" << endl;	}
};

我们不难发现在两个偏特化转化为指针类型，对象d4传的参数为double*，int*。偏特化T1为double,T2为int

三、模板分离编译 

首先我们要知道C/C++程序要运行，要经历预处理 ---> 编译 ----> 汇编 ----> 链接

编译：对程序按照语言特性进行词法、语法、语法分析，错误检查无误后生成汇编代码。

注意：头文件不参与编译，但其他.cpp包含的文件中展开。编译器对工程中的多个源文件是分离开单独编译的。

链接：将多个obj文件合并成一个，并处理没有解决的地址问题。

下图，我们不难发现，普通函数在.h文件进行函数声明且.cpp进行定义时不会在链接时找不到地址 

若是模板进行分离

 Func.cpp中的Add不会编译，生成指令，因为模板没有被实例化。当然也就，没有Add的地址放进符号表，所以链接也就找不到

main.cpp中调用的地方，知道模板实例化成什么，但是只有声明，没有定义。

那么如何进行模板分离？

在Func.cpp中我们进行了模板声明，我们不难发现，我们在声明的代码中把T替换成int与double，使其进行了实例化，但是当main函数中添加Add('x','y');我们又要在Func.cpp进行字符类型的实例化这样十分麻烦。

所以一般把模板定义在.h文件中，如果是模板类，就一般定义在.h中类的外面