作者：良知犹存
转载授权以及围观：欢迎添加微信：Allen-Iverson-me-LYN
1.模板是泛型编程的基础，泛型编程即以一种独立于任何特定类型的方式编写代码。C++模板的作用，类似于C中的typedef，不过C++中模板有更多的灵活性。C++模板类型,类似于Objective-C中的泛型。C++通过类模板来实现泛型支持。
2.C++中有两种模板，分别是函数模板和类模板。
一、类模板
当程序有出现有一些相似的类，这个时候们可以选择使用类模板进行定义，但是与函数模板不同，类模板不能推断实例化（下面有描述推断的情况），所以你只能显示执行类型参数使用Printer
示例代码部分
template
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
{ public:
void test_func_int(const int &t){
cout«t«endl;
}
void print(void);};
void AAA
::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
原文作者：良知犹存
原文链接：https://www.cnblogs.com/conscience-remain/p/12765273.html
