C++模板

模板涉及的知识比较多,所以只认识或学习常用的,其他以后有遇到再看看

先 看看一个简单的例子

#include <iostream>#include <string>using namespace std;//函数模板template <typename T>T *add(T a[],T b[],int size){for(int i=0;i<size;i++){b[i] += a[i];}return b;}//类模板template <class F>class miniMath{public:F *add(F a[],F b[],int size){for(int i=0;i<size;i++){b[i] += a[i];}return b;}};//类模板的继承class gsMath:public miniMath<float>{};int main(){   //模板函数的使用int a[6] = {1,2,3,4,3,2};int b[6] = {2,3,6,4,7,8};int *value = add<int>(a,b,6);cout << value[1]<<'\n'<<endl;//类模板的使用miniMath<int> *math = new miniMath<int>();cout << (math->add(a,b,6))[0]<<'\n'<<endl;//类模板的继承使用gsMath *gsmath = new gsMath();cout << (gsmath->add((float *)a,(float *)b,(float)6))[0]<<'\n'<<endl;return 0;}

模板的作用

重用源代码,提高安全性及性能

应用在其他高级语言中好比泛态,例如java是使用编译时的类型擦除,不过在java中不是很常见(可能因为老师(在我学java很少看见同学用T)),记得大学时老师都是一代而过的,,然而在函数语言中确实非常基础及很常见的一个知识点,而且还映入了很多扩张知识,例如上界,下界,逆变与协变,视图绑定等等

1.模板函数

根据函数调用中提供的参数，编译器自动实例化不同的对象代码函数

template <class T>T max(T a, T b){    return a > b ? a : b;}

编译器是使用了类型的推断来实现函数的重载的

////////

@对相应参数进行隐式转换后，调用普通的函数；
@调用模板实例化生成的函数时，从不进行隐式的类型转换

2.模板类

定义模板类的对象 classname<type> objectname(arglist);

@模板中常量(模板参数可以类参数,也可以是内置类型,可有默认值)
@模板类在实例化时类参数用类来替换,内置类型用常量来替换

template<class T, int size =100>class array {  //enum { size = 100 };  T A[size];public:  T& operator[](int index) {    assert(index >= 0 && index < size);    return A[index];  }};

3.MFC类库中的模板

4.标准模板库（STL）

@标准模板库(STL)是一个C++编程库

@@它的组件是高度参数化的

@@@使C++程序员能够进行通用的程序设计

包括
￥容器类
￥算法

{

用于操纵容器中所保存的数据

有的算法与容器类是分离的

}
￥迭代器

{

将算法与容器分离的一种机制
允许程序顺序地遍历一个容器中的元素
有些迭代器（如istream和ostream迭代器）与容器无关

}
标准模板库(STL)中
￥通用算法被实现为函数模板
￥容器被实现为类模板

如:

vector、list、deque、set、mutilset、map、multimap、hash set、hash multiset、hash map和hash multimap