C++——模板

在c++中为了提高代码的复用率，提出了模板。模板分为模板函数、模板类。

一、模板函数
假如要实现一个加法函数使其可以通用任何类型。
当然能通过宏来实现 #define Add(a,b) ( (a)+(b) ) 但是宏的缺点显而易见。不能进行参数检测，安全性太差了。
还可以写出一下的函数模板。

template<class T>//模板的参数列表
T Add(T left, T right)
{
    return left + right;
}

当然单单以上的模板是编译不能通过的。因为会发现有链接错误，也就是系统找不到实例，只是一个模板 ，从而链接错误。
加入函数的实例化就可编译通过：

int main()
{
  int sum=0;
  sum=Add(1,2);//实例化，也叫推演
  return 0;
}

实例化可以分为显示和隐式。

Add<int>(1,2)//显式
Add(1,2)//隐式

【参数类型转换】
编译器只会转换以下情况下的：
1.const 引用或者const 修饰的指针 可以分别用非const的引用和非const 的指针来调用。
2.数组名会被转化为指针。
3.函数名被转化为函数指针。
注意：
1.template里面的class 可以用typename替换 而不能用struct 替换。
2.函数模板只是一个产生函数的工具，而不是真正的函数。
3.模板被编译了两次，第一次是在模板的时候检查语法错误。第二次在实例化的时候进行编译查看参数是否调用有效。
4.inline关键字要放在模板参数列表后返回值前。例如：inline T Add(T left ,T right)
5.当该函数声明了时，编译器不会用模板来生成这个函数，而是直接调用已经有的函数。

【模板特化】
特化是对模板进行特殊化处理
可以这样写

template<>
 double Add< double>(double p1,  double p2)
{
    return p1+p2;
}

特化后，实例化的时候会先找特化版本，如果没有再用通用模板实现
二、类模板
类模板也是模板
格式为：

template<class  形参，class 形参.....>
class 类名
{
    ....
};

双向链表的模板

template <class T>
struct ListNode
{
    ListNode(const T&x)
    :_data(x)
    , _next(NULL)
    , _prev(NULL)
    {}
    T _data;
    ListNode<T> *_next;
    ListNode<T>*_prev;
};
template<class T>
class List
{
    typedef ListNode<T> Node;//方便起见 重命名该类型
public:
    List()
        :_pHead(NULL)
        , _pTail(NULL)
    {}
    private:
    Node *_pHead;
    Node *_pTail;
};

总结模板：
优点：代码复用，提高了效率， 提高了代码的灵活度。
缺点：模板让代码复杂，凌乱。编译代码时间变长，出现错误时不能准确的定位错误。