C++模版全掌握（实例）

转自：http://www.cppblog.com/mzty/archive/2007/05/24/24761.html

前段时间重新学习C++，主要看C++编程思想和C++设计新思维。对模版的使用有了更进一层的了解，特总结如下：

下面列出了模版的常用情况：

//1. 模板类静态成员
template <typename T> struct testClass
template<> int testClass<char>::_data = 1;
template<> int testClass<long>::_data = 2;

//2. 模板类偏特化
template <class I, class O> struct testClass
template <class T> struct testClass<T*, T*>
template <class T> struct testClass<const T*, T*>
int main( void )

//3.类模版+函数模版
template <class T> struct testClass
template <class T> inline void swap( testClass<T>& x, testClass<T>& y )
int main( void )

//4. 类成员函数模板
struct testClass
int main( void )

//5. 缺省模板参数推导
template <class T> struct test
template <class I, class O=test<I> > struct testClass

void main()

//6. 非类型模板参数

//7. 空模板参数
template <class T> struct testClass;
template <class T> bool operator==( const testClass<T>&, const testClass<T>& )
template <class T> struct testClass
void main()

//8. template template 类
struct Widget1

template<template<class T>class X>
struct Widget2
void main()

//参考：/article/4995183.html

特别注意：类，全局函数，类的成员函数都可以特化，但是只有类可以半特化，全局函数和类的成员函数不可以半特化。

//-------------------------------------------
//1 类的特化和类成员函数的特化
template<typename T>
class Widget1

template<>
class Widget1<int>
template<>
void Widget1<char>::Fun1()

void main()
//-------------------------------------------
//2 全局函数的特化和重载
template<typename T1, typename T2>
T1 Fun2(T2)

//下面2个应该是属于重载
template<typename T2>
char Fun2(T2)

template<typename T1>
T1 Fun2(char)

//全局函数的特化
template<>
char Fun2<char,int>(int)
int main()
//-------------------------------------------
//3 全局函数不能半特化，以下编译失败
template <typename T1,typename T2> //原型1
void Test(T1,T2)

template <typename T1>
void Test<T1,T1>(T1,T1)

template<typename T1, typename T2> //原型2
T1 Fun2(T2)
//
template<typename T2>
int Fun2<int,T2>(T2)
template<typename T1>
T1 Fun2<T1,int>(int)
template<typename T>
T Fun2<T,T>(T)
int main()

template<typename T1, typename T2> struct Widget2

template<typename T2>
struct Widget2<char,T2>

template<typename T2>
struct widget2

//the class member funtion can not be partial specialization
//以下的成员函数半特化，编译失败
template<typename T2>
void Widget2<char, T2>::Fun2()
int main()
}

参考：C++编程思想2