泛型编程的概念
不考虑具体数据类型的编程方式
对与Swap函数可以考虑下面的泛型写法
void Swap (T& a, T& b)
{
T t = a;
a = b;
b = t;
}
Swap泛型写法中的T不是一个具体的数据类型,而是泛型任意的数据类型。
C++中的函数模板
1、一种特殊的函数可用不同类型进行调用;
2、看起来和普通函数很相似,区别是类型可被参数化;
template<typename T>
void Swap(T& a, T& b)
{
T t = a;
a = b;
b = t;
}
C++中的函数模板的语法规则
1、template 关键字用于声明开始进行泛型编程;
2、typename关键字用于声明泛指类型;
template<typename T>
void Swap(T& a, T& b)
{
T t = a;
a = b;
b = t;
}
其中T是告诉编译器T是一个泛指类型
其中template是告诉编译器开始泛型编程
C++中的函数模板的使用
1、自动类型推导调用
2、具体类型显示调用
int a = 0;
int b = 1;
Swap(a, b); //自动推导
float c = 2;
float d = 3;
Swap<float>(c, d); //显示调用
C++中的类模板
1、以相同的方式处理不同的类型;
2、在类声明前使用template进行标识;
3、用于说明类中使用的泛指类型T
template <typename T>
class Operator
{
public:
T op(T a, T b); //函数/方法
}:
C++中的类模板的使用
1、只能显示指定具体类型,无法自动推导;
2、使用具体类型定义对象
Operator<int> op1;
Operator<double> op2;
int i = op1.op(1, 2);
double d = op2.op(0.01, 0.02);
例题:
#include <iostream>
using namespace std;
//使用泛型,函数模板
template<typename T>
void Swap(T& a, T& b)
{
T t = a;
a = b;
b = t;
}
template<typename T>
class Op
{
public:
T process(T v)
{
return v * v;
}
};
int main()
{
Op<int> opInt;
Op<double> opDouble;
cout << "5 * 5 = " << opInt.process(5)<< endl;
cout << "0.06 * 0.06 = " << opDouble.process(0.06) << endl;
return 0;
}
小结
1、模板是泛型编程理论在C++中的实现;
2、函数模板支持参数的自动推导和显示指定;
3、类模板在使用时只能显示指定类型;
4、类模板非常适用于编写数据结构相关的代码。