STL源码剖析学习五：list

每次插入或者删除一个元素，就配置或者释放空间。
插入和删除元素操作都是常数时间。

 

list的节点：

template<class T>
struct __list_node{
    typedef void* void_pointer;
    void_pointer prev;
    void_pointer next;
    T data;
}

是一个双向链表

 

list的迭代器：
不能用普通指针作为迭代器

typedef __list_node<T>* link_type;
link_type node;

list是一个双向链表，提供迭代器为双向迭代器，可向前向后移动，但不提供随机访问能力
插入删除接合操作不会引起list迭代器的失效。

 

list的数据结构：
环状双向链表，只需要一个指针就可以完整表现整个链表

typedef __list_node<T> list_node;
typedef list_node* link_type;
link_type node;

 

如果让node指向刻意置于尾端的一个空白节点，就可以符合STL前闭后开的原则。

用于配置、释放、构造、销毁节点的函数

link_type get_node
{
    return list_node_allocator::allocate();
}
void put_node(link_type p)
{
    list_node_allocator::deallocator(p);
}
link_type create_node(const T& x)
{
    link_typr p = get_node();
    construct(&p->data,x);
    return p;
}
void destroy_node(link_type p)
{
    destroy(&p->data);
    put_node(p)
}

 

 

关键函数insert最简单的形式

iterator insert(iterator position, const T& x)
{
    link_type tmp = create_node(x);
    tmp->next = position.node;
    tmp->prev = position.node->prev;
    (link_type(position.node->prev))->next = tmp;
    position.node->prev = tmp;
    return tmp;
}

push_back是在insert的基础上实现的

 

list内部提供一个迁移操作transfer：把某个连续范围内的元素迁移到某个位置之前。
是其他复杂操作如splice sort merge等的基础，是非公开接口。

void transfer(iterator position, itrator first, iterator last)
{
    if(position != last)
    {
        (*(link_type((*last.node).prev))).next = position.node;
        (*(link_type((*first.node).prev))).next = last.node;
        (*(link_type((*position.node).prev))).next = first.node;
        link_type tmp = link_type((*position.node).prev);
        (*position.node).prev = (*first.node).prev;
        (*last.node).prev = (*first.node).prev;
        (*first.node).prev = tmp;
    }
}

 

STL不能用标准算法中的sort因为其不能提供随机访问迭代器，只能用自己的sort
任然用快排实现。