template关键字

模板函数

• 可特化， 特化时template<>声明不能少

template <class T>bool equal(const T& a, const T& b){    return a == b;}template <>bool equal<const char*>(const char* const& a, const char* const& b){    return strcmp(a, b);}

如果模板参数可以通过函数形参表推断可以省略，如上例中equal后面的<const char*>可以省略。

• 不可偏特化

• 不能有缺省模板实参

• 可以通过实参推断模板实参

如果调用时模板参数可以通过实参表推断，可以省略模板实参。

if (compare(a, b)){    ...}

有多个模板参数时只能省略靠后的参数，而不能跳着省略，就像函数参数中的默认值一样。 可与同名普通函数和数目或类型不同的其它模板函数构成重载

模板类

• 可特化
• 可偏特化

偏特化本身也是模板类，所有可以为一堆类的一个集合进行定制。配合Traits能够为不同情况提供不同实现，也是Loki库和很多范形编程的支柱。

• 可以有缺省模板实参，在缺省值中可以使用前面已经出现过的模板参数

即使所有模板参数都提供了缺省值，也需要在类形名后加上<>，就像函数中所有参数都有缺省值也必须要有()

template <class T = int>class Foo {};Foo<>* a = new Foo<>();

• 没办法模板推断，准确的说不能通过构造函数进行模板参数推断

template <class T>class Foo{    Foo(const T&) {}};..int n = 10.Foo<int>* i = new Foo<int>(n);...

成员限定符

• 如果在操作符".", "->"和"::"后出现的名称带有显式的模板实参列表时，需要加限定符template，否则模板参数列表的<会被认为是小于操作符。 (例子出自IBM)

#include <iostream>using namespace std;class X {   public:      template <int j> struct S {         void h() {            cout << "member template's member function: " << j << endl;         }      };      template <int i> void f() {        cout << "Primary: " << i << endl;      }};template<> void X::f<20>() {   cout << "Specialized, non-type argument = 20" << endl;}template<class T> void g(T* p) {   p->template f<100>();   p->template f<20>();   typename T::template S<40> s; // use of scope operator on a member template   s.h();}int main(){   X temp;   g(&temp);}

template template

在模板形参表中嵌套使用template可以使用模板类做为模板参数，好处是指定模板实参时只需要给出模板类的名称（不需要模板实参列表）。这种技术广泛地运用在loki库中，参考Modern C++ 的 1.5.1 Implementing Policy Classes with Template Template Parameters

template <class T> struct OpNewCreator {    static T* Create()    {       return new T;    } };template <template <class Created> class CreationPolicy> class WidgetManager : public CreationPolicy<Widget> {    ... }; typedef WidgetManager<OpNewCreator> MyWidgetMgr; //不需要为OpNewCreator提供实参进行实例化了

 

模板函数和模板类名字查找

参考这里。

最容易碰到的问题是使用父类中的成员时需要显示加this->或者Base<T>::使得名字变得模板参数相关。