stl迭代器原理
具体实现肯定不如书上讲的清楚了,这里只是根据侯捷书上的讲解,自己建立一条思路以及形成一些相关的概念
迭代器也可被称作智能指针,用于遍历容器内的元素,stl每个容器都实现了自己的iterator,iterator可以是一个类对象,也可以是原生指针
因此对迭代器进行解应用操作的时候需要重载* ->运算符,使之能正确返回元素对象,这两个重载是迭代器的核心
另外stl实现了算法和容器的泛型,如何能使算法顺利的对容器进行操作,这又是stl的泛型化必须要解决的问题
这时迭代器又扮演了中介的角色,只需把容器的迭代器传给算法就可以对容器进行操作
新问题又出现了,算法接受迭代器作为参数,这其中又可能用到迭代器所关联的元素型别,比如以关联型别作为返回值
如何获取迭代器关联型别,惯性思维我们可能会这样来做:
iterator::value_type fun();
但是当迭代器是原生指针时,这种用法就不合乎语法了,比如int*,它根本就不是一个类,value_type也就无从谈起了
单独为原生指针弄一套算法是可以,但却背离了泛型思想的初衷,也不可能抛弃原生指针,也就是说iterator本身已经定型,它已经
满足了我们操作容器内部元素的需要,不能在iterator上做文章,因此引入第三方是个不错的办法,也是程序设计中常用的一种思想
关联的双方都没有改进余地的时候,引入第三者总是可以起到四两拨千斤的作用,也就是stl中的traits机制
算法不直接取迭代器的关联型别,而是通过一个traits类来获取,如下
template <class T>
class I_traits
{
typedef typename T::value_type value_type;
};
typename I_traits<iter>::value_type fun();
这样并体现不出traits调停者的作用
为了支持原生指针,除了通用性traits模板,还可以建立该模板的偏特化版本,对模板参数类型作进一步的限制
template <class T>
class I_traits<T *>
{
typedef typename T::value_type value_type;
};
好了不直接使用iterator的valuetype而是通过traits类对iterator进行提取,这样就避免了原生指针不能携带自己的关联型别这种特殊情况,使迭代器的使用方仍然能得到迭代器的关联型别
无论iterator是不是原生指针对traits类型调用valuetype成员都是合法的。
谨记四个字“修身养性”
大江东去浪淘尽英雄,再牛B的人物最后也是一掊土
向善不是目的,而是抚慰心灵,更多的感受幸福,感谢别人给你行善的机会
相信老子的话:万物生于有,有生于无,一切的道理都源于一个无法证明的假设
我是好是坏就自然而然的摆在那里,并不会因为别人的评价而改变什么,我也不需要别人用一张纸来说明我什么,世间最难得的是自由
支持大额赞助:
![](https://images.cnblogs.com/cnblogs_com/sky-view/883309/o_%E6%97%A0%E6%A0%87%E9%A2%98.png)