【C++】学习笔记—

【C++】学习笔记——模板进阶

文章目录

十一、模板进阶
- 1. 非类型模板参数
- 2. 按需实例化
- 3. 模板的特化
- - 类模板的特化
- 4. 模板的分离编译
未完待续

十一、模板进阶

1. 非类型模板参数

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

// 第一个形参为类型形参，第二个缺省形参为非类型形参
template<class T, size_t N = 10>

#include<iostream>
using namespace std;

template<class T, size_t N>
class arr
{
	// N可以用来分配初始空间
};

int main()
{
	arr<int, 10> a1;
	arr<int, 1000> a2;

	return 0;
}

在C++20之前，只支持整形做非类型模板参数 。

2. 按需实例化

类模板在实例化这个类的时候，会按需实例化（调用了哪个成员函数就实例化哪个函数）。

#include<iostream>
using namespace std;

template<class T, size_t N>
class arr
{
public:
	T& operator[](size_t index)
	{
		// 该函数参数不匹配
		size(1);
		return _array[index];
	}

	const T& operator[](size_t index)const
	{
		return _array[index];
	}

	size_t size()const { return _size; }
	bool empty()const { return 0 == _size; }

private:
	T _array[N];
	size_t _size;
};

int main()
{
	// 不去调用 operator[] 时，检查不出来错误
	arr<int, 10> a1;
	arr<int, 1000> a2;
	return 0;
}

在这里插入图片描述
当调用出错的部分的函数时才能检查出错误：

int main()
{
	// 不去调用 operator[] 时，检查不出来错误
	arr<int, 10> a1;
	arr<int, 1000> a2;
	// 调用operator[]
	a1[1];
	return 0;
}

在这里插入图片描述

3. 模板的特化

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果。比如说我们有这样一个函数模板：

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

该函数模板可以比较大小，但是假如有人错误的传入地址当实参，这里必然会出现不确定的结果。如果我们想要传地址也让其结果正确的话，我们就可以使用 模板的特化 。特化就是将模板特殊化，在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。即新增一个特化后的模板。

#include<iostream>
using namespace std;

// 函数模板
template<class T>
bool Less(T left, T right)
{
	return left < right;
}

// 特化后的模板
template<>
bool Less<int*>(int* left, int* right)
{
	return left < right;
}

此时，要是实例化的参数更符合特化就使用特化模板进行实例化，否则使用普通的函数模板进行实例化。

函数模板的特化步骤：

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

一般情况下如果函数模板遇到不能处理或者处理有误的类型，为了实现简单通常都是将该函数直接给出，即直接实现一个特殊的函数构成重载。

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

该种实现简单明了，代码的可读性高，容易书写，因此函数模板不建议特化。

类模板的特化

类模板特化也分为全特化和偏特化。
全特化即是将模板参数列表中所有的参数都确定化。偏特化是任何针对模版参数进一步进行条件限制设计的特化版本

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;
};

// 半特化/偏特化
template<class T>
class Data<T, char>     // 不是全特化的特化
{
public:
	Data()
	{
		cout << "Data<T, char>" << endl;
	}
private:
	int _d1;
	char _d2;
};

类模板的偏特化还可以这样使用：

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