🌇个人主页：_麦麦_
📚今日小句：海底月是天上月，眼前人是心上人——张爱玲
目录
一、前言
今天为大家带来list的介绍和模拟实现，文章若有不足之处，欢迎大家给出指正！
二、list的介绍及使用
2.1 list的介绍
1. list是可以在常数范围内在任意位置进行插入和删除的序列式容器，并且该容器可以前后双向迭代。
2. list的底层是双向链表结构，双向链表中每个元素存储在互不相关的独立节点中，在节点中通过指针指向 其前一个元素和后一个元素。
3. list与forward_list非常相似：最主要的不同在于forward_list是单链表，只能朝前迭代，已让其更简单高效。
4. 与其他的序列式容器相比(array，vector，deque)，list通常在任意位置进行插入、移除元素的执行效率更好。
5. 与其他序列式容器相比，list和forward_list最大的缺陷是不支持任意位置的随机访问，比如：要访问list 的第6个元素，必须从已知的位置(比如头部或者尾部)迭代到该位置，在这段位置上迭代需要线性的时间开销；list还需要一些额外的空间，以保存每个节点的相关联信息(对于存储类型较小元素的大list来说这 可能是一个重要的因素)
2.2 list的使用
2.2.1 list的构造
| 构造函数（construct） | 接口说明 |
| list (size_type n, const value_type& val = value_type()) | 构造的list中包含n个值为val的元素 |
| list() | 构造空的list |
| list (const list& x) | 拷贝构造函数 |
| list (InputIterator first, InputIterator last) | 用[first, last)区间中的元素构造list |
2.2.2 list的迭代器
在list的模拟实现前，大家可以先将迭代器理解成一个指针，该指针指向list中的某个节点
| 函数说明 | 接口说明 |
| begin+end | 返回第一个元素的迭代器+返回最后一个元素下一个位置的迭代器 |
| rbegin+rend | 返回第一个元素的reverse_iterator,即end位置，返回最后一个元素下一个位置的 reverse_iterator,即begin位置 |
注： 1. begin与end为正向迭代器，对迭代器执行++操作，迭代器向后移动
2. rbegin(end)与rend(begin)为反向迭代器，对迭代器执行++操作，迭代器向前移动
2.2.3 list的capacity
| 函数说明 | 接口说明 |
| empty（） | 检测list是否为空，是返回true，否则返回false |
| size（） | 返回list中有效节点的个数 |
2.2.4 list element access
| 函数说明 | 接口说明 |
| front（） | 返回list的第一个节点中值的引用 |
| back（） | 返回list的最后一个节点中值的引用 |
2.2.5 list modifiers
| 函数说明 | 接口说明 |
| push_ front（） | 在list首元素前插入值为val的元素 |
| pop_front（） | 删除list中第一个元素 |
| push_back（） | 在list尾部插入值为val的元素 |
| pop_back（） | 删除list中最后一个元素 |
| insert（） | 在list position 位置中插入值为val的元素 |
| erase（） | 删除list position位置的元素 |
| swap（） | 交换两个list中的元素 |
| clear（） | 清空list中的有效元素 |
2.2.6 list的迭代器失效
前面说过，此处大家可将迭代器暂时理解成类似于指针，迭代器失效即迭代器所指向的节点的无效，即该节点被删除了。因为list的底层结构为带头结点的双向循环链表，因此在list中进行插入时是不会导致list的迭代器失效的，只有在删除时才会失效，并且失效的只是指向被删除节点的迭代器，其他迭代器不会受到影响。
void TestListIterator1()
{
int array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 0 };
list<int> l(array, array+sizeof(array)/sizeof(array[0]));
auto it = l.begin();
while (it != l.end())
{
// erase()函数执行后，it所指向的节点已被删除，因此it无效，在下一次使用it时，必须先给
其赋值
l.erase(it);
++it;
}
}
// 改正
void TestListIterator()
{
int array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 0 };
list<int> l(array, array+sizeof(array)/sizeof(array[0]));
auto it = l.begin();
while (it != l.end())
{
l.erase(it++); // it = l.erase(it);
}
}
三、list的模拟实现
在介绍完list和它的一些接口后，我们就来正式开始模拟实现list了。笔者在这里实现的是带头双向循环的list。
3.1 list的类成员
由于我们实现的是带头双向循环的list，因此对于这个类我们只需要哨兵卫的头结点就可以了，通过这个结点我们就可以链接到第一个有效结点和最后一个有效结点。不过由于结点并不属于内置类型，因此需要我们先写一个结点类。
对于这个类来说，它的成员我们需要三个：存储数据val,上一个结点和下一个结点。继而是这个类的构造函数。
具体实现如下：
//节点
template <class T>
struct list_node
{
list_node(const T& x=T())
:_pre(nullptr)
, _next(nullptr)
, _val(x)
{
}
list_node<T>* _pre;
list_node<T>* _next;
T _val;
};
template<class T>
class list
{
typedef list_node<T> Node;
public:
private:
Node* _head;
}3.2 list的构造
对于list的构造我们实现两个，分别是：无参的构造、拷贝构造。
对于无参构造来说，我们只需要new出一个头结点，其上下结点置为空，而值呢则调用它的构造函数即可。
对于拷贝构造来说，我们先要为头结点开辟出空间，可以将无参构造的内容直接copy下来，也可以单独写一个函数来进行头结点的初始化。在进行完头结点的初始化后，我们便可以将要拷贝的结点一个个插入进去，调用尾插函数即可。
具体实现如下：
//无参构造
list()
{
_head = new Node;
_head->_pre = _head;
_head->_next = _head;
_head->_val = T();
}
//头结点的初始化
void empty_init()
{
_head = new Node;
_head->_pre = _head;
_head->_next = _head;
_size = 0;
}
//拷贝构造
list(const list<T>& lt)
{
empty_init();
for (auto& e : lt)
{
push_back(e);
}
}3.3 list的增
在上面的构造中既然提到了尾插，那么接下来我们就来实现一下list中与数据插入有关的接口。
首先是数据的头插和尾插，第一步就是新结点的创建，第二步是新结点的链接。
然后是数据在任意位置的插入，第一步依旧是新结点的创建，第二步是新结点的链接，与尾插类似。对于list来说，由于它不像string和vector来说存储数据的空间是连续的，因此不需要通过挪动数据来插入新数据，因此在数据的插入方面会更为便捷一点。
具体代码如下：
void push_back(const T& x)
{
insert(end(),x);
}
void push_front(const T& x)
{
insert(begin(), x);
}
iterator insert(iterator pos,const T& x)
{
Node* newnode = new Node(x);
Node* cur = pos._node;
Node* prev = cur->_pre;
prev->_next = newnode;
newnode->_next = cur;
newnode->_pre = prev;
cur->_pre = newnode;
++_size;
return newnode;
}3.4 list的删
对于list的删，我们主要实现的是头删、尾删和任意位置的删除，而头删和尾删都可以复用任意位置的删除。
对于list的删除，相比于string和vector来说也比较简单，只需要释放要删除节点的空间，再将其前后两个结点链接起来即可。但是会出现迭代器失效这一问题，因此我们还需要加上一个返回值，来返回下一个结点的迭代器以供接受。
具体实现如下：
iterator erase(iterator pos)
{
assert(pos != end());
Node* prev = pos._node->_pre;
Node* next = pos._node->_next;
prev->_next = next;
next->_pre = prev;
delete pos._node;
--_size;
return next;
}
void pop_back()
{
erase(--end());
}
void pop_front()
{
erase(begin());
}3.5 list的迭代器
无论是list的插入数据和删除数据，都会用到list的迭代器，那么list的迭代器要怎么实现呢。由于list的空间并不一定连续，尤其在插入数据或者删除数据之后，因此也就不可能像string和vetor一样，利用原生指针来模拟迭代器的行为。那么我们该怎么样去实现list的迭代器呢，让它能够++，--，*……
其实虽然我们不能直接用结点的指针来作为迭代器，但是我们可以对其进行封装，利用操作符的重载，来实现我们想要的效果。除此之外，list的模版参数也是有点不一样的，我们会发现它一共有三个模版参数，分别是T，Ref，Ptr。对于T，相信大家已经轻车熟路了，就是结点内存储数据的类型，而Ref和Ptr这里就和vector的模版参数起到类似的作用，起到控制返回值的效果。对于第二个模版参数Ref，是为了实现const类型的迭代器而出现的，只需要通过Red的类型我们就能选择返回T&还是const T&，而无需重新再重新拷贝一份迭代器，将返回值改成constT&，减少了代码的冗杂。那第三个参数Ptr是为了解决当我们对及迭代器解引用并不能拿到我们所想要的值。比如说list存的是一个个类，而我们想要迭代器解引用后能够得到类中的有效数据，但是按正常的迭代器解引用我们却只能拿到一个个类，并不能拿到其中的有效数据。在这种情况下我们要想拿到有效数据，就需要返回类的指针，通过类的指针来获得其中的数据。
要注意的是C++中对->->进行的优化，也就是虽然我们调用operator->理论上获得的是类的指针，但是实际上我们可以拿到类中的有效数据。
具体代码如下：
template <class T,class Ref,class Ptr>
struct __list_iterator
{
typedef list_node<T> Node;
typedef __list_iterator <T,Ref, Ptr> self;
Node* _node;
__list_iterator(Node* node)
:_node(node)
{
}
Ref operator*()
{
return _node->_val;
}
Ptr operator->()
{
return &_node->_val;
}
self& operator++()
{
_node = _node->_next;
return *this;
}
self operator++(int)
{
self tmp = *this;
_node = _node->_next;
return tmp;;
}
self& operator--()
{
_node = _node->pre;
return *this;
}
self operator--(int)
{
self tmp = *this;
_node = _node->_pre;
return tmp;;
}
bool operator !=(const self& x) const
{
return _node != x._node;
}
bool operator ==(const self& x) const
{
return _node == x._node;
}
};3.6 list的赋值重载
list的赋值重载我们可以采取现代的写法，也就是利用形参会调用拷贝构造生成一个临时对象，我们通过与临时对象进行成员的交换就可以达到赋值的目的。
具体代码如下：
void swap(list<T> lt)
{
std::swap(_head,lt. _head);
_size = lt._size;
}
list<T>& operator=(list<T> lt)
{
swap(lt);
return *this;
}四、全部代码
#include <assert.h>
namespace mine
{
//节点
template <class T>
struct list_node
{
list_node(const T& x=T())
:_pre(nullptr)
, _next(nullptr)
, _val(x)
{
}
list_node<T>* _pre;
list_node<T>* _next;
T _val;
};
template <class T,class Ref,class Ptr>
struct __list_iterator
{
typedef list_node<T> Node;
typedef __list_iterator <T,Ref, Ptr> self;
Node* _node;
__list_iterator(Node* node)
:_node(node)
{
}
Ref operator*()
{
return _node->_val;
}
Ptr operator->()
{
return &_node->_val;
}
self& operator++()
{
_node = _node->_next;
return *this;
}
self operator++(int)
{
self tmp = *this;
_node = _node->_next;
return tmp;;
}
self& operator--()
{
_node = _node->pre;
return *this;
}
self operator--(int)
{
self tmp = *this;
_node = _node->_pre;
return tmp;;
}
bool operator !=(const self& x) const
{
return _node != x._node;
}
bool operator ==(const self& x) const
{
return _node == x._node;
}
};
struct A
{
A(int x1 = 0, int x2 = 0)
:_a1(x1)
,_a2(x2)
{
}
int _a1;
int _a2;
};
template<class T>
class list
{
typedef list_node<T> Node;
public:
typedef __list_iterator<T,T&,T*> iterator;
typedef __list_iterator<T, const T&,const T*> const_iterator;
iterator begin()
{
return _head->_next;
}
const_iterator begin()const
{
return _head->_next;
}
iterator end()
{
return _head;
}
const_iterator end() const
{
return _head;
}
//无参构造
list()
{
_head = new Node;
_head->_pre = _head;
_head->_next = _head;
_head->_val = T();
}
void empty_init()
{
_head = new Node;
_head->_pre = _head;
_head->_next = _head;
_size = 0;
}
void swap(list<T> lt)
{
std::swap(_head,lt. _head);
_size = lt._size;
}
list(const list<T>& lt)
{
empty_init();
for (auto& e : lt)
{
push_back(e);
}
}
list<T>& operator=(list<T> lt)
{
swap(lt);
return *this;
}
iterator insert(iterator pos,const T& x)
{
Node* newnode = new Node(x);
Node* cur = pos._node;
Node* prev = cur->_pre;
prev->_next = newnode;
newnode->_next = cur;
newnode->_pre = prev;
cur->_pre = newnode;
++_size;
return newnode;
}
iterator erase(iterator pos)
{
assert(pos != end());
Node* prev = pos._node->_pre;
Node* next = pos._node->_next;
prev->_next = next;
next->_pre = prev;
delete pos._node;
--_size;
return next;
}
void clear()
{
iterator it = begin();
while (it != end())
{
it=erase(it);
}
_size = 0;
}
~list()
{
clear();
delete _head;
_head = nullptr;
}
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());
}
private:
Node* _head;
size_t _size=0;
};
void print(const list<int>& lt)
{
for (auto& e : lt)
{
cout << e << " ";
}
cout << endl;
}
}
五、结语
到此为止，关于list的讲解就告一段落了，至于其他的内容，小伙伴们敬请期待呀！
关注我 _麦麦_分享更多干货：_麦麦_-CSDN博客
大家的「关注❤️ + 点赞👍 + 收藏⭐」就是我创作的最大动力！谢谢大家的支持，我们下期见！
扫一扫
1422
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
