定义模板

模板是C++中泛型编程的基础。一个模板就是一个创建类或函数的蓝图或者说公式。

定义模板

编写一个函数来比较两个值

int compare(const string &v1,const string &v2)

{

    if(v1<v2) return -1;

    if(v2<v1) return 1;

    return 0;

}

int compare(const double &v1,const double &v2)

{

    if(v1<v2) return -1;

    if(v2<v1) return 1;

    return 0;

}

如果希望比较每种类型就不得不重复完全一样的函数体，且在编写程序的时候，就要确定要compare的所有类型。

可以定义一个通用的函数模板(functon tempate），来生成针对特定类型的函数版本。

template <typename T>
int compare(const T &v1, const T &v2)
{
if (v1 < v2) return -1;
if (v2 < v1) return 1;
return 0;
}

模板定义以关键字template开始，后跟一个模板参数列表(template parameter list)

模板参数表示在类或函数定义中用到的类型或值，当使用模板时，指定模板实参，将其绑定到模板参数上。

当调用一个函数模板时，编译器用函数实参来推断模板实参。

cout<<compare(1,0)<<endl;    //T 为int

模板类型参数

可以将类型参数看作类型说明符

template <typename T>  T foo(T* p)

{

    T tmp=*p;  //tmp的类型将是指针p指向的的类型

//...

     return tmp;

}

类型参数前必须使用关键字class 或typename，这两个关键字的含义相同。

非类型参数

一个非类型参数表示一个值而非一个类型，当一个模板被实例化时，非类型参数被一个用户提供的或编译器推断出的值所代替，这些值必须是常量表达式。（常量表达式：是指值不会改变并且在编译过程就能得到计算结果的表达式。）

template<unsigned N,unsigned M>

int compare(const char (&p1)[N],const char (&p)[M])

{

   return strcmp(p1,p2);

}

当调用这个版本的compare时，

compare("hi","mom")

编译器会使用字面常量的大小来代替N和M，实例化出如下版本：

int compare(const char (&p1)[3],const char (&p2)[4])