作者:良知犹存
转载授权以及围观:欢迎添加微信: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; }
在匹配函数之后,发现有出现匹配度相同的函数,优先选择普通函数。对于多个模板函数,选择“更特化”函数,否则出现二义性错误。
函数模板使用的时候注意调用使用的顺序规则。最特化:更特殊、更具体、更细化。