1. 函数模板

1.1 函数模板定义

模板的使用格式如下:

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.2 函数模板总结

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

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

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

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

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

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

2. 类模板

05-12 00:15