C++基础语法——模板

目录

1. 泛型编程

2. 函数模板

①概念

②使用

③原理 

④实例化 

⑴隐式实例化

⑵显式实例化

3. 类模板

①格式

②实例化

---

1. 泛型编程

在平常的编写中，对于一个实现固定作用的函数，如交换两变量的值的Swap函数，对于不同类型只能编写相对应的重载函数，即

void Swap(int& left, int& right)
{
	int temp = left;
	left = right;
	right = temp;
}

void Swap(double& left, double& right)
{
	double temp = left;
	left = right;
	right = temp;
}

void Swap(char& left, char& right)
{
	char temp = left;
	left = right;
	right = temp;
}

 对于这样的函数重载，有一些不利之处

1. 重载的函数仅仅是类型不同，代码复用率比较低，只要有新类型出现时，就需要用户自己增加对应的函数

2. 代码的可维护性比较低，一个出错可能所有的重载均出错

那我们能否告诉编译器一个模子，让编译器根据不同的类型利用该模子来生成代码呢？

答案是肯定的，而这又与泛型编程有关

泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。

而在这之中模板是泛型编程的基础。模板也分为函数模板与类模板  

2. 函数模板

①概念

函数模板是一种创建独立于数据类型的函数的方法，可以使用相同的代码处理不同的数据类型。

 函数模板由一个或多个类型参数组成，其中类型参数使用特殊的语法来声明为“typename”或“class”。在调用函数模板时，可以使用类型参数来指定实际参数类型，从而根据实际参数类型自动推导出函数模板的参数类型。

②使用

其格式举例如下

template<typename T>
void Swap(T& left, T& right)
{
	T temp = left;
	left = right;
	right = temp;
}

注：typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)  

那我们就可以按如下格式来使用它

int main()
{
	double d1 = 2.0;
	double d2 = 5.0;
	Swap(d1, d2);

	int i1 = 10;
	int i2 = 20;
	Swap(i1, i2);

	char a = '0';
	char b = '9';
	Swap(a, b);

	return 0;
}

③原理 

函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器，图示如下

在编译器编译阶段，对于模板函数的使用， 编译器需要根据传入的实参类型来推演生成对应类型的函数 以供调用。

比如：当用 double 类型使用函数模板时，编译器通过对实参类型的推演，将 T 确定为 double 类型，然 后产生一份专门处理 double 类型的代码，对于字符类型与int类型也是如此。

④实例化 

用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。

⑴隐式实例化

即让编译器根据实参推演模板参数的实际类型

对于如下代码

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

int main()
{
	int a1 = 10, a2 = 20;
	double d1 = 10.0, d2 = 20.0;
	Add(a1, a2);
	Add(d1, d2);

    // 注意：在模板中，编译器一般不会进行类型转换操作，因为一旦转化出问题，编译器就需要背黑锅
	Add(a1, d1);

	// 此时有两种处理方式：1. 用户自己来强制转化 2. 使用显式实例化
	Add(a1, (int)d1);
	return 0;
}

Add(d1, d2)语句不能通过编译，因为在编译期间，当编译器看到该实例化时，需要推演其实参类型通过实参a1将T推演为int，通过实参d1将T推演为double类型，但模板参数列表中只有一个T，编译器无法确定此处到底该将T确定为int 或者 double类型而报错

⑵显式实例化

即在函数名后的<>中指定模板参数的实际类型

举例有

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

int main()
{
	int a = 10;
	double b = 20.0;

	// 显式实例化
	Add<int>(a, b);
	return 0;
}

如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。

3. 类模板

①格式

其格式如下

template<class T1, class T2, ..., class Tn>
class 类模板名
{
	// 类内成员定义
};

具体举一个实例有

template<class T>
class Stack
{
public:
	Stack(size_t capacity = 3);

	void Push(const T& data);

	// 其他方法...

	~Stack()
	{
		if (_array)
		{
			free(_array);
			_array = NULL;
			_capacity = 0;
			_size = 0;
		}
	}

private:
	T* _array;
	int _capacity;
	int _size;
};

template<class T>
Stack<T>::Stack(size_t capacity)
{
	/*_array = (T*)malloc(sizeof(T) * capacity);
	if (NULL == _array)
	{
		perror("malloc申请空间失败!!!");
		return;
	}*/
	_array = new T[capacity];

	_capacity = capacity;
	_size = 0;
}

template<class T>
void Stack<T>::Push(const T& data)
{
	// CheckCapacity();
	_array[_size] = data;
	_size++;
}

 在这之中我们发现，在实现类的成员函数时，要在前加上template。

②实例化

类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。

如

// Vector类名，Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;

4. 非类型模板参数

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

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

以下代码为例

namespace tem
{
	// 定义一个模板类型的静态数组
	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]; }

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

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

这其中N就是一个非类型形参，但是需要注意的是

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

5. 模板的特化

①概念

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理，比如：实现了一个专门用来进行小于比较的函数模板，以如下代码为例

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

int main()
{
	cout << Less(1, 2) << endl; // 可以比较，结果正确

	Date d1(2022, 7, 7);
	Date d2(2022, 7, 8);
	cout << Less(d1, d2) << endl; // 可以比较，结果正确

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

	return 0;
}

在这里我们对于第三个比较希望的是比较Date类对象的日期大小，但是实际上比较的d1对象和d2对象的地址大小，因此我们需要对模板进行特化。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化与类模板特化。

②函数模板的特化

那么如何特化函数模板呢？

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

举个例子，就对上面比较大小的代码进行特化

// 对Less函数模板进行特化
template<>
bool Less<Date*>(Date* left, Date* right)
{
	return *left < *right;
}

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

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

该种实现简单明了，代码的可读性高，容易书写，因为对于一些参数类型复杂的函数模板，特化时特别给出，因此函数模板不建议特化。

③类模板的特化

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 Test()
{
	Data<int, int> d1;
	Data<int, char> d2;
}

int main()
{
	Test();

	return 0;
}

在调用的时候，编译器会采取一种“偷懒”的方式，即先寻找有无对应类型匹配的类，如果没有才会去调用未特化的类，以上述代码为例，当构建<int, char>时，因为此时已经有相对应的特化类，所以会去直接调用第二个类，而构建<int, int>时，因为没有找到相对应的特化类，所以只会调用第一个类。运行情况如下

2.偏特化

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

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

偏特化一般有以下两种表现方式：

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

举例如下

// 将第二个参数特化为int
template <class T1>
class Data<T1, int>
{
public:
	Data() { cout << "Data<T1, int>" << endl; }
private:
	T1 _d1;
	int _d2;
};

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

举例如下

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

private:
	T1 _d1;
	T2 _d2;
};

//两个参数偏特化为引用类型
template <typename T1, typename 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;
};

然后我们用下列代码测试

int main()
{
	Data<double, int> d1; // 调用特化的int版本
	Data<int, double> d2; // 调用基础的模板 
	Data<int*, int*> d3; // 调用特化的指针版本
	Data<int&, int&> d4(1, 2); // 调用特化的指针版本

	return 0;
}

运行有

这里调用的规则和上面类似，能精确匹配时就和精准的类匹配，不能就退而求其次，最后再找未特化的类，比如在上面的类中添加一个<int*, int*>类时，运行结果如下

6. 模板的分离编译

一个程序（项目）由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件链接起来形成单一的可执行文件的过程称为分离编译模式。在下列的代码中，模板的声明与定义分离开，在头文件中进行声明，源文件中完成定义：

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

运行后我们发现

头文件在编译阶段被展开，因此不参与链接过程，而在a.cpp中编译Add时，由于Add函数只是一个模板函数，不知道将会用什么类型去实例化它，因此无法具体生成对应的函数符号表，在编译时，main函数中调用对应的Add函数时，会去call对应的函数，但是他也只是call而不会做其他处理，在链接时这个call指令就会去寻找对应的函数，而此时a.cpp中的Add函数根本就没有生成，因此链接就会报错，无法找到对应的函数。那我们如何解决这个问题呢？

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

7. 模板的优缺点

①优点

1. 代码重用：使用模板可以编写可重用的代码，因为模板可以用于不同的数据类型，而不需要为每种类型编写重复的代码。这能够提高代码的复用性和开发效率。
2. 高性能：C++模板可以在编译时进行代码生成，消除了函数调用的开销，并且可以进行很多优化。这使得模板生成的代码通常比使用运行时多态的其他方式更高效。
3. 类型安全：模板在编译时对类型进行检查，确保代码在运行时不会出现类型错误。这有助于在编译期捕获错误，提高代码的可靠性和稳定性。
4. 灵活性：C++模板可以用于各种数据结构和算法，并且可以根据需要进行定制和扩展。通过使用模板参数来指定行为，可以生成适应不同需求的代码。

②缺点

1. 编译时错误信息难以理解：由于模板代码在编译时展开，错误信息通常会变得复杂晦涩，对开发者来说可能难以理解和排查问题。
2. 构建时间延长：模板的使用往往意味着编译器需要生成更多的代码，这可能会导致构建时间的增加。当模板被频繁实例化时，这个问题可能变得更加突出。