C++初阶：模版进阶【非类型模版参数】【模版的特化】【模版分离编译】

目录

一.非类型模版参数

二.模版的特化

2.1模版特化的概念

2.2函数模版的特化

2.3类模版特化

2.3.1全特化

2.3.2偏特化

2.3.3使用类模版特化

三.模版分离编译

---

一.非类型模版参数

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

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

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

	template<class T,size_t N = 10>
	class array
	{
	public:
		T& operator[](size_t index) 
		{
			return _array[index]; 
		}
		const T& operator[](size_t index)const 
		{
			return _array[index]; 
		}
	private:
		T _array[N];
		size_t _size;
	};

创建一个a1. 

 注意：

1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的。

2. 非类型的模板参数必须在编译期就能确认结果。

二.模版的特化

2.1模版特化的概念

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

比如：实现了一个专门用来进行小于比较的函数模板

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

那么这个函数模板就不能处理地址比较的问题，比如：

int main()
{
	cout << Less(2, 1) << endl; //0
	Date d1(2022, 7, 8);
	Date d2(2022, 7, 7);
	cout << Less(d1, d2) << endl;//0

	Date* p1 = &d1;
	Date* p2 = &d2;
	cout << Less(p1, p2) << endl;//可以比较，结果错误,结果为1

	return 0;
}

这里的问题就是我本来想要比较的是d1和d2，但是这里比较的是d1和d2的地址大小。这时候用上面的模版就不行了。

由上可知，函数模版并不能解决全部的内容，所以我们就有了模版特化。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方 式。模板特化中分为函数模板特化与类模板特化。

2.2函数模版的特化

函数模板的特化步骤：

1. 必须要先有一个基础的函数模板

2. 关键字template后面接一对空的尖括号<>

3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型

4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇 怪的错误。

在上面的Less模版后面加上：

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

这样如果参数是地址的话就会自动调用这个模版。

这里有一个需要注意的点，我在写Less的时候写的是T，实际上这样不好，如果是自定义类型还需要调用拷贝构造，最好写成：

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

特化也要跟着改：

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

注意：

在模版中我的const是修饰left本身的，所以在特化的模版中我必须要遵守这个原则。const放在*的后面。

2.3类模版特化

2.3.1全特化

全特化就是模版参数列表中所有的参数都确定化。

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

template<>
class Data<int, char>
{
public:
	Data() 
	{ 
		cout << "Data<int, char>" << endl;
	}
private:
	int _d1;
	char _d2;
};

void TestVector()
{
	Data<int, int> d1;
	Data<int, char> d2;
}

int main()
{
	TestVector();
	//Data<T1, T2>
	//Data<int, char>
	return 0;
}

如果有函数模版参数列表中的类型对应，模版就不再实例化直接调用上面全特化的版本。

2.3.2偏特化

偏特化：任何针对模版参数进一步进行条件限制设计的特化版本。比如对于以下模板类：

对于偏特化有两种表现方式：

一种叫部分特化：

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

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

还有一种是参数更进一步限制：

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

//两个参数偏特化为指针类型 
template<class T1,class T2>
class Data<T1*, T2*>
{
public:
	Data()
	{
		cout << "Data<T1*, T2*>" << endl;
	}
private:
	T1 _d1;
	T2 _d2;
};

//两个参数偏特化为引用类型
template <class T1, class T2>
class Data <T1&, T2&>
{
public:
	Data(const T1& d1, const T2& d2)
		: _d1(d1)
		, _d2(d2)
	{
		cout << "Data<T1&, T2&>" << endl;
	}
private:
	const T1& _d1;
	const T2& _d2;
};

2.3.3使用类模版特化

template<class T>
class Less
{
public:
	bool operator()(const T& x, const T& y) const
	{
		return x < y;
	}

};


int main()
{
	Date d1(2022, 7, 7);
	Date d2(2022, 7, 6);
	Date d3(2022, 7, 8);
	vector<Date> v1;
	v1.push_back(d1);
	v1.push_back(d2);
	v1.push_back(d3);
	// 可以直接排序，结果是日期升序

	sort(v1.begin(), v1.end(), Less<Date>());
	vector<Date*> v2;
	v2.push_back(&d1);
	v2.push_back(&d2);
	v2.push_back(&d3);

	// 可以直接排序，结果错误日期还不是升序，而v2中放的地址是升序
	// 此处需要在排序过程中，让sort比较v2中存放地址指向的日期对象
	// 但是走Less模板，sort在排序时实际比较的是v2中指针的地址，因此无法达到预期
	sort(v2.begin(), v2.end(), Less<Date*>());

	return 0;
}

所以就偏特化一下：

template<>
class Less<Date*>
{
public:
	bool operator()(const Date* x, const Date* y)
	{
		return *x < *y;
	}
};

三.模版分离编译

假如有以下场景，模板的声明与定义分离开，在头文件中进行声明，源文件中完成定义：

// a.h
template<class T>
T Add(const T& left, const T& right);

// a.cpp
template<class T>
T Add(const T& left, const T& right)
{
 return left + right;
}

// main.cpp
#include"a.h"
int main()
{
 Add(1, 2);
 Add(1.0, 2.0);
 
 return 0;
}

为了避免这样的情况出现，可以：

1.将声明和定义放到一个文件 "xxx.hpp" 里面或者xxx.h其实也是可以的。推荐使用这种。

2. 模板定义的位置显式实例化。

显示实例化就是我们需要用谁就实例化一个它，比如上面的代码：

一个是int，一个是double类型的

template<class T>
T Add(const T& t1, const T& t2)
{
	return t1 + t2;
}

template
int Add(const int& t1, const int& t2);

template
double Add(const double& t1, const double& t2);

 这个很不方便，不建议使用。