这里模拟实现的list的迭代器部分重点难理解的在于为什么定义迭代器这个模板时定义了三个模板参数,并且如果利用这三个参数。其实这三个参数是为了实现const_iterator而准备的,这三个模板参数有两种形态分别是<T,T&,T*>和<T,const T&,const T*>分别对应普通list对象和const list对象的迭代器,前者的迭代器可以对list<T>对象可读可写,后者的迭代器对list<T>对象仅仅可读。它其中的逻辑笔记如下:
如上图所示:重点:当list对象调用一个begin函数时,如果调用的对象是普通list<T>对象,那么调用到的是返回结果为普通iterator的begin函数,编译器根据我们的typedef关系转换成__list_iterator<T, T&, T*>即传递三个参数给iterator模板实例化一个iterator对象,该iterator对象对该list对象可读可写。相反的,如果是const list<T>对象,那么其迭代器将可读不可写,即该const list<T>对象可读不可以写。