STL中的list

最近在细看《STL源码剖析》，看到list的源码的时候，一开始是有疑问的。

list的迭代器设计是满足traits编程技法的，list的迭代器具体实现如下：

template<class T, class Ref, class Ptr>
struct __list_iterator {
  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 bidirectional_iterator_tag iterator_category;
  typedef T value_type;
  typedef Ptr pointer;
  typedef Ref reference;
  typedef __list_node<T>* link_type;
  typedef size_t size_type;
  typedef ptrdiff_t difference_type;

  link_type node;

  __list_iterator(link_type x) : node(x) {}
  __list_iterator() {}
  __list_iterator(const iterator& x) : node(x.node) {}

  bool operator==(const self& x) const { return node == x.node; }
  bool operator!=(const self& x) const { return node != x.node; }
  reference operator*() const { return (*node).data; }

#ifndef __SGI_STL_NO_ARROW_OPERATOR
  pointer operator->() const { return &(operator*()); }
#endif /* __SGI_STL_NO_ARROW_OPERATOR */

  self& operator++() { 
    node = (link_type)((*node).next);
    return *this;
  }
  self operator++(int) { 
    self tmp = *this;
    ++*this;
    return tmp;
  }
  self& operator--() { 
    node = (link_type)((*node).prev);
    return *this;
  }
  self operator--(int) { 
    self tmp = *this;
    --*this;
    return tmp;
  }
};

从上可知，list的迭代器是一个结构体，其中定义了iterator_category, value_type。那么根据利用之前介绍过得iterator_traits<iterator>::iterator_category即可得到list迭代器的类型等等。这个迭代器的设计是没有问题的，那么list<T>::begin()也应该返回这个迭代器才对。可是list<T>::begin()的定义是：

  iterator begin() { return (link_type)((*node).next); }
  const_iterator begin() const { return (link_type)((*node).next); }
  iterator end() { return node; }
  const_iterator end() const { return node; }

可知begin()返回的实际上是link_type型的指针，也就是指向list_node结构体的指针，并不是预期的list-iterator类型。那么为什么会这样呢？

实际上是因为list_iterator的定义中定义了一个构造函数：  __list_iterator(link_type x) : node(x) {}

所以list_node指针会被用于构造一个list_iterator结构体。通过这种方式,begin()函数最后返回的确实是预期的list_iterator结构体。

list还有一点值得注意，就是list.size()的求解。list并没有专门设计一个private变量来记录当前list的size，而是每次都通过distance（begin(),end()）来得到，所以其实时间复杂度是比较高的。关于这个可参见 http://blog.csdn.net/russell_tao/article/details/8572000 这份博客里面是有详细的解释