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