前言

这一篇博客讲一下模版的其他内容，进阶内容，后面就会讲继承了，难度上升

1. 非类型模版参数

所谓非类型模版参数，就是在模版参数列表中，即可以存在类型参数，也可以存在非类型参数

template class Array { private: 	T arr[N]; };  int main() { 	Array a1; 	//这个就表示建立一个100个整型的数组 	Array a1; 	return 0; } 

这个也是根据不同的模版参数，编译器生成不同的类

template class Array { public: 	func() 	{ 		N--; 	} private: 	T arr[N]; };  int main() { 	Array a1; 	a1.func(); 	//这个就表示建立一个100个整型的数组 	Array a1; 	return 0; } 

还有要值得注意的是，非类型的模版参数是个常量，不可修改的
还有就是模版是不会进行编译的，或者说，只会对模版的外壳进行编译，不会对模版的内部进行编译，所以说模版内部有错误，不管是什么错误都是不会检查出来的，只有在调用那个函数的时候才会检查出来错误
还有值得说的就是，在C++20之前是只支持整型的非类型模板参数的，C++20就支持了内置类型的非类型模板参数
编译器默认是C++14,但是是可以修改的

 template class Array { public: 	int func() 	{ 		N--; 	} private: 	//T arr[N]; }; 

	Array a; 

只支持内置类型，不支持自定义类型

2. array

接下来，我们来认识一下array，array其实就是一个数组的类和模版，和数组没什么区别

	array a; 

这就表示建立了一个10个整型的数组，但是这个和C语言的数组有什么区别吗，区别只有一个，那就是有关越界访问的

int arr[10],是这样的，会在数组的后面加上一两个位置，这两个位置设置为一些固定值，程序结束时看这些值有没有被改变，如果被改变了的话，说明就越界了,注意，这个报错是在程序结束时才报错

	int arr[10] = { 0 }; 	arr[11] = 10; 

比如这个更改了后面一个的值就报错说越界了

但是array是只要越界了就会马上报错，虽然比我们直接定义数组有点好处，但是这个array并没有什么用，为什么呢，因为还有vector啊，vector不比array好用多了？
我们再来讲一个其他东西

void PrintVector(const vector& v) { 	vector::const_iterator it = v.begin(); 	while (it != v.end()) 	{ 		cout << *it << " "; 		++it; 	} 	cout << endl; } 

这是一个vector的打印函数，但是它只能打印int的，不能打印其它的，于是我们就可以实现一个打印函数的模板了

template void PrintVector(const vector& v) { 	vector::const_iterator it = v.begin(); 	while (it != v.end()) 	{ 		cout << *it << " "; 		++it; 	} 	cout << endl; } 

	vector a = { 1.1,2.3,3.4,5.3 }; 	PrintVector(a); 

但是我们这样写却不能正常运行

template void PrintVector(const vector& v) { 	typename vector::const_iterator it = v.begin(); 	while (it != v.end()) 	{ 		cout << *it << " "; 		++it; 	} 	cout << endl; } 

但是我们在前面加上typename就可以正常使用了，为什么呢
第一是因为vector::const_iterator能这样使用的只有静态变量，typedef内容，内部类，到底是哪个呢，因为有T嘛，还没有初始化，所以不知道是什么，加上typename就指定了是那种typedef或者变量
第二就是没有实例化，所以不能随便访问，万一有错呢，所以加上那个东西
反正怎么说呢，记住这个东西就可以了，目前只有这种情况要特殊加上typename

3. 模板的特化

先看个例子

template class myless { public: 	bool operator()(const T& t1, const T& t2) 	{ 		return t1 < t2; 	} }; 

	myless a; 	cout<

	myless a; 	cout<

template class myless1 { public: 	bool operator()(const T& t1, const T& t2) 	{ 		return *t1 < *t2; 	} }; 

	myless1 a; 	cout<

 template bool Less(T left, T right) { 	return left < right; } 

template<> bool Less(int* left, int* right) { 	return *left < *right; } 

	cout << Less(new int(1), new int(2)); 

template class Date { public: 	Date() 	{ 		cout << "template" << endl; 	} private: };  template<> class Date { public: 	Date() 	{ 		cout << "class Date" << endl; 	} private: }; 

	Date a; 

template class Date { public: 	Date() 	{ 		cout << "class Date" << endl; 	} private: }; 

template class Date { public: 	Date() 	{ 		cout << "class Date" << endl; 		cout << typeid(T1).name() << endl; 	} private: }; 

	Date a; 

template class Date { public: 	Date() 	{ 		cout << "class Date" << endl; 		cout << typeid(T1).name() << endl; 	} private: }; 

	Date a;