文章目录
迭代器
迭代器提供一种方法,使之能够依序巡访某个容器所含的各个元素,但是又无需暴露该容器内部表述方式。
迭代器最重要的编程工作就是对operator*和operator->进行重载工作。
(1 假设算法中有必要声明一个变量,以“迭代器所指对象的型别”为型别,如何是好?
解决方法:利用function template 的参数推导机制(argument deducation).
(2 template 参数推导机制推而导之的只是参数类型,无法推导函数的返回值类型。
解决方式:(1)声明内嵌型别。如下:
template <class T>
struct MyIter{
typedef T value_type;//内嵌型别声明(nested type)
T* ptr;
MyIter(T* p=0):ptr(p){
}
T& operator*()const {
return *ptr;}
//......
};
template<class T>
typname I ::value_type//这一整行是func的返回值类型,func()返回值类型必须加上关键词typname
func(I ite)
{
return *ite}
//......
MyIter<int>ite(new int (8));
cout<<func(ite);//输出8
(2)内嵌有一个隐晦的陷阱,并不是所有的迭代器都是class type,原生指针就不是!若不是,就无法定义为内嵌型别,但STL必须接受原生指针作为一种迭代器。那么需要一种可以让上述的一般化概念针对特定情况(例如针对原生指针)做特殊化处理的方法?
解决方式:template partial specialization (偏特化处理)(特性萃取机):针对任何template参数更进一步的条件限制所设计出来的一个特化版本。
//泛化版本
template<typename T>
class C{
...};//
//偏特化处理
template<typename T>
class C<T*>{
...};//这个特化版本仅适用于“T为原生指针”的情况
//“T为原生指针”便是“T为任何类型”的一个更进一步的条件限制。
3)最常用的5种特性萃取机:
① value _type
② different_type
③ pointer
④ reference
⑤ iterator_catagoly
4)五种迭代器:
Input Iterator:只读
Output Iterator:只写
Forward Iterator:允许写入型算法(例如replace())在此种迭代器所形成的区间上进行读写操作。
Bidirectional Iterator:可双向移动。
Random Access iterator: 前四种迭代器只供应一部分指针算术能力(前三种支持operator++,第四种再加上operator–),第五种则涵盖了所有指针算术能力,包括:p+n,p-n,p[n],p1-p2,p1<p2。
5)迭代器举例:
Advanced():该函数有两个参数,迭代器p和数值n;函数内部将p累进n次(前进n距离)。
对于该函数有三份定义:一个针对Input Iterator;一个针对Bidirectional Iterator;再一份针对Random Access iterator。
此处为了让在编译期就决定使用哪个版本,而不是在执行期。这样便可以加快程序效率。因此我们采用重载函数机制来达成这一目标。
如下:
实现接口
// 以下函数用于让迭代器前进 n 个距离
template <class InputIterator, class Distance>
inline void advance(InputIterator& i, Distance n) {
__advance(i, n, iterator_category(i));// iterator_category(i)萃取迭代器种类
}
三种版本的函数重载
//__advance()函数的第三个参数代表迭代器的不同类别,从而形成函数的重载。
// advance 的 input_iterator_tag 的版本,
template <class InputIterator, class Distance