模板

　　模板：类模板和函数模板。

　　一、模板实参推断：

　　　　定义：从函数实参确定模板实参的类型和值的过程叫做模板实参推断。

　　　　1、多个类型形参的实参必须完全匹配。

　　　　template <typename T>

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

　　　　{

　　　　　　if(v1 < v2) return 1;

　　　　　　else return 0;

　　　　}

　　　　int main()

　　　　{

　　　　　　short s;

　　　　　　compare(s,1024);//error

　　　　}

　　　　这里是错误的，因为调用comare时的实参类型不相同。第一个实参推断出的模板类型是short，第二个是int，类型不匹配，所以模板实参推断失败。

　　　　如果想要允许实参的常规转换，函数必须用两个类型形参来定义：

　　　　template <typename A, typename B>

　　　　int compare(const A& vi, const B& v2)。。。

　　　　

　　　　2、类型形参的实参的受限转换。

　　　　一般不会转换实参以匹配已有的实例化，会产生新的实例。

　　　　编译器只会接受两种转换：

　　　　　　const转换：接受const引用或const指针的函数，可以分别用非const对象的引用和指针来调用，无须产生新的实例化。如果函数接受非引用类型，形　　　　　　           参类型和实参都忽略const。即，无论传递const或非const对象给接受非引用类型的函数，都使用相同的实例化。

　　　　　　数组或函数到指针的转换：如果模板形参不是引用类型，则对数组或函数类型的实参应用常规指针转换。数组实参将当做指向其第一个元素的指针，

　　　　函数实参当做指向函数类型的指针。

 

　　　　3、应用于非模板实参的常规转换

　　　　用普通类型定义的形参可以使用常规转换。

　　　　4、模板实参推断与函数指针

　　　　可以使用函数模板对函数指针进行初始化和复制，这样做时，编译器使用指针的类型实例化具有适当模板形参的模板版本。

　　　　如下：

　　　　template <typename T>

　　　　int compare(const T& , const T&);

　　　　type int (*pf) (const int& a, const int& b) fun;

　　　　fun t = compare.

　　　　t的类型是函数指针，指向“接受两个const int&类型形参并返回int值得函数”，形参的类型决定了T的模板实参的类型。指针t的引用是将T绑定到int的实

　　　　例化。

　　　　如果不能从函数指针类型确定模板实参，就会报错。

　　　　void func(int (*) (const string&，const string&);

　　　　void func(int (*) (const int&，const int&);

　　　　func(compare)//报错。

　　　　问题在于，通过查看func的形参类型不可能确定模板实参的唯一类型，对func的调用可以实例化下列函数中的任意一个，

　　　　compare(const string&,const string&);

　　　　compare(const int &,const int &);

　　　　因为不能为传给func的实参确定唯一的实例，所以出错。

　　二、函数模板的显式实参

　　　　1、在返回类型中使用类型形参

　　　　compare<string,string>(a,b);

　　　　2、显示实参与函数模板指针

　　　　可以使用显示模板实参消除二义性。

　　　　func(compare<int>);//ok.