关于C++模板的认知

模板定义:

模板就是实现代码重用机制的一种工具,它可以实现类型参数化,即把类型定义为参数, 从而实现了真正的代码可重用性。模版可以分为两类,一个是函数模版,另外一个是类模版。

模板特点:
1. 模板是C++支持参数化多态的工具,使用模板可以使用户为类或者函数声明一种一般模式,使得类中的某些数据成员或者成员函数的参数、返回值取得任意类型;

  1. 模板是一种对类型进行参数化的工具;

  2. 通常有两种形式:函数模板和类模板;

  3. 函数模板针对仅参数类型不同的函数;

  4. 类模板针对仅数据成员和成员函数类型不同的类。

使用模板的目的就是能够让程序员编写与类型无关的代码。

比如编写了一个交换两个整型int 类型的swap函数,这个函数就只能实现int 型,对double,字符这些类型无法实现,要实现这些类型的交换就要重新编写另一个swap函数。使用模板的目的就是要让这程序的实现与类型无关,比如一个swap模板函数,即可以实现int 型,又可以实现double型的交换。模板可以应用于函数和类。下面分别介绍。

注意:模板的声明或定义只能在全局,命名空间或类范围内进行。即不能在局部范围,函数内进行,比如不能在main函数中声明或定义一个模板。

函数模板

函数模板的格式:
“` C++
template 返回类型 函数名(参数列表)
{

};


其中`template`和`class`是关见字,`class`可以用`typename` 关见字代替,在这里`typename` 和`class`没区别,`<>`括号中的参数叫模板形参,模板形参和函数形参很相像,模板形参不能为空。一但声明了模板函数就可以用模板函数的形参名声明类中的成员变量和成员函数,即可以在该函数中使用内置类型的地方都可以使用模板形参名。模板形参需要调用该模板函数时提供的模板实参来初始化模板形参,一旦编译器确定了实际的模板实参类型就称他实例化了函数模板的一个实例。比如swap的模板函数形式为 ``` C++ template <class T> void swap(T& a, T& b){}; </code></pre> 当调用这样的模板函数时类型<code>T</code>就会被被调用时的类型所代替,比如<code>swap(a,b)</code>其中a和b是int 型,这时模板函数swap中的形参T就会被int 所代替,模板函数就变为<code>swap(int &a, int &b</code>)。而当<code>swap(c,d)</code>其中c和d是double类型时,模板函数会被替换为<code>swap(double &a, double &b)</code>,这样就实现了函数的实现与类型无关的代码。 注意:对于函数模板而言不存在 <code>h(int,int)</code> 这样的调用,不能在函数调用的参数中指定模板形参的类型,对函数模板的调用应使用实参推演来进行,即只能进行<code>h(2,3)</code>这样的调用,或者<code>int a, b; h(a,b)</code>。 <h2>类模板</h2> 类模板的格式: ``` C++ template class 类名 { ... };
其中,template是声明各模板的关键字,表示声明一个模板,模板参数可以是一个,也可以是多个.

类模板和函数模板都是以`template`开始后接模板形参列表组成,模板形参不能为空,一旦声明了类模板就可以用类模板的形参名声明类中的成员变量和成员函数,即可以在类中使用内置类型的地方都可以使用模板形参名来声明。比如:
```C++
template<class T>
class A{
public:
    T a;
    T b;
    T hy(T c, T &d);
};
</code></pre>

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

在类模板外部定义成员函数的方法为:
```C++
template<模板形参列表>
函数返回类型类名<模板形参名>::函数名(参数列表){函数体}

比如有两个模板形参T1,T2的类A中含有一个void h()函数,则定义该函数的语法为:
```C++
template<class T1,class T2>
void A<T1,T2>::h(){}

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

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

注意:模板的声明或定义只能在全局,命名空间或类范围内进行。即不能在局部范围,函数内进行,比如不能在main函数中声明或定义一个模板。