1.类型模板参数和非类型模板参数

之前写模板传的都是类型——类型模板参数

现在想定义两个静态数组，数组长度不同，就可以用模板参数传数值而不是传类型

非类型模板参数——是一个常量，只适用于整型（int，short，char，size_t...）

那么这个静态数组可以用array，是一个固定大小的顺序表

其实可以发现他的模板参数就是有类型的也有非类型的

成员函数没有头尾插，有迭代器和范围for，他对比的是C的静态数组，并且他的数据也存在栈上

为什么可以兼容C还要搞出他？

他们对越界的检查不一样

C对越界读不检查，越界写抽查

C++的array越界读写都能查，因为重载了[ ],operator对其检查

2.特化

模板的特化，使用模板可以实现一些与类型无关的代码，但对于一些特殊的类型可能会得到错误结果

按照类型分类

函数模板特化

比如之前我们实现的Less，如果传的是类型指针就会比较地址，而不是解引用之后的值

我们的解决方案是自己写一个仿函数

但是有一点点挫

现在我们可以进行特化

template
bool Less( T left,  T right)
{return left < right;
}template<>
bool Less(Date* left, Date* right)
{
return *left < *right;
}

一定要注意，函数模板特化，一定要有函数模板，然后才是针对某些类型的特殊处理（用函数模板特化），只有特化是会报错的，因为一般类型没有处理

注意参数列表的统一，说的通俗一些，特化就是特殊处理，但是本质不应该改变

第一个Less是对引用的比较，但是第二个Less突然变成了对“值”的比较

应该写成

当然对于函数模板特化，这个类型匹配非常恶心，建议还是直接写成重载

类模板特化

和刚才的规则一样

假设我们对A类的类型特化

template
class A
{
public:A(){cout << "A" << endl;}
private:T1 _a1;T2 _a2;
};template<>
class A
{
public:A(){cout << "A" << endl;}
private:int _a1;int _a2;
};

调用结果：

按照特化程度分类：

全特化

全部参数特化

还是上面那个例子，只对类型特化，不可以，也不可以

偏特化 /半特化

部分参数特化，是对参数类型的进一步限制

只要类型是就匹配

template
class A
{
public:A(){cout << "A" << endl;}
private:T1 _a1;T2 _a2;
};
template
class A
{
public:A(){cout << "A" << endl;}
private:T _a1;char _a2;
};

优先级总结