List
- list
- list的常用接口模拟实现
- 完整代码
- list与vector的区别
list
list是一个带头双向循环链表。
list文档介绍:https://legacy.cplusplus.com/reference/list/list/
list因为是链表结构,所以没有 [] 去访问数据的方式,只有用迭代器,list当中迭代器是很重要的。
这里透彻尾插不会导致迭代器失效问题,不过删除会导致迭代器失效。
list还有一个特性,就是他的sort排序接口函数效率是低于算法库中排序的效率。
更多内容就配合模拟实现来看。
list的常用接口模拟实现
list基本结构
template<class T>
struct list_node//结点
{
list_node* _next;
list_node* _prev;
T _data;
list_node(const T& x)
:_next(nullptr)
,_prev(nullptr)
,_data(x)
{}
};
下面都是模拟list类中的结构
在list中其实控制整个链表的就是头节点,这样交换内容也是非常的方便。
list成员变量:
_head
因为list是带头双向循环链表,所以最重要的是创建头节点,这里因为后面结构需要大量重复这个动作我就单独写了个函数。
void initialize()//创建头节点
{
_head = new node(T());
_head->_next = _head;
_head->_prev = _head;
}
构造函数:(无参)
list()
{
initialize();
}
在pos位置之前插入:
void insert(iterator pos, const T& x)//在pos位置之前插入
{
node* newnode = new node(x);
node* cur = pos._pnode;//pos位置的结点
node* p = cur->_prev;//pos位置之前的结点
p->_next = newnode;
newnode->_prev = p;
newnode->_next = cur;
cur->_prev = newnode;
}
删除pos位置的结点:(返回值是迭代器类型)
iterator erase(iterator pos)//删除pos位置的结点
{
assert(pos != end());
node* cur = pos._pnode;
node* front = cur->_prev;
node* later = cur->_next;
front->_next = later;
later->_prev = front;
delete cur;
return iterator(later);
}
其实完成这两个函数就很方便各种插入删除了。
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());
}
清空链表:(注意不清理头结点)
void clear()//清空链表
{
iterator front = begin();
while (front != end())
{
front = erase(front);
}
}
拷贝构造:
template<class _iterator>//这里如果不是模板会导致不同类中的迭代器有冲突
list(_iterator front, _iterator later)
{
initialize();
while (front != later)
{
push_back(*front);
++front;
}
}
list(const list<T>& it)//拷贝构造
{
initialize();//必须创建头节点,不然交换会传过去一个空指针导致析构出现问题
list<T>newnode(it.begin(), it.end());
swap(newnode);
}
赋值重载:(现代写法)
list<T>& operator=(list<T> p)
{
swap(p);
return *this;
}
这里传参的值不是引用,也就等于p是一个拷贝构造出来的对象,也就是说和之前赋值的对象没有任何关系,只是内容相同罢了。
所以这里直接交换就好了出了这个函数的p就会自动销毁。
交换函数:
void swap(list<T>& tmp)
{
std::swap(_head, tmp._head);//交换头结点就好
}
这里就体现出头结点的好处了,因为空间不是连续的,是随机的,所以控制整个链表就是头结点,所以交换了头结点就等于交换了两个list。
析构函数:
~list()
{
clear();
delete _head;//清理头结点
_head = nullptr;
}
C++有一个特性:
我们发现参数不是完整的类型(缺一个模板参数T),也就是说在类里面类名等于类型。
begin与end:
typedef _list_iterator<T, T&> iterator;//模板函数下面实现
typedef _list_iterator<T, const T&> const_iterator;
const_iterator begin()const
{
return const_iterator(_head->_next);
}
const_iterator end()const
{
return const_iterator(_head);
}
iterator begin()
{
return iterator(_head->_next);
}
iterator end()
{
return iterator(_head);
}
迭代器(非常重要)
template<class T, class cur, class prt>
struct _list_iterator//用struct是因为里面的内容都需要公开使用
{
typedef list_node<T> node;
typedef _list_iterator<T, cur, prt> coord;
node* _pnode;//迭代器指针的本质
_list_iterator(node* p)
:_pnode(p)
{}
cur operator*()//返回值分const与非const
{
return _pnode->_data;
}
prt operator->()
{
return &_pnode->_data;//注意->的优先级大于&
}
coord& operator++()//前置++
{
_pnode = _pnode->_next;
return *this;
}
coord& operator++(int)//后置++
{
coord old(*this);
_pnode = _pnode->_next;
return old;
}
coord& operator--()//前置--
{
_pnode = _pnode->_prev;
return *this;
}
coord& operator--(int)//后置--
{
coord old(*this);
_pnode = _pnode->_prev;
return old;
}
bool operator!=(const coord& it)
{
return _pnode != it._pnode;
}
bool operator==(const coord& it)
{
return _pnode == it._pnode;
}
};
list因为是个链表,所以和vector,string不一样,空间不是连续的,想进行++,- -,就等于访问下一个结点或者上一个结点。
这里要注意迭代器是需要有const的:
迭代器指向的内容不能被修改,并不代表不能++,- -
所以就需要实现一份const迭代器,其实也就是解引用的不同,解引用返回的是const,和非const,其他函数一摸一样,进行函数重载是不行的,因为参数也要加const,不然无法重载,但是参数加了const其他函数就无法进行调用了,涉及到了权限放大,如果再写一个类太麻烦,这时候就可以加一个模板参数cur来决定用的时候添加什么参数。
重点是重载的->
如果list中的类型是一个自定义类型呢?
struct test
{
int row;
int col;
test(int x = 0, int y = 0)
:row(x)
,col(y)
{}
};
void test4()
{
list<test>arr;
arr.push_back(test(1, 2));
arr.push_back(test(3, 4));
arr.push_back(test(5, 6));
arr.push_back(test(7, 8));
list<test>::iterator cur = arr.begin();
while (cur != arr.end())
{
cout << cur->row << ' ';//这里如果用解引用是不可以的,因为cout需要再次进行重载才能打印出来内容
}
cout << endl;
}
这时候就要用->就方便了,首先cur要是个指针才行,很明显它不是,所以返回的时候需要返回地址,并且要注意const的类型,就和解引用一样。
还有一点很奇怪:
cur->row == cur.operator->(row)
这里返回的是地址,为什么还能进行访问row呢?这是因为编译器在这里进行了特殊处理,原本面貌是这样的:
cur->->row
这样的代码看起来非常不美观,所以就进行了处理,去掉了一个->。
完整代码
#include <iostream>
#include <list>
#include <assert.h>
#include <algorithm>
using namespace std;
template<class T>
struct list_node//结点
{
list_node* _next;
list_node* _prev;
T _data;
list_node(const T& x)
:_next(nullptr)
,_prev(nullptr)
,_data(x)
{}
};
template<class T, class cur, class prt>
struct _list_iterator
{
typedef list_node<T> node;
typedef _list_iterator<T, cur, prt> coord;
node* _pnode;//迭代器指针的本质
_list_iterator(node* p)
:_pnode(p)
{}
cur operator*()//返回值分const与非const
{
return _pnode->_data;
}
prt operator->()
{
return &_pnode->_data;//注意->的优先级大于&
}
coord& operator++()//前置++
{
_pnode = _pnode->_next;
return *this;
}
coord& operator++(int)//后置++
{
coord old(*this);
_pnode = _pnode->_next;
return old;
}
coord& operator--()//前置--
{
_pnode = _pnode->_prev;
return *this;
}
coord& operator--(int)//后置--
{
coord old(*this);
_pnode = _pnode->_prev;
return old;
}
bool operator!=(const coord& it)
{
return _pnode != it._pnode;
}
bool operator==(const coord& it)
{
return _pnode == it._pnode;
}
};
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;
const_iterator begin()const
{
return const_iterator(_head->_next);
}
const_iterator end()const
{
return const_iterator(_head);
}
iterator begin()
{
return iterator(_head->_next);
}
iterator end()
{
return iterator(_head);
}
void initialize()//创建头节点
{
_head = new node(T());
_head->_next = _head;
_head->_prev = _head;
}
list()
{
initialize();
}
template<class _iterator>
list(_iterator front, _iterator later)
{
initialize();
while (front != later)
{
push_back(*front);
++front;
}
}
list(const list<T>& it)//拷贝构造
{
initialize();//必须创建头节点,不然交换会传过去一个空指针导致析构出现问题
list<T>newnode(it.begin(), it.end());
swap(newnode);
}
void insert(iterator pos, const T& x)//在pos位置之前插入
{
node* newnode = new node(x);
node* cur = pos._pnode;//pos位置的结点
node* p = cur->_prev;//pos位置之前的结点
p->_next = newnode;
newnode->_prev = p;
newnode->_next = cur;
cur->_prev = newnode;
}
iterator erase(iterator pos)//删除pos位置的结点
{
assert(pos != end());
node* cur = pos._pnode;
node* front = cur->_prev;
node* later = cur->_next;
front->_next = later;
later->_prev = front;
delete cur;
return iterator(later);
}
list<T>& operator=(list<T> p)
{
swap(p);
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());
}
void clear()//清空链表
{
iterator front = begin();
while (front != end())
{
front = erase(front);
}
}
void swap(list<T>& tmp)
{
std::swap(_head, tmp._head);
}
~list()
{
clear();
delete _head;
_head = nullptr;
}
private:
node* _head;
};
list与vector的区别
list:
优点:
按照需要申请空间,不需要扩容。
任意位置插入删除。
缺点:
不支持下标随机访问。
cpu命中率低。(因为list是随机结构,vector是连续空间地址)
vector:
优点:
支持下标随机访问.
尾插尾删效率高。
cpu命中率高。
缺点:
前面插入删除效率低。
需要扩容。(可能导致浪费空间)
迭代器失效问题
vector插入删除都会失效,list只有删除会失效。