Question

C++迭代器类模板形参问题

// List节点的定义
template <class T>
struct __list_node {
typedef void* void_pointer;
void_pointer next;
void_pointer prev;
T data;
};
// List迭代器的定义
template<class T, class Ref, class Ptr>
struct __list_iterator {
// 这三个typedef是为了简化后面的代码书写
typedef __list_iterator<T, T&, T*> iterator;
typedef __list_iterator<T, const T&, const T*> const_iterator;
typedef __list_iterator<T, Ref, Ptr> self;
...
typedef __list_node<T>* link_type;

...
link_type node;
...
return *this
}
这是list迭代器的stl源码，类本身只有一个成员node;其他都是些函数，谁能解释下上面3个__list_iterator<>里3个参数各是什么意思。

Answer 1

template<class T, class Ref, class Ptr>上已经解释了，原始类型，引用，指针，区别只在是否有const.

追问

typedef __list_iterator与typedef __list_iterator在运行的时候怎么选择的机制啊

追答

这两个会同时存在，不需要选择？
list::const_iterator
list::iterator.

这不是函数的参数，不会进行类型推测

追问

能举两个例子解释下？