我的小小学习笔记（7）之C++------模板之模板函数

模板

模板是泛型编程的基础。所谓泛型编程就是编写与类型无关的逻辑代码，是一种复用的方式（但是跟复用不一样）（继承也是为了实现复用）。模板分为模板函数和模板类。

模板函数：

假设现在要实现一个比较两个数是否相等的重载函数。

比较int，支持=，但是string不支持（以前一个一个字符比，现在支持重载）

函数模板格式

template<class形参名1,class形参名2,...,class形参名n>

返回类型 函数名（参数列表）

{...}

模板形参定义可以用class,也可以用typename,含义相同

template<typenameT>

下面给出些例子感受一下。。。

（1）这个地方调用3个函数

#include <string>using namespace std;template<class T>bool ISEqual(T l, T r){return l == r;}int main(){cout << ISEqual(1, 2) << endl;//intcout << ISEqual(string("11"), string("11")) << endl;//stringcout << ISEqual('1', 'a') << endl;//charsystem("pause");return 0;}

（2）

#define _CRT_SECURE_NO_WARNINGS 1#include <iostream>#include <string>using namespace std;template<class T>bool ISEqual(T l, T r){return l == r;}int main(){cout << ISEqual(1, 2) << endl;//intcout << ISEqual(string("11"), string("12")) << endl;//stringcout << ISEqual('1', 'a') << endl;//charsystem("pause");return 0;}

没有模板函数实例化，不会生成对应的代码

基本格式还是会检查的，但是函数内部出问题不会检查出来。

#define _CRT_SECURE_NO_WARNINGS 1#include <iostream>#include <string>using namespace std;template<class T>bool ISEqual(const T& l,const T& r)//形参，用T时，尽量用const，不用，像string深拷贝传参，代价很大{return l == r;}int main(){ISEqual(1, 2);//实参//ISEqual(string("11"), string("12"));//ISEqual('1', 'a');//charsystem("pause");return 0;}

看下一个程序

#define _CRT_SECURE_NO_WARNINGS 1#include <iostream>#include <string>using namespace std;template<class T>bool ISEqual(const T& l,const T& r)//形参，用T时，尽量用const，不用，像string深拷贝传参，代价很大{return l == r;}int main(){cout << ISEqual(1, 1) << endl;cout << ISEqual(1, 1.2) << endl;system("pause");return 0;}

原因：bool ISEqual(const T&l,const T&r)//要把T推演成int,一个T既是int又是double,就出问题了

改正方法一：

#define _CRT_SECURE_NO_WARNINGS 1#include <iostream>#include <string>using namespace std;template<class T>bool ISEqual(const T& l,const T& r){return l == r;}template<class T1, class T2>bool ISEqual(const T1& l, const T2& r){return l == r;}int main(){cout << ISEqual(1, 1) << endl;cout << ISEqual(1, 1.2)<< endl;system("pause");return 0;}

cout << ISEqual(1, 1.2)<< endl;为假，T1推演成int,T2推演成double,int和double比较时会发生隐式类型的转化，l会转，当两个类型为相近类型时，范围小的会往范围大的转（char转向int，int转向unsigned int,有符号向无符号转）。

改正方法二（1）：

#define _CRT_SECURE_NO_WARNINGS 1#include <iostream>#include <string>using namespace std;template<class T>bool ISEqual(const T& l,const T& r){return l == r;}template<class T1, class T2>bool ISEqual(const T1& l, const T2& r){return l == r;}int main(){cout << ISEqual(1, 1) << endl;//cout << ISEqual(1, 1.2)<< endl;//显示实例化，指定模板参数，就不会推演cout << ISEqual<int,int>(1, 1.2) << endl;system("pause");return 0;}

改正方法二（2）：

#define _CRT_SECURE_NO_WARNINGS 1#include <iostream>#include <string>using namespace std;template<class T>bool ISEqual(const T& l,const T& r){return l == r;}//template<class T1, class T2>//bool ISEqual(const T1& l, const T2& r)//{//return l == r;//}int main(){cout << ISEqual(1, 1) << endl;//cout << ISEqual(1, 1.2)<< endl;//显示实例化，指定模板参数，就不会推演cout << ISEqual<int>(1, 1.2) << endl;system("pause");return 0;}

（3）

#define _CRT_SECURE_NO_WARNINGS 1#include <iostream>#include <string>using namespace std;template<class T>bool ISEqual(const T& l, const T& r){return l == r;}//template<class T1, class T2>//bool ISEqual(const T1& l, const T2& r)//{//return l == r;//}int main(){cout << ISEqual(1, 1) << endl;//cout << ISEqual(1, 1.2)<< endl;//显示实例化，指定模板参数，就不会推演cout << ISEqual<int>(1, 1.2) << endl;cout << ISEqual<double>(1, 1.2) << endl;system("pause");return 0;}

调用谁呢？

#define _CRT_SECURE_NO_WARNINGS 1#include <iostream>#include <string>using namespace std;template<class T>bool ISEqual(const T& l, const T& r){return l == r;}bool ISEqual(int l,int r){return l == r;}int main(){cout << ISEqual(1, 2) << endl;ISEqual(string("11"), string("11"));system("pause");return 0;}