C++模板的几种写法

常规：

tempate<class T>
struct SName1
{
// statement
};

template<typename T>
struct SName2
{
// statement
};

// 函数模板
template<typename>
void func(const T&)
{
// statement
}

// 理解实例化过程
SName1<int> var1; // 相当于定义了struct SName1_int{...};这种样式的结构体，然后定义变量SName1_int var1;
// 由此看出即使模板元素类型可以隐式类型或者元素类型有继承关系，但是实例化出的变量也不能赋值。
SName1<double> vard;
vard = var1; // 类型不匹配，vard是struct SName1_double, var1是 struct SName1_int;

func(1); //编译器自动推导出func<int>(1); 相当于定义了void func_int(const int&){}这种样式的函数,在此调用func_int(1);

有默认值的模板：

template<typename T,typename TN=int>
struct SName1
{
// statement
};

SName<double> var; // 等同于SName<double,int> var

模板作为模板参数：

// 模板作为模板参数，只适用于class和struct

// 先看一个例子
template<typename T, class CN>
struct SName
{
CN m_var;
};


// 现在有个需求，我只希望CN是一个模板类型，
// 而且是和std::list,std::vector,std::queue的模板形式template<typename T,class Allocator>一样
// 写法如下：
template<typename T, template<typename ELETYPE, class Allocator=std::allocator<ELETYPE>> 
 class CN>
struct SName
{
CN<T,std::allocator<T>> m_var;
};

//template<typename ELETYPE, class Allocator>中的ELETYPE和Allocator在SName里不能使用，所以以上简化为
template<typename T, template<typename ELETYPE, class=std::allocator<ELETYPE>> class CN>
struct SName
{
CN<T, std::allocator<T>> m_var;
};

// 或者
template<typename T, template<typename, class> class CN>
struct SName
{
CN<T, std::allocator<T>> m_var;
};

// 在阅读Boost或者GNU的源码时经常遇到template<typename T, typename=***>这个时候第二个参数可以统统理解为tempalte<typename T, typename T2=void>

//实例化
SName<int, std::vector> vecVar;
SName<int, std::list> listVar;
SName<int, std::queue> queueVar;

模板特化:

template<typename T, typename T2>
struct SName
{
};

// SName<int,int>特化版本
template<>
struct SName<int,int>
{
};

// SName<double,int> 第二个元素是int类型的偏特化版本
template<typename T>
struct SName<T,int>
{
};

非类型模板：

template<typename T, bool> // 第二个元素是值类型
struct SName
{
};


template<typename T>
struct SName<T,true>
{
};

template<typename T>
struct SName<T, false>
{
};

// 演化版本, 条件选择
template<typename T, bool=std::is_reference<T>>
struct SName
{
};

// 如果T是T&或者T&&, SName<int&>, SName<int&&>
template<typename T>
struct SName<T,true>
{
};


template<typename T>
struct SName<T, false>
{
};


// 表示一个数组
template<size_t N>
struct SName
{
   int arrI[N];
};