[ C++ ] STL---list的模拟实现

阅读本书更多章节>>>>

目录

结点类的模拟实现

迭代器类的模拟实现

构造函数

前置++与后置++

前置- -与后置 - -

== 与 !=运算符重载

* 运算符重载

-> 运算符重载

普通迭代器总体实现代码

list类的实现

list类的成员变量

构造函数

迭代器

insert(）

erase()

push_front/push_back/pop_front/pop_back

front/back

clear()

empty()

swap()

拷贝构造函数

赋值运算符重载

析构函数

---

结点类的模拟实现

list 的底层结构为带头双向循环链表，所以结点类里的成员变量：

T _data(数据)，ListNode<T>* _prev(前驱指针)，ListNode<T>* _next(后继指针)；

成员函数只需要构造函数即可(指针初始化为nullptr，数据以缺省参数的形式进行初始化)；

template<class T>struct ListNode{//结点中的成员变量T _data;//数据ListNode<T>* _prev;//前驱指针ListNode<T>* _next;//后继指针//结点类的构造函数ListNode(const T& val=T()): _data(val), _prev(nullptr), _next(nullptr){}};

迭代器类的模拟实现

迭代器并不关心容器底层的数据结构为顺序表、链表或者树型结构，提供统一的方式访问、修改容器中的数据并且遍历区间为左闭右开[begin,end)；

vector与string的模拟实现中，迭代器均为原生指针，是因为vector和string底层物理空间连续(顺序表)，那么list可否采用原生指针(结点指针)作为迭代器?

思考一：

若it为结点指针，it++，能否从链表的当前位置指向链表当前位置的下一位置?  (×)

思考二：

若it为结点指针，*it，能否得到链表结点中的数据_data?（×）

解决方案：

采用原生指针作为list的迭代器均不满足需求，运算符重载可以对已有的运算符重新进行定义，赋予其另一种功能，从而满足需求，但是运算符重载的前提为自定义类型，而指针本身为内置类型，只能将结点指针封装为自定义类型，从而使用运算符重载满足需求；

迭代器的成员变量 : Node* _node；（_node为指向结点的指针）
迭代器的成员函数 : 运算符重载函数；

template<class T>//使用struct关键字封装结点指针,方便访问数据成员_node//若使用class关键字封装节点指针,需要提供函数接口访问_nodestruct __List_iterator{typedef ListNode<T> Node;Node* _node;};

构造函数

//__List_iterator it();//需要结点指针对_node进行有参构造且不能给定缺省值为nullptr,//否则解引用操作导致系统崩溃//__List_iterator(Node* node=nullptr)(×)//因此迭代器遍历链表时必须给定有效参数,参数为结点指针;__List_iterator(Node* node)   :_node(node){}

思考：迭代器内部需要实现析构函数，拷贝构造函数吗？

      1. 提供链表的结点指针给迭代器，方便迭代器访问链表结点，并不需要释放结点；

          而且对于内置类型(指针)成员变量，编译器自动生成的析构函数不做任何处理；

      2. 将一个迭代器拷贝给另一个迭代器，只需要两个迭代器指向同一个链表结点，

          而编译器自动生成的拷贝构造函数实现了浅拷贝，所以不需要实现拷贝构造函数；

前置++与后置++

前置++，this指针出作用域销毁，但是this指针指向的对象在函数结束不会被销毁，以传引用的方式返回以提升效率；

//++it__List_iterator<T>& operator++(){_node = _node->_next;return *this;}

返回类型太长，使用typedef重定义类型名；

typedef __List_iterator<T> self;self& operator++(){_node = _node->_next;return *this;}

C++规定：

后置++重载时多增加一个int类型的参数，但调用函数时参数不需要传递，编译器自动传递；

后置++，tmp为临时拷贝对象，出作用域销毁，只能以传值的方式返回；

self operator++(int){self tmp(*this);_node = _node->_next;return tmp;}

前置- -与后置 - -

//--itself& operator--(){_node = _node->_prev;return *this;}//it--self operator--(int){self tmp(*this);_node = _node->_prev;return tmp;}

== 与 !=运算符重载

==运算符重载比较两个迭代器对象的_node指针指向是否相同；

bool operator==(const self& s){return _node == s._node;}

!=运算符重载比较两个迭代器对象的_node指针指向是否相同；

bool operator!=(const self& s){return _node != s._node;}

* 运算符重载

重载 * 运算符的目的是为了得到迭代器对象的_node指针所指向的数据；

T& operator*(){return _node->_data;}

-> 运算符重载

struct Date{int _year = 2024;int _month = 1;int _day = 1;};int main(){//链表中的数据成员为自定义类型Datelist<Date> lt;Date d1;lt.push_back(d1);//it为封装结点指针的迭代器类list<Date>::iterator it = lt.begin();//结点中的数据成员访问方式1: 结构体变量.结构体成员cout << (*it)._year << " " << (*it)._month << " " << (*it)._day << endl;cout << it.operator*()._year << " " << it.operator*()._month << " " << it.operator*()._day << endl;//结点中的数据成员访问方式2: 结构体指针->结构体成员//it->_year本应该为it->->_year,但由于->->可读性差,编译器优化为->;//第一个->去调用operator->重载函数返回Date*的指针，第二个->用来去访问自定义类型的成员变量;cout << it->_year << " " << it->_month << " " << it->_day << endl;cout << it.operator->()->_year << " " << it.operator->()->_month <<" " << it.operator->()->_day<< endl;}

当迭代器内部重载了operator->()函数，且该函数返回结点中的数据成员的地址，便可以使用->访问自定义类型数据中的成员变量；

T* operator->(){return &_node->_data;}

普通迭代器总体实现代码

template<class T>struct __List_iterator{typedef ListNode<T> Node;Node* _node;__List_iterator(Node* node):_node(node){}typedef __List_iterator<T> self;//++itself& operator++(){_node = _node->_next;return *this;}//it++self operator++(int){self tmp(*this);_node = _node->_next;return tmp;}//--itself& operator--(){_node = _node->_prev;return *this;}//it--self operator--(int){self tmp(*this);_node = _node->_prev;return tmp;}bool operator==(const self& s){return _node == s._node;}bool operator!=(const self& s){return _node != s._node;}T& operator*(){return _node->_data;}T* operator->(){return &_node->_data;}};

无论是普通迭代器还是const迭代器，均需要迭代器遍历容器中的内容，因此迭代器本身可以被修改，区别仅在于迭代器指向的内容是否可以被修改，那么该如何实现const迭代器类呢？

由于const迭代器本质为保护迭代器指向的内容不允许被修改，若实现const迭代器类，只需要普通迭代器的operator*()与operator->()两个接口的返回值采用const修饰，便保护容器中的内容不会被修改，其余接口均保持不变；

template<class T>struct __List_const_iterator{typedef ListNode<T> Node;Node* _node;__List_const_iterator(Node* node):_node(node){}typedef __List_const_iterator<T> self;self& operator++();self operator++(int);self& operator--();self operator--(int);bool operator==(const self& s);bool operator!=(const self& s);const T& operator*(){return _node->_data;}const T* operator->(){return &_node->_data;}};

上述实现方案，在同一份文件中存在普通迭代器类与const迭代器类，两者之间仅有两个接口的返回值不同，如此便造成了代码的冗余，导致可读性变差，那么该如何改进呢？

迭代器类增加两个模版参数，使用时便可实例化出普通迭代器与const迭代器；

//迭代器实现最终总体代码,只给出函数声明与普通迭代器代码相同template<class T,class Ref,class Ptr>struct __List_iterator{typedef ListNode<T> Node;Node* _node;__List_iterator(Node* node):_node(node){}typedef __List_iterator<T> self;self& operator++();self operator++(int);self& operator--();self operator--(int);bool operator==(const self& s);bool operator!=(const self& s);Ref operator*(){return _node->_data;}Ptr operator->(){return &_node->_data;}};

当在list类中定义两个迭代器类，普通迭代器类，const迭代器类(Ref为 T&/const T& 类型，Ptr为 T*/const T* 类型)

typedef __List_iterator<T,T&,T*> iterator;typedef __List_iterator<T,const T&,const T*> const_iterator;

当使用普通迭代器对象时，实例化出普通迭代器类(iterator)，使用const迭代器对象时，实例化出const迭代器类(const_iterator) ；

list类的实现

list类的成员变量

list类的成员变量只需要一个头结点，便可通过迭代器访问其他节点元素；

template<class T>class list{typedef ListNode<T> Node;public:typedef __List_iterator<T, T& , T*> iterator;//重命名普通迭代器typedef __List_iterator<T, const T&, const T*> const_iterator;//重命名const迭代器private:Node* _head;};

构造函数

list(){_head = new Node; // 申请一个头结点_head->_next = _head; // 后继指针指向自己_head->_prev = _head; // 前驱指针指向自己}

迭代器

begin() : 构造出指针指向第一个结点的迭代器对象；
end() :    构造出指针指向头结点的迭代器对象；

iterator begin(){//return iterator(_head->_next);//单参数的构造函数支持类型转换__List_iterator(Node* node)//支持Node* 转换为 迭代器对象return _head->_next;}iterator end(){return _head;}const_iterator begin() const{return _head->_next;}const_iterator end() const{return _head;}

insert(）

新开辟一个结点newnode(值为val)，得到当前结点的指针，前驱结点的指针；前驱结点的_next 指向 newnode，newnode的_prev指向前驱结点；newnode的_next 指向当前结点，当前结点的_prev指向newnode；

iterator insert(iterator pos, const T& x){Node* cur = pos._node;//当前结点指针Node* prev = cur->_prev;//前驱结点指针Node* newnode = new Node(x);//新开辟结点prev->_next = newnode;newnode->_prev = prev;newnode->_next = cur;cur->_prev = newnode;//return iterator(newnode);return newnode;}

erase()

得到前驱结点和后继结点的指针；前驱结点的_next 指向后继结点；后继结点的_prev指向前驱结点；删除当前结点，返回删除位置的下一个位置；

iterator erase(iterator pos){assert(pos != end());//不能删除空双向循环链表Node* cur = pos._node;//当前结点指针Node* prev = cur->_prev;//前驱结点指针Node* next = cur->_next;//后继结点指针prev->_next = next;next->_prev = prev;delete cur;return next;//返回删除位置的下一位置}

push_front/push_back/pop_front/pop_back

push_back :  尾插即在头结点前插入一个结点；
pop_back   :  尾删，删除最后一个结点；
push_front  :  头插即在第一个结点前(非头结点)插入一个结点；
pop_front   :   头删，删除第一个结点（非头结点）；

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());}

front/back

front() : 返回第一个结点数据的引用；
end()  :  返回最后一个结点数据的引用；

T& front(){  //*begin-->T& operator*()return *begin();}const T& front()const{return *begin();}T& back(){return *(--end());}const T& back()const{return *(--end());}

clear()

双向循环链表只保留头结点，遍历链表时调用erase接口进行删除，注意调用erase后迭代器it已经失效，使用返回值接收，自动指向下一结点；

void clear(){iterator it = begin();while (it != end()){it = erase(it);}}

empty()

//判断容器是否非空bool empty()const{return begin() == end();}

swap()

//交换容器的头指针void swap(list<T>& tmp){std::swap(_head, tmp._head);}

拷贝构造函数

申请一个头结点，构造空双向循环链表(新容器)；将 lt 中的数据拷贝到新构造的容器中；

list(const list<T>& lt){_head = new Node; // 申请一个头结点_head->_next = _head; // 后继指针指向自己_head->_prev = _head; // 前驱指针指向自己for (const auto& e : lt) // 拷贝到新构造的容器中{push_back(e);}}

赋值运算符重载

传统写法：

释放除了头结点以外的所有结点；将 lt 中的数据拷贝到新构造的容器中；

list<T>& operator=(const list<T>& lt){// 防止自己给自己赋值if (this != &lt){clear(); // 清空数据for (const auto& e : lt) // 拷贝到新构造的容器中{push_back(e);}}return *this; // 支持连续赋值}

现代写法：

拷贝构造出 lt 对象；交换 this 和 lt 的 _head 指针，出了作用域，lt 调用析构函数，释放掉原this的结点；

list<T>& operator=(list<T> lt) //拷贝构造lt对象{std::swap(_head, lt._head); //交换指针return *this; //支持连续赋值}

析构函数

使用 clear() 释放除了头结点以外的结点；释放掉头结点；

~list(){clear();delete _head;_head = nullptr;}

欢迎大家批评指正，博主会持续输出优质内容，谢谢大家观看，码字不易，希望大家给个一键三连支持~ 你的支持是我创作的不竭动力~

阅读本书更多章节>>>>

本文链接：https://www.kjpai.cn/gushi/2024-03-30/150699.html，文章来源：网络cs，作者：往北，版权归作者所有，如需转载请注明来源和作者，否则将追究法律责任！