C++ 模板

1. 函数模板

1.1 函数模板定义

泛型，是一种将类型参数化以达到代码复用的技术，C++中使用模板来实现泛型

模板的使用格式如下：

template <typename\class T>
typename和class是等价的

template <typename T>

• 里面这个 “T” 是可以变化的，前面是固定的

#include <iostream>
#include "add.hpp"

using namespace std;

class Point {
	friend ostream& operator<<(ostream&, const Point&);
	int m_x;
	int m_y;
public:
	Point(int x, int y) :m_x(x), m_y(y) {}
	Point operator+(const Point& point) {
		return Point(m_x + point.m_x, m_y + point.m_y);
	}
};

ostream& operator<<(ostream& cout, const Point& point) {
	return cout << "(" << point.m_x << ", " << point.m_y << ")";
}

template <typename T> T add(T a, T b) {
	return a + b;
}

int main() {
	cout << add<int>(10, 20) << endl;
	cout << add<double>(1.5, 21.6) << endl;
	cout << add<Point>(Point(1, 2), Point(3, 4)) << endl;

	getchar();
	return 0;
}

这段代码里在C++运算符重载（操作符重载）里面有详细的解释，关于operator重载的部分，这里我们主要说模板：

template <typename T> T add(T a, T b) {
	return a + b;
}

这一段代码表示我们可以接受不同类型的参数到这个add函数中，可以是int类型、或者double类型、或者是对象类型等等

比如int类型，那么就相当于 T 等价于 int ：

template <typename int> int add(int a, int b) {
	return a + b;
}

• 那如果 我想把两个不同类型的值传进去呢？
  可以这样做：

template <typename T, typename A > T add(T a, A b) {
	return a + b;
}

int main() {
	cout << add<int, Point>(10, Point(10,20)) << endl;

	getchar();
	return 0;
}

模板没有被使用时，是不会被实例化出来的

• 原理：编译器会根据你传进来的参数不同，生成不同的函数，本质上还是多个函数，但好处是你可以只写一份代码，编译器来帮你自动根据传进来的不同参数生成不同的函数；另外，如果代码过程中没用用到模板函数，编译器就直接不会生成函数，而不是每个类型都去生成。用到生么，生成什么

注意:

1. 模板的声明和实现如果分离到.h和.cpp中，会导致链接错误
2. 一般将模板的声明和实现统一放到一个.hpp文件中

1.2 函数模板总结

1） 可以为类的成员函数创建模板，但不能是虚函数和析构函数。

2）使用函数模板时，必须明确数据类型，确保实参与函数模板能匹配上。

3）使用函数模板时，推导的数据类型必须适应函数模板中的代码。

4）使用函数模板时，如果是自动类型推导，不会发生隐式类型转换，如果显式指定了函数模板的数据类型，可以发生隐式类型转换。

5）函数模板支持多个通用数据类型的参数。

6）函数模板支持重载，可以有非通用数据类型的参数。

2. 类模板