C++模板的介绍
作者：良知犹存
转载授权以及围观：欢迎添加微信：Allen-Iverson-me-LYN
1. 模板是泛型编程的基础，泛型编程即以一种独立于任何特定类型的方式编写代码。C++模板的作用，类似于C中的typedef，不过C++中模板有更多的灵活性。C++模板类型,类似于Objective-C中的泛型。C++通过类模板来实现泛型支持。
2.C++中有两种模板，分别是函数模板和类模板。
一、类模板
当程序有出现有一些相似的类，这个时候我们可以选择使用类模板进行定义，但是与函数模板不同，类模板不能推断实例化（下面有描述推断的情况），所以你只能显示执行类型参数使用Printer<int> p(1)，而不能让编译器自行推断Printer p(1)。
示例代码部分
template<typename T> 标志：
T T 可以替换为我们需要的变量类型：例如 int double等
template<typename T>class AAA{private:T t;public:
void test_func(const T &t);
void print(void);};template<typename T>void AAA<T>::test_func(const T&t){
this->t = t;}template<typename T>void AAA<T>::print(void){cout<<t<<endl;}
使用介绍
1：用时再实例化
AAA<int>a;AAA<double>b;
2：事先实例化
/*事先实例化*/template AAA<int>/*再使用*/AAA<int >a;
类的定做与继承
函数模板可以重载，类模板也可以进行重载，这样的类叫做定做。
定义好<>里面的类型之后，类里面所有的成员都可以修改，而派生类可以与之前不一样。
在模板类的继承中，需要注意以下三点：
如果父类自定义了构造函数，记得子类要使用构造函数列表来初始化
继承的时候，如果子类不是模板类，则必须指明当前的父类的类型，因为要分配内存空间
继承的时候，如果子类是模板类，要么指定父类的类型，要么用子类的泛型来指定父类
template<>class AAA<int>
{public:
void test_func_int(const int &t){
cout<<t<<endl;
}
void print(void);};void AAA<int>::print(void){cout<<"for test"<<endl;}
二、函数模板
函数模板种：函数重载实现相同函数名的实现，但是如果有很多种实现类型框架需要实现，我们便不可以重复的写如此多的重载函数，我们需要函数模板去实现，在重载函数种使用不同的参数类型作为一个参数定义一个函数，这便是函数模板的初始定义。
函数模板实例化
函数模板只是一套编译指令，一般写在头文件.编译程序的时候,编译器根据函数的参数来推导生成 模板的函数,类似Makefile规则.
通过模板得到函数的过程,我们称之为模板的实例化或者叫模板的具体化.
示例代码
using namespace std;template<typename T>const T& mymax(const T& a,const T& b){
// cout<<"mymax(T& a,T& b)"<<endl;
cout<<__PRETTY_FUNCTION__<<endl;
return (a<b)?b:a;}template<typename T>const T * mymax1(const T* a,const T* b){
// cout<<"mymax(T& a,T& b)"<<endl;
cout<<__PRETTY_FUNCTION__<<endl;
return (a<b)?b:a;}template<typename T>void test_func(T f){
cout<<__PRETTY_FUNCTION__<<endl;}int f1(int a,int b){
return 0;}void add(int a,int b){
cout<<"add(int a,int b) ="<<(a+b)<<endl;/*普通函数可以进行简单的隐式类型转化*/}int main(int argc,char** argv){
int a = 1,b = 2.1;add(a,b);/*隐式转化，但是函数模板不支持此种转化*/int ia = 1, ib = 2;mymax(ia,ib);/*隐式转化支持从可读写转为只读 ，从高到低*/char ca[] = "ab";char cb[] = "cd";mymax(ca,cb);mymax1(ca,cb);/*s数组转化为指针*/char ca1[] = "abc";/*长度不一致的时候 error*/
char cb1[] = "cd";// mymax(ca1,cb1);/*无法推导出同样的T char&[3],char&[2]*/mymax1(ca1,cb1);/*s数组转化为指针*/test_func(f1);test_func(&f1);return 0;}
在匹配函数之后，发现有出现匹配度相同的函数，优先选择普通函数。对于多个模板函数，选择“更特化”函数，否则出现二义性错误。
函数模板使用的时候注意调用使用的顺序规则。最特化：更特殊、更具体、更细化。
更多分享，扫码关注我
微信：Allen-Iverson-me-LYN
