【C++】模板进阶（模板的特化，非类型模板参数，模板的分离编译）

🌏博客主页： 主页
🔖系列专栏： C++
❤️感谢大家点赞👍收藏⭐评论✍️
😍期待与大家一起进步！

---

---

一、模板使用时一定要加typename的情况

template<class Container>
void Print(const Container& v)
{
	// 编译不确定Container::const_iterator是类型还是对象
	//错误示范： Container::const_iterator it = v.begin();（会报错）
	 // typename就是明确告诉编译器这里是类型，等模板实例化再去找
	 typename Container::const_iterator it = v.begin(); //正确
	 vector<int>::const_iterator it = v.begin();//正确
	// vector<int>的定义实例化出一个具体的类  ,然后到类中寻找const_iterator

	  
	while (it != v.end())
	{
		cout << *it << " ";
		++it;
	}
	cout << endl;
}

在C++中，模板的实例化和使用模板去实例化一个对象发生在不同的编译阶段。
模板的实例化是指编译器根据模板定义生成具体的代码的过程。这个过程发生在编译阶段，也就是在源代码被编译成目标代码之前。当编译器遇到一个模板的使用时，会根据模板定义和具体的模板参数类型生成对应的代码，这个过程被称为模板的实例化。
而使用模板去实例化一个对象发生在程序运行时，也就是在目标代码被执行时。当我们使用模板创建一个对象，编译器会根据这个对象的具体模板参数类型生成对应的代码，并在程序运行时执行这些代码。这样，每次实例化一个模板对象，就会在运行时生成对应的代码。
综上所述，模板的实例化发生在编译阶段，用模板去实例化一个对象发生在程序运行时。

class A
{
public:
	int begin()
	{
		return 0;
	}
	//静态成员变量在类外定义
	static int const_iterator;
};
//反例：
int A::const_iterator = 1;
//const_iterator为对象

二、 非类型模板参数

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

注意：

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

三、模板的特化

1.函数模板特化

函数模板的特化步骤：

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

2.类模板特化

1.全特化：

全特化即是将模板参数列表中所有的参数都确定化。

2. 偏特化：

1. 部分特化

将模板参数类表中的一部分参数特化

2.参数更一步限制

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

四、模板的分离编译

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

1.Stack.h

2.Stack.cpp(定义)

3.test.cpp

运行之后会报错：（链接错误）



解决方法：

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