函数模板的使用

函数模板还是比较强大的，大家都知道函数模板可以增加代码的复用性，提高编程效率。但殊不知函数模板其实还分为三种情况，隐式实例化、显式实例化、显示具体化。下面逐一来说明。

（1）隐式实例化

最常使用的函数模板形式，在使用模板之前，编译器不生成模板的声明和定义实例。只有当使用模板时，编译器才根据模板定义生成相应类型的实例。

（2）显式实例化

当显式实例化模板时，在使用模板之前，编译器根据显式实例化指定的类型生成模板实例。这样做会提高代码执行的效率，就不用了在每次调用时去推导参数类型。

（3）显式具体化

对于某些特殊类型，可能不适合模板实现，需要重新定义实现，此时可以使用显示具体化。比如交换两个结构体中的部分成员、比较两个数组成员的大小等。

以下给出代码示例：

#include<iostream>
using namespace std;
struct mystruct
{
    int a;
    float b;
    char c;
};

//普通函数
//void sswap(mystruct &a, mystruct& b)
//{
//    mystruct temp = a;
//    a = b;
//    b = temp;
//}


//函数模板
template<typename T>
void sswap(T& a, T& b)
{
    T temp = a;
    a = b;
    b = temp;
}



//函数模板显式具体化
//template<> void sswap(mystruct& A, mystruct& B)
//{
//    int m;
//    char n;
//    m = A.a;
//    A.a = B.a;
//    B.a = m;
//
//    n = A.c;
//    A.c = B.c;
//    B.c = n;
//}


int main()
{
 
    //假设我们现在只是想交换结构体中的int 和 char成员。不想交换float
    mystruct a = { 1,1.5,'a' };
    mystruct b = { 2,2.5,'b' };
  
    //显式实例化
    sswap<mystruct>(a, b);
    //cout << a.b << endl << b.b << endl;
    //2.5,1.5 此时调用的是普通函数，但是不符合我们的预期
    //采用模板函数显式具体化，把普通函数注释掉，就可以达到预期，float没有发生交换
    cout << a.b << endl << b.b << endl;
    // 1.5 2.5
   
    system("pause");
    return 0;
}