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