c++ 模板笔记

那个学习规律是这样的：你常常一次性学习很多东西，但是却绝大部分你实际工作中运用不到，结果就是不久就忘光光。这是可悲的人体结构决定的，但是有折衷的办法，那就是做一个备忘录，因为道理你已经学过了，缺少的是一点让你能够回忆的帮助。

C++模板相当的精妙，有着千奇百怪的专业术语，看上去差不多的术语，指的事情却差很远。下面流水账的记录一下他们的特点：

 

类模板全局特化：

template < typename T >

class  A  { public: void showMe(){ cout << "A" << endl; } } ;

// 所谓的特化

template <>

class  A < int >   { public: void showMe(); } ;

// 不能写template<>前缀

void  A < int > ::showMe()  { cout << "A<int>" << endl; }

 

类模板局部特化：

template < typename T1, typename T2 >

class  A;

template < typename T >   class  A < T,T > ;  // 局部特化1

template < typename T >   class  A < T,  int > ;  // 局部特化2

template < typename T1, typename T2 >   class  A < T1 * , T2 *> ;  // 局部特化3

 

 

类模板参数缺省：

template < typename T  =   int >

class  A;

A <>  a;  // 相当于A<int> a;  遗憾的是不能去掉<>

 

类模板的类模板参数：

template < template < typename Ta >   class  Tb >

class  A { Tb<int> obj1; Tb<float> obj2 } ;

 

 

成员函数模板：

template < typename T >   class  A  { public: template< typename T2> void showMe( T2 );} ;

// 恶心的定义

template < typename T >

template < typename T2 >

void  A < T > ::showMe( T2 obj )  { cout << "A::showMe(" << obj << ") " << endl; }

 

 

类模板成员全局特化：

template < typename T >

class A  { static int obj; void showMe(); } ;

// 静态数据成员全局特化

template <>   int  A < void > ::obj  =   110 ;

// 普通成员全局特化

template <>   void  A < void > ::showMe()  { cout << "A<void>::showMe()" << endl; }

 

 

函数模板：

template < typename T >  T max( T const & , T const &  );

 

函数模板全局特化：

template < typename T >  T max( T  const & , T  const &  );

// 特化

template <>  T max(  int   const & ,  int   const &  );  // 可以借助函数参数推断模板参数

 

 

非类型参数：

template < int  size > class  A {} ;

template < int  lenght >   void  max();

 

 

显式实例化：

template < typename T >   class  A {} ;

template  class  A < int > ;  // 生成A<int>的实现，这是一种编译器优化

 

 

备注1：全局特化后并非模板，可以看成模板的其中一个实例，因此应该避免重定义的情况出现。

备注2：非类型参数只能是整型常数。