C++模板

模板定义：模板就是实现代码重用机制的一种工具，它可以实现类型参数化，即把类型定义为参数，从而实现了真正的代码可重用性。模版可以分为两类，一个是函数模版，另外一个是类模版。函数模板针对仅参数类型不同的函数；类模板针对仅数据成员和成员函数类型不同的类。

注意：模板的声明或定义只能在全局，命名空间或类范围内进行。

一、函数模板通式

1、函数模板的格式：

　　　　template <class 形参名，class 形参名，......> 返回类型 函数名(参数列表)

　　　{

　　　　　　函数体

　　　}

　　其中template和class是关见字，class可以用typename 关见字代替，在这里typename 和class没区别，<>括号中的参数叫模板形参，模板形参和函数形参很相像，模板形参不能为空。一但声明了模板函数就可以用模板函数的形参名声明类中的成员变量和成员函数，即可以在该函数中使用内置类型的地方都可以使用模板形参名。模板形参需要调用该模板函数时提供的模板实参来初始化模板形参，一旦编译器确定了实际的模板实参类型就称他实例化了函数模板的一个实例。比如swap的模板函数形式为

　　　　　　template <class T> void swap(T& a, T& b){}，

当调用这样的模板函数时类型T就会被被调用时的类型所代替，比如swap(a,b)其中a和b是int 型，这时模板函数swap中的形参T就会被int 所代替，模板函数就变为swap(int &a, int &b)。而当swap(c,d)其中c和d是double类型时，模板函数会被替换为swap(double &a, double &b)，这样就实现了函数的实现与类型无关的代码。

　　2、注意：对于函数模板而言不存在 h(int,int) 这样的调用，不能在函数调用的参数中指定模板形参的类型，对函数模板的调用应使用实参推演来进行，即只能进行 h(2,3) 这样的调用，或者int a, b; h(a,b)。

#include <iostream>
using namespace std;
/* 不相同数据类型的函数模板 */

template <class T, class T1, class T2>
T sub(T1 a, T2 b){
    return a - b;
}
int main(void){
    cout << "8-1.5 = " << sub<float, int, float>(8, 1.5) << endl;
    return 0;
}

二、类模板通式

1、类模板的格式为：

　　　　template<class  形参名，class 形参名，…>   class 类名

　　　　{ ... };

　　类模板和函数模板都是以template开始后接模板形参列表组成，模板形参不能为空，一但声明了类模板就可以用类模板的形参名声明类中的成员变量和成员函数，即可以在类中使用内置类型的地方都可以使用模板形参名来声明。比如

　　　　template<class T> class A{public: T a; T b; T fun(T c, T &d);};

在类A中声明了两个类型为T的成员变量a和b，还声明了一个返回类型为T带两个参数类型为T的函数fun。

2、类模板对象的创建：比如一个模板类A，则使用类模板创建对象的方法为A<int> m;在类A后面跟上一个<>尖括号并在里面填上相应的类型，这样的话类A中凡是用到模板形参的地方都会被int 所代替。当类模板有两个模板形参时创建对象的方法为A<int, double> m;类型之间用逗号隔开。

3、对于类模板，模板形参的类型必须在类名后的尖括号中明确指定。比如A<2> m;用这种方法把模板形参设置为int是错误的（编译错误：error C2079: ‘a‘ uses undefined class ‘A<int>‘），类模板形参不存在实参推演的问题。也就是说不能把整型值2推演为int 型传递给模板形参。要把类模板形参调置为int 型必须这样指定A<int> m。

4、在类模板外部定义成员函数的方法为：

　　　　template<模板形参列表> 函数返回类型 类名<模板形参名>::函数名(参数列表){函数体}，

比如有两个模板形参T1，T2的类A中含有一个void h()函数，则定义该函数的语法为：

　　　　template<class T1,class T2> void A<T1,T2>::h(){}。

注意：当在类外面定义类的成员时template后面的模板形参应与要定义的类的模板形参一致。

#include <iostream>
using namespace std;
/* 类模板，类模板外部定义成员函数*/

template <class T>
class A{
public:
    A(int i):x(i){}
    T GetX();
private:
    T x;
};
template <class T>
T A<T>::GetX(){
    return x;
}
int main(void){
    A<int> a(10);
    cout << a.GetX() << endl;
    return 0;
}

三、模板的形参

有三种类型的模板形参：类型形参，非类型形参和模板形参。

1.类型形参由关键字class或typename后接说明符构成，如template<class T> void h(T a){};其中T就是一个类型形参，类型形参的名字由用户自已确定。

2.模板形参表示的是一个未知的类型。模板类型形参可作为类型说明符用在模板中的任何地方，与内置类型说明符或类类型说明符的使用方式完全相同，即可以用于指定返回类型，变量声明等。

3. （针对函数模板）不能为同一个模板类型形参指定两种不同的类型，比如template<class T>void h(T a, T b){}，语句调用h(2, 3.2)将出错，因为该语句给同一模板形参T指定了两种类型，第一个实参2把模板形参T指定为int，而第二个实参3.2把模板形参指定为double，两种类型的形参不一致，会出错。

4.（针对于类模板）当我们声明类对象为：A<int> a，比如template<class T>T g(T a, T b){}，语句调用a.g(2, 3.2)在编译时不会出错，但会有警告，因为在声明类对象的时候已经将T转换为int类型，而第二个实参3.2把模板形参指定为double，在运行时，会对3.2进行强制类型转换为3。当我们声明类的对象为：A<double> a,此时就不会有上述的警告，因为从int到double是自动类型转换。

5.非类型模板形参：模板的非类型形参也就是内置类型形参，如template<class T, int a> class B{};其中int a就是非类型的模板形参。

6.非类型形参在模板定义的内部是常量值，也就是说非类型形参在模板的内部是常量。

7.非类型模板的形参只能是整型，指针和引用，像double，String, String **这样的类型是不允许的。但是double &，double *，对象的引用或指针是正确的。调用非类型模板形参的实参必须是一个常量表达式，如：template <class T, int a> class A{};const int b，这时A<int, b> m;是正确的，即他必须能在编译时计算出结果。

8.注意：任何局部对象，局部变量，局部对象的地址，局部变量的地址都不是一个常量表达式，都不能用作非类型模板形参的实参。全局指针类型，全局变量，全局对象也不是一个常量表达式，不能用作非类型模板形参的实参。全局对象的地址或引用const类型变量是常量表达式，可以用作非类型模板形参的实参。sizeof表达式的结果是一个常量表达式，也能用作非类型模板形参的实参。

9.非类型模板形参的形参和实参间所允许的转换:允许从数组到指针，从函数到指针的转换，const修饰符的转换，提升转换，整值转换，常规转换。

10.可以为类模板的类型形参提供默认值，但不能为函数模板的类型形参提供默认值。函数模板和类模板都可以为模板的非类型形参提供默认值。类模板类型形参默认值和函数的默认参数一样，如果有多个类型形参则从第一个形参设定了默认值之后的所有模板形参都要设定默认值，在类模板的外部定义类中的成员时template 后的形参表应省略默认的形参类型。如：template<class T1, class T2=int> class A{};为第二个模板类型形参T2提供int型的默认值。template<class T1=int, class T2>class A{};就是错误的，因为T1给出了默认值，而T2没有设定。

C++模板

原文：http://www.cnblogs.com/ht-beyond/p/4273415.html