C++模板编程

---

前言

本文介绍了C++模板编程，基于施磊老师的C++课程

---

一、函数模板

在函数调用点，编译器根据用户指定的类型，从原模板实例化一份函数代码出来。

注意点：
1、 编译器优先把compare处理成函数名字，没有的话，才去找compare模板函数
2、模板不能在一个文件中定义，另一个文件中使用，否在在链接时会出现错误。因此，模板代码一般放在头文件中，然后在源文件中使用#include包含

#include <iostream>
using namespace std;

template<typename T>
bool compare(T a, T b) {
    cout << "template compare" << endl;
    return a > b;
}

int main()
{
	/*
    模板的实参推演，可以根据用户传入的实参类型，推导出模板参数的类型
    */
    cout << compare(1, 3) << endl;
    cout << compare(5.0, 1.0) << endl;
    return 0;
}

补充：模板的非类型参数（只能是常量），如：

template<typename T, int SIZE>
void sort(T *arr) {}
int main()
{
	int a[3] = {1, 2, 3};
	sort<int, 3>(a);
	return 0;
}

二、类模板

类模板可以添加默认的类型参数，如：

template<typename T = int>
class SeqStack
{};

三、理解容器空间配置器allocator

下面是空间配置器的一个实现：

template<typename T>
class Allocator {
public:
	T* allocate(size_t size) { //内存开辟
		return (T*)malloc(sizeof(T) * size);
	}

	void deallocate(void* p) { //内存释放
		free(p);
	}
	void construct(T* p, const T& val) { // 对象构造
		new (p) T(val);//定位new，在p位置上
	}
	void destroy(T* p) {//对象析构
		p->~T();
	}
};

空间配置器分成了四个操作即内存分配/内存释放，对象构造/对象析构。其中内存开辟和构造分别通过malloc和free实现，对象构造和对象析构分别用定位new和类对象的析构函数实现。

参考文章

1、初级C++基础夯实