泛型编程
来自百度百科!
泛型编程(Generic Programming)最初提出时的动机很简单直接:发明一种语言机制,能够帮助实现一个通用的标准容器库。所谓通用的标准容器库,就是要能够做到,比如用一个List类存放所有可能类型的对象这样的事;泛型编程让你编写完全一般化并可重复使用的算法,其效率与针对某特定数据类型而设计的算法相同。泛型即是指具有在多种数据类型上皆可操作的含义,与模板有些相似。STL巨大,而且可以扩充,它包含很多计算机基本算法和数据结构,而且将算法与数据结构完全分离,其中算法是泛型的,不与任何特定数据结构或对象类型系在一起。
泛型编程:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础
函数模板!
用一个常用的函数来展示!swap()!
//整数的交换
void Swap(int& a, int& b) {
cout << "Swap(int& a, int& b)" << endl;
int tmp = a;
a = b;
b = tmp;
}
//同类型的交换
template <class T>
void Swap(T& a, T& b) {
cout << "Swap(T& a, T& b)" << endl;
T tmp = a;
a = b;
b = tmp;
}
int main() {
int a = 10;
int b = 20;
Swap(a, b);
float c = 1.1f;
float d = 2.2f;
Swap(c, d);
char e = 'e';
char f = 'f';
Swap(e, f);
return 0;
}
我们可以用几个例子来测试一下了
这几个会调用这些哪个函数呢?
编译器会为我们调用最匹配的函数!
函数模板的原理
函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器
在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如:当用double类型使用函数模板时,编译器通过对实参类型的推演,将T确定为double类型,然后产生一份专门处理double类型的代码,对于字符类型也是如此
函数模板的实例化
分为两种,隐士实例化和显式实例化!
隐士是靠编译器的自己推导
显式是自己指定!
int main() {
int a = 10;
int b = 20;
Swap<int>(a, b);
float c = 1.1f;
float d = 2.2f;
Swap<float>(c, d);
char e = 'e';
char f = 'f';
Swap<char>(e, f);
return 0;
}
类模板!
其实他跟函数模板很相似,不过我们要注意,类模板必须要显示实例化!!!
int main() {
vector<int> ive;
vector<char> cve;
vector<string> sve;
vector<double> dve;
return 0;
}
这里是容器的顺序表
这里每一个模板实例化的都不一样
虽然都是vector但不是同一个类
类型不同
编译器帮我们实现了不同的版本!
让我们省去了实现的时间
泛型编程yyds