C++修炼之路之反向迭代器和非模板参数，模板特化，分离编译

目录

前言 

一：反向迭代器

 二：非类型模板参数

三：模板的特化

四：模板的分离编译 

五：模板的优点与缺点 

接下来的日子会顺顺利利，万事胜意，生活明朗-----------林辞忧

前言 

在vector，list,deque等容器中还有反向迭代器来遍历数据，但对于反向迭代器的实现较为复杂，在模板中也还有一些深入了解的知识，如模板的特化，非模板参数和分离编译，接下来我们开始学习

一：反向迭代器

1.在STL中有着数组结构，链式结构和树形结构，对于每一种结构的数据要去遍历数据的话，就有着不同的遍历方式，而迭代器就封装屏蔽了底层的实现的复杂实现机制，用一种统一简单的方式来遍历访问容器的数据，这对于我们提供了很大的便利，而对于我们也应该了解每一种结构用迭代器来便利访问数据的实现方式

2.如果按照以前的方式的话，要在创建一份属于反向迭代器的代码，这样与正向迭代器的代码有着大量的重复，显得冗余，于是我们提出用一种新的方式来实现反向迭代器--使用容器适配器来解决

template<class iterator,class Ref,class Ptr>
class Reverseiterator
{
public:
	typedef Reverseiterator<iterator, Ref, Ptr>  Self;

	Reverseiterator(iterator it)
		:_it(it)
	{}

	bool operator!=(const Self &s)
	{
		return _it != s._it;
	}

	Self& operator++()
	{
		--_it;
		return *this;
	}
	Ref operator*()
	{
		return* _it;
	}

	Ptr operator->()
	{
		return _it.operator->();
	}

private:
	iterator _it;
};

 在vector和list的模拟实现中只要在typedef 下就可以使用反向迭代器来遍历容器内容了

对于实现的结构就是

 二：非类型模板参数

模板参数分为类型形参与非类型形参

类型形参：出现在模板参数列表中，跟在class或typename之类的参数类型名称

非类型模板形参：用一个常量作为类或函数模板的一个参数，当成常量来使用

如：创建一个静态数组

第二个参数值只支持 整型，对于浮点数，类对象和字符串等不能作为非类型模板参数

三：模板的特化

 针对某些类型进行特殊化处理

分为全特化，偏特化

template <class T1,class T2>
class Date
{
public:
	Date()
	{
		cout << "Date<T1,T2>" << endl;
	}
private:
	T1 _d1;
	T2 _d2;
};
//全特化
template<>
class Date<int ,double>
{
public:
	Date()
	{
		cout << "Date<int,double>" << endl;
	}
private:
	int _d1;
	double _d2;
};
//偏特化
template<class T1>
class Date<T1, double>
{
public:
	Date()
	{
		cout << "Date<T1,double>" << endl;
	}
private:
	T1 _d1;
	double _d2;
};

template <class T1,class T2>
class Date<T1*, T2*>
{
public:
	Date()
	{
		cout << "Date<T1*,T2*>" << endl;
	}
private:
	T1 _d1;
	T2 _d2;
};
int main()
{
	Date<int, int>d1;
	Date<int, double>d2;
	Date<double, double>d3;
	Date<int, double*>d4;
	Date<double*, double*>d5;


	return 0;
}

对参数的进一步限制，分为偏特化为指针或者引用类型

如 

 

但有特殊的是如果是

template<class T>
bool Less(const T& left, const T& right)
{
	return left < right;
}

对它特化一下的话 ，就将变为

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

这样的话原本const修饰的是&，现在结果变为了const修饰*，改变了原意，所以需要修改为

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

四：模板的分离编译 

对与模板的声明和定义分离开，在头文件声明，源文件完成定义，

这是在使用时就会有链接错误的信息，因为类模板没有实例化，在使用时是找不到地址的，所以声明和定义都放在头文件中

编译预处理的几个阶段

五：模板的优点与缺点 

优点：

1.模板复用了代码，节省资源

2.增强了代码的灵活性

缺点：

1.由于模板在实例化时会实例化出一份属于自己的代码，会导致代码的膨胀问题，编译时间增长

2.出现模板编译错误时，错误不容易定位到