一、非类型模板参数
模板参数分类类型形参与非类型形参。
类型形参即:出现在模板参数列表中,跟在class或者typename之类的参数类型名称。
非类型形参,就是用一个常量作为类(函数)模板的一个参数,在类(函数)模板中可将该参数当成常量使用。
//非类型模板参数 -- 整型常量(不能是其他类型)
template<class T,size_t N>
class Mystack
{
public:
void Push(const T& x)
{}
private:
T _a;
size_t _top;
};
二、模板的特化
通常情况下,使用模板可以实现一些与类型无关的代码,但对于一些特殊类型的可能会得到一些错误的结果,需要特殊处理,比如:实现了一个专门用来进行小于比较的函数模板
全特化
template<class T1, class T2>
class Data
{
public:
Data() { cout << "Data<T1, T2>" << endl; }
private:
T1 _d1;
T2 _d2;
};
//特化 -- 特殊化,针对某些类型需要特殊化处理
template<>
class Data<int, char>
{
public:
Data() { cout << "Data<int, char>" << endl; }
private:
int _d1;
char _d2;
}
void TestVector()
{
Data<int, int> d1;
Data<int, char> d2;
}
偏特化:任何针对模版参数进一步进行条件限制设计的特化版本。
template<class T1, class T2>
class Data
{
public:
Data() { cout << "Data<T1, T2>" << endl; }
private:
T1 _d1;
T2 _d2;
};
//全特化
template<>
class Data < int, char >
{
public:
Data() { cout << "Data<T1, T2>" << endl; }
private:
};
//偏特化
template<class T1>
class Data < T1, char >
{
public:
Data() { cout << "Data<T1, T2>" << endl; }
private:
};
三、模板分离定义
// a.h
template<class T>
T Add(const T& left, const T& right);
//a.cpp
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
// main.cpp
#include"a.h"
int main()
{
Add(1, 2);
Add(1.0, 2.0);
return 0;
}
四、模板的优缺点
优点
1. 模板复用了代码,节省资源,更快的迭代开发,C++的标准模板库(STL)因此而产生;
2. 增强了代码的灵活性;
缺点
1. 模板会导致代码膨胀问题,也会导致编译时间变长
2. 出现模板编译错误时,错误信息非常凌乱,不易定位错误