C++进阶：模板进阶

一、模板进阶

1.非类型模板参数

        在C++中我们一般使用模板参数来代替函数类型让编译器自己去演算具体的类型，除此之外还有非类型的模板参数，但是用的比较少，具体用法如以下所示

template<class T,int N>
class Array
{
public:
private:
	T _arr[N];
};

int main()
{
	Array<int, 100> a1;
	Array<int, 1000> a2;

	return 0;
}

用法很简单，要注意不能用于作为非类型模板参数的类型：1.浮点数类型 2.自定义类型

2.模板的特化

//模板的特化
template <class T>
bool IsEqual(T& left, T& right)
{
	return left == right;
}
//即是模板的特殊化处理

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


int main()
{
	int a = 0, b = 1;
	const char* p1 = "hello", *p2 = "world";
	cout<<IsEqual(a, b)<<"\n";
	cout<<IsEqual(p1, p2)<<"\n";
	
	return 0;
}

在一些特定的场景下，需要使用到的函数不能正确的演算出来的话，就需要考虑用模板的特化 

3.模板的分离编译

模板的分离编译如果直接分离编译，当进行到链接的时候，编译器就会发现你给的定义的地址并没有演化出来的函数，所以在模板分离编译时需要将模板函数放在一起，如下图所示

//这是头文件
#include<iostream>
#include<string>
using namespace std;

void Func1();
//直接这样子在test里面使用会报错
//template<class T>
//void Func2(const T& x);
//解决方法
//1、显示实例化 不常用不方便
//2、不分离编译了
//template
//void Func2<int>(const int& x);
template<class T>
void Func2(const T& x)
{
	cout << "Func2()" << endl;
}