【C++】详解STL的容器之一:list

简介: 【C++】详解STL的容器之一:list

简介

C++的STL有六大组件:仿函数空间配置器算法容器迭代器配接器。list属于容器的一种。

list的设计使用了模板,是一种泛型编程。


初识list

模型

list是带哨兵位的双向循环链表

链表是由一个一个的节点通过指针链接起来的。list的节点设计:prev指针指向前一个节点,next指针指向下一个节点,data储存数据。如下图

而list想要实现双向循环链表,只需用一个指针指向不储存数据的节点——哨兵位节点或头节点。让哨兵位节点将整条链表首尾相连。哨兵位的next是链表的头节点,哨兵位的prev是链表的尾节点,如下图

list容器的优缺点

优点:头部插入,头部删除,尾部插入,尾部删除的时间复杂度位O(1)。list的指针是一直指向哨兵位节点的,通过哨兵位节点能找到链表的头节点和尾节点,从而实现头插,头删,尾插,尾删操作。

缺点:对链表中的数据进行排序的时间复杂度会很高。找链表中的某一个数据时,需要遍历链表。

list的迭代器

list的每个节点在内存中储存不是连续的

普通的指针不能完成对链表的遍历——加加指针不能使指针指向下一个节点,减减指针不能使指针指向上一个节点。指针的解引用不能完成对数据存取——普通指针解引用是整个节点,而不是节点里存的数据。

所以不能用普通指针做list的迭代器。应该对普通指针进行封装将封装之后的普通指针作为list的迭代器。该迭代器能完成链表的遍历,数据的存取等操作。

具体怎样封装,下面介绍源代码思路和模拟实现时会详细讲解

迭代器失效:把迭代器指向的节点删除掉,会让该迭代器失效,类似于野指针的问题。在迭代器指向节点的前面或后面插入节点,不会使迭代器失效。


常用接口介绍

获取迭代器

begin

返回哨兵位前一个节点的位置

end

返回哨兵位节点的位置

empty

检测list是否为空,是返回true,否则返回false

size

返回list中有效节点的个数

front

返回list的第一个节点中值的引用

back

返回list的最后一个节点中值的引用

insert

在list的 position 迭代器指向的节点之前插入值为val的节点,返回新插入节点的迭代器

push_front

在链表的头部插入一个值为val的节点

pop_front

删除头部位置的节点

erase

删除position迭代器指向的节点,或删除从first到last迭代器区间的节点,返回下一个位置的迭代器

push_back

在链表的尾部插入值为val的节点

pop_back

删除最后一个节点

clear

删除所有有效节点

源代码思路

下面内容参考侯捷老师《STL源码剖析》

源代码中涉及空间配置器的部分不做重点讲解,只需知道空间配置器是为了给节点list申请空间的即可。

小编摘抄部分源码,带大家了解list设计的大概框架。具体实现的细节在模拟实现时讲解

节点设计

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

struct在C语言中是结构体,在C++中是类。用struct封装不加访问限定符默认成员是公有的。迭代器和链表需要访问节点的数据,设计成共有是为了方便访问。设计成私有需要声明友元。

prevnext的指针是void*类型是因为不知道数据的类型,源码在实现其他接口时会把void*进行强转。和下面代码的设计是等价的

__list_node<T>* prev;   __list_node<T>* next;

data是用来储存数据的

迭代器的设计

template <class T, class Ref, class Ptr> 
struct __list_iterator  
{
  typedef __list_iterator<T, T&, T*> iterator;
  typedef __list_iterator<T, Ref, Ptr> self;
 
  typedef T value_type;
 
  typedef Ptr pointer;
  typedef Ref reference;
 
  typedef __list_node<T>* link_type;
  link_type node; //节点指针  核心数据
 
//运算符重载,为了让node能像普通指针一样
 
  //解引用重载
  reference operator*()const //Ref
  {
    return (*node).data;
  }
  //->运算符重载
  pointer operator->() const  //Ptr
  {
    return &(operator*());
  }
    //++运算符重载.....
 
  //--运算符重载....
  
  //==运算符重载....
 
  //......
}

成员全部共有,方便list访问

RefPtr两个模板参数是为了区分普通迭代器const迭代器,如下代码

typedef __list_iterator<T, T&, T*>  iterator;   //迭代器别名   
typedef __list_iterator<T, const T&, const T*>  const_iterator; //const迭代器别名

如下图

node是节点的指针,是核心数据。在迭代器这个类中,重载了*  ->  ++  --  ==  != 运算符是为了让结点指针能像普通指针一样,完成对链表的遍历和对数据的存取。这便是封装的魅力。

list的设计

template <class T, class Alloc = alloc>
class list
{
protected:
  typedef __list_node<T> list_node;
 
public:
  typedef list_node* link_type;
 
protected:
  link_type node;
}

上文已经提到,只需用一个节点指针node指向哨兵位节点,便可以通过迭代器对整条链表增删查改。

begin()

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

获取哨兵位节点的下一个指针next,但next是void*类型的指针,需要强转成节点类型的指针

end()

iterator end()
{
return node;
}

获取尾节点的下一个节点的指针——哨兵位节点指针

空构造

void empty_initialize()
{
 
node = get_node(); //为哨兵位开空间
 
node->next = node; //没有有效节点,首尾指针都指向自己
 
node->prev = node;
 
}
 
list()//构造函数,构造空链表
{
empty_initialize();
 
}

list是允许构造空链表的


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))->net = tmp;
position.node->prev = tmp;
 
return tmp;
 
}

上述代码中有经过封装的函数。但大致思路如下图


push_back

void push_back(const T& x)
{
insert(end(), x);
 
}

复用insert


模拟实现

目的:源代码的变量经过了嵌套的typedef,函数经过层层封装。用源代码理解list的实现细节和运行机制并不容易。用源代码的的框架和实现思路实现一个简易的list,帮助我们更好的理解list。

模拟实现是用new和delete,管理list的内存。

节点设计

template <class T>
struct __list_node
{
  T* prev;//指向前一个节点
  T* next;//指向后一个节点
  T data;//储存数据
 
  __list_node(const T& val = T()) //构造函数
    :prev(nullptr)
    , next(nullptr)  //参数列表
    , data(val)
  {
 
  }
};

迭代器设计

template <class T, class Ref, class Ptr>  //封装指针
struct __list_iterator
{
 
  typedef __list_iterator<T, Ref, Ptr>  self;   //迭代器别名 
 
  typedef __list_node<T>  list_node; //节点别名别名  
 
  list_node* p_node;   //节点指针 
 
  __list_iterator(list_node* val)  
    :p_node(val)        
  {
 
  };     
 
  T operator*()//解引用重载
  {
    return  p_node->data;        
  }; 
 
  Ref operator*()//解引用重载 
  {
    return  p_node->data;
  };
 
  T operator->()
  {
    return &p_node->data;
  }
  Ptr operator->()     
  {
    return &p_node->data;
  }
 
  self& operator++()//加加运算符重载 
  {
    return p_node->next; 
  };
 
  bool operator!=(const self val)//不等于运算符重载
  {
    return p_node != val.p_node;
  };
 
  bool operator==(const self val)//等于运算符重载  
  {
    return p_node == val.p_node; 
  };
  
};

list设计

框架

template <class T>
class list
{
  typedef __list_node<T>  list_node; //节点指针别名
  typedef __list_iterator<T, T&, T*>  iterator;   //迭代器别名   
  typedef __list_iterator<T, const T&, const T*>  const_iterator;   //const迭代器别名    
 
  
public:
 
 
//接口......
 
private:
  list_node* head_node;//头节点,只要一个指针便可代表整个链表 
 
 
};

获取迭代器

iterator begin() 
{
  return head_node->next;
 }
const_iterator begin()
{
  return head_node->next;
}
 
iterator end()
{
  return head_node; 
}
 
const_iterator end()  
{
  return head_node;
}

空构造

void empty_init()
{
  head_node = new list_node;
  head_node->_prev = head_node;
  head_node->_next = head_node;
  
}
list()
{
  empty_init();
}

insert

iterator insert(iterator pos, const T& x)//指定位置插入
{
  list_node* cur = pos.p_node;  //用临时指针指向迭代器位置的节点
  list_node* prev = cur->prev; //用临时指针指向该节点的下一个节点
 
  list_node* newnode = new list_node(x); //构造新节点
 
  prev->next = newnode; //改变指向
  newnode->next = cur;
 
  cur->prev = newnode;
  newnode->prev = prev; 
 
  return newnode; //返回新节点的迭代器
}

代码思路如下图

erase

iterator erase(iterator pos)//指定位置删除
{
  assert(pos != end());  //不能删哨兵位
 
  list_node* cur = pos.p_node; //用临时指针指向前中后三个节点
  list_node* prev = cur->prev;
  list_node* next = cur->next;
 
  prev->next = next; //改变指向
  next->prev = prev;
 
  delete cur;//删除该节点
 
  return next; //返回下一个位置的节点的迭代器
 
}

赋值重载

现在写法

void swap(list<T>& lt)   
{
  std::swap(head_node, lt.head_node);   
}
 
list<T>& operator=(list<T> lt)  
{
  swap(lt);
 
  return *this;
}

其他接口

void push_back(const T& x)
{
  insert(end(), x); 
}
 
void push_front(const T& x)
{
  insert(begin(), x); 
}
 
void pop_back()
{
  erase(--end()); 
}
 
void pop_front()
{
  erase(begin()); 
}

本篇内容到此结束啦

相关文章
|
27天前
|
存储 算法 C++
C++ STL 初探:打开标准模板库的大门
C++ STL 初探:打开标准模板库的大门
81 10
|
15天前
|
存储 程序员 C++
C++常用基础知识—STL库(2)
C++常用基础知识—STL库(2)
54 5
|
13天前
|
存储 算法 C++
【C++打怪之路Lv10】-- list
【C++打怪之路Lv10】-- list
13 1
|
15天前
|
存储 自然语言处理 程序员
C++常用基础知识—STL库(1)
C++常用基础知识—STL库(1)
37 1
|
23天前
|
算法 安全 Linux
【C++STL简介】——我与C++的不解之缘(八)
【C++STL简介】——我与C++的不解之缘(八)
|
27天前
|
存储 编译器 C++
【C++篇】揭开 C++ STL list 容器的神秘面纱:从底层设计到高效应用的全景解析(附源码)
【C++篇】揭开 C++ STL list 容器的神秘面纱:从底层设计到高效应用的全景解析(附源码)
44 2
|
17天前
|
算法 数据处理 C++
c++ STL划分算法;partition()、partition_copy()、stable_partition()、partition_point()详解
这些算法是C++ STL中处理和组织数据的强大工具,能够高效地实现复杂的数据处理逻辑。理解它们的差异和应用场景,将有助于编写更加高效和清晰的C++代码。
14 0
|
25天前
|
存储 缓存 C++
C++番外篇——list与vector的比较
C++番外篇——list与vector的比较
18 0
|
25天前
|
C++
C++番外篇——list的实现
C++番外篇——list的实现
18 0
|
25天前
|
存储 C++ 容器
C++入门9——list的使用
C++入门9——list的使用
18 0