C++

vc2019的链表list迭代器部分代码

// CLASS TEMPLATE _List_iterator
template 
class _List_iterator : public _List_const_iterator<_Mylist> {
public:
    using _Mybase           = _List_const_iterator<_Mylist>;
    using iterator_category = bidirectional_iterator_tag;

    using _Nodeptr        = typename _Mylist::_Nodeptr;
    using value_type      = typename _Mylist::value_type;
    using difference_type = typename _Mylist::difference_type;
    using pointer         = typename _Mylist::pointer;
    using reference       = value_type&;

    using _Mybase::_Mybase;
	......
}

我的理解是list中迭代器iterator是类型重定义，即别名，具体代码如下:

using iterator                  = _List_iterator<_Scary_val>;

其中迭代器_Scary_val是类型重定义，即别名，具体代码如下:

using _Val_types = conditional_t<_Is_simple_alloc_v<_Alnode>, _List_simple_types<_Ty>,
        _List_iter_types<_Ty, typename _Alty_traits::size_type, typename _Alty_traits::difference_type,
            typename _Alty_traits::pointer, typename _Alty_traits::const_pointer, _Ty&, const _Ty&, _Nodeptr>>;//从这里这一知道迭代器的特性是什么样的

using _Scary_val = _List_val<_Val_types>;//泛型特例化（这里不知道是不是表达的不对），确定_Val_types类型

然后传递给_List_iterator，在_List_iterator里重定义，和GNU2.9的类似

下图是GNU2.9与4.9的_list_iterator

traits具体运作如下

参考：侯捷泛化编程与标准库、VC2019、《C++Primer》