函数模板和类模板

一、函数模板

函数模板代表一类相同结构的函数，通过用户提供的具体参数，C++编译器在编译时刻能够将函数模板实例化，根据同一个模板创建出不同的具体函数，这些函数之间的不同之处主要在于函数内部一些数据类型的不同。

#include "stdafx.h"
#include <iostream>
using namespace std;

template <typename T>
T max1(T a,T b)
{
    return a>b ? a:b;
}

int main(int argc,char* argv[])
{
    cout<<max1(1,2)<<endl;                //隐式调用int类型的max1()函数
    cout<<max1(5.6f,3.1f)<<endl;        //隐式调用float类型的max1()函数
    cout<<max1(3.14l,5.13l)<<endl;        //隐式调用double类型的max1()函数
    cout<<max1('A','C')<<endl;            //隐式调用char类型的max1()函数
    cout<<max1<int>(3,5.7f)<<endl;        //必须指定int类型
    system("pause");
    return 0;
}

执行结果：

分析：值得注意的是代码第17行，由于第一个参数3是int型，而第二个参数5.7是float型，此时如果不指定使用什么类型，会产生编译的模糊性，即编译器不知道需要调用int类型还是float类型的max1函数。

二、类模板

类模板就是为类声明一种模板，使得类中的某些数据成员，或某些成员函数的参数，又或者是某些成员函数的返回值可以取任意的数据类型，包括基本数据类型和自定义数据类型。

#include "stdafx.h"
#include <iostream>
using namespace std;

struct Student
{
    int id;
    float average;
};

//类模板
template <class T>
class Store
{
public:
    Store(void);        //默认构造函数
    T GetElem(void);    //获取
    void PutElem(T x);    //设定
private:
    T item;
    int haveValue;
};

//成员函数实现，类模板的成员函数都是函数模板
template <class T>
Store<T>::Store(void):haveValue(0)
{
}

template <class T>
T Store<T>::GetElem(void)
{
    if(haveValue == 0)
    {
        cout<<"item没有存入数据！"<<endl;
        exit(1);
    }
    return item;
}

template <class T>
void Store<T>::PutElem(T x)
{
    haveValue = 1;
    item = x;
}

int main(int argc, char* argv[])
{
    Student g = {103,93.8};
    Store<int> S1,S2;    //声明两个Store类对象，数据成员item为int型
    Store<Student> S3;    //声明Store类对象，数据成员item为Student结构体类型
    S1.PutElem(7);
    S2.PutElem(-8);
    S3.PutElem(g);
    cout<<S1.GetElem()<<endl;
    cout<<S2.GetElem()<<endl;
    cout<<"ID is "<<S3.GetElem().id<<endl;
    cout<<"Average is "<<S3.GetElem().average<<endl;
    system("pause");
    return 0;
}

以上这个例子比较简单直观地描述了类模板的定义及使用。

执行结果为：