1、概述
模板是一个非常强大的功能。C++ STL的各种组件也是基于模板实现的(vector、map、string等)。
模板主要分为:函数模型和类模板。
2、函数重载
示例:使用函数重载,对两个相同类型的数值进行和运算(float、int、double等)。
#include <iostream>
using namespace std;float add(float value_1, float value_2)
{return value_1 + value_2;
}int add(int value_1, int value_2)
{return value_1 + value_2;
}double add(double value_1, double value_2)
{return value_1 + value_2;
}int main(int argc, char* argv[])
{cout << "float sum : " << add(10.1, 45.2) << endl;cout << "int sum : " << add(10, 45) << endl;cout << "double sum : " << add(10.1, 45.2) << endl;return 0;
}
输出:
float sum : 55.3
int sum : 55
double sum : 55.3
从上述实现过程可以看出,进行三种数据类型float、int、double的数据相加时,书写了三个函数;这些函数虽然在调用时方便了一些,但从本质上说还是定义了三个功能相同、函数体相同的函数,只是数据的类型不同而已;而借助函数模板可以将三个函数压缩成一个,可以完成同样的功能。
3、函数模板
3.1、函数模板格式
template <typename T1, typename T2, ……, typename Tn>
返回值类型 函数名(参数列表)
{
// todo
}
typename是用来定义模板参数关键字。
上节中的add()函数可以写成如下形式:
#include <iostream>
using namespace std;template <typename T>
T add(T value_1, T value_2)
{return value_1 + value_2;
}int main(int argc, char* argv[])
{cout << "float sum : " << add(10.1, 45.2) << endl;cout << "int sum : " << add(10, 45) << endl;cout << "double sum : " << add(10.1, 45.2) << endl;return 0;
}
输出:
float sum : 55.3
int sum : 55
double sum : 55.3
3.2、函数模板的实例化
用不同类型的参数调用函数模板时,称为函数模板的实例化 。主要分为:隐式实例化和显式实例化 。
隐式实例化:让编译器根据实参推演模板参数的实际类型。
显式实例化:在函数名后的<>中指定模板参数的实际类型。
示例:
#include <iostream>
using namespace std;template <typename T>
T add(T value_1, T value_2)
{return value_1 + value_2;
}int main(int argc, char* argv[])
{int a = 10;int b = 14;float c = 10.9;float d = 100.8;cout << " " << add(a, (int)c) << endl;cout << " " << add<int>(a, c) << endl;return 0;
}
输出:
20
20
3.3、模板参数的匹配原则
一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数。
对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数,那么将选择模 板。简单说会先找自己实现的有没有,没有就去看模板能不能实例化一个。
模板函数不允许自动类型转换,但普通函数可以进行自动类型转换。
3.4、声明定义分离
函数模板可以声明、定义分离;不同的是模板参数声明定义都要给。
示例:
#include <iostream>
using namespace std;// 声明
template <typename T>
T add(T value_1, T value_2);// 定义
template <typename T>
T add(T value_1, T value_2)
{return value_1 + value_2;
}int main(int argc, char* argv[])
{int a = 10;int b = 14;float c = 10.9;float d = 100.8;cout << " " << add(a, (int)c) << endl;cout << " " << add<int>(a, c) << endl;return 0;
}
输出:
20
20
4、类模板
4.1、类模板格式
template <class T1, class T2, ……, class Tn>
class 类模板名
{
类内成员变量;
类内函数变量;
};
或者
template <typename T1, typename T2, ……, typename Tn>
class 类模板名
{
类内成员变量;
类内函数变量;
};
4.2、类模板的实例化
类模板实例化与函数模板实例化不同, 类模板实例化需要在类模板名字后跟<> ,然后将实例化的类型放在<>中即可,类模板名字不是真正的类,而实例化的结果才是真正的类。
示例:
#include <iostream>
using namespace std;template <class T1, typename T2>
class student
{
public:void init(char name_t[], int age_t, T1 grade_id_t, T1 class_id_t, T2 score_t, T2 height_t){memcpy(name, name_t, 50 * sizeof(char));age = age_t;grade_id = grade_id_t;class_id = class_id_t;score = score_t;height = height_t;}void print(){cout << "name: " << name << ", age: " << age << endl;}T2 get_score(){return score;}void print_score(T2 score);T2 print_true();
private:char name[50];int age;T1 grade_id;T1 class_id;T2 score;T2 height;
};template <class T1, typename T2>
void student<T1, T2>::print_score(T2 score)
{cout << "score: " << score << endl;
}template <class T1, typename T2>
T2 student<T1, T2>::print_true()
{cout << "true: 1.0" << endl;return (T2)1.0;
}int main(int argc, char *argv[])
{char name[50] = "刘琦";student<int, float> std_1;std_1.init(name, 47, 7, 3, 4.6, 181.5);std_1.print();std_1.print_score(std_1.get_score());std_1.print_true();return 0;
}
输出:
name: 刘琦, age: 47
score: 4.6
true: 1.0
问题:
如果模板的声明和定义分开,在头文件中进行声明,在源文件中进行定义,在编译的时候会出现链接错误;因为程序运行是要预处理,编译汇编和链接,对于头文件的内容,.cpp和.a文件来说,模板都是空的,不知道T是啥。
解决:
声明和定义都放在一个名为.hpp的文件,这个文件是.h和.cpp的合体。