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)函数模板支持重载,可以有非通用数据类型的参数。