Cpp学习——list的模拟实现

 

目录

一，实现list所需要包含的三个类

二，三个类的实现

1.list_node

2.list类

 3.iterator_list类

三，功能实现

1.list类里的push_back()

  2.iterator类里的运算符重载

3，list类里面的功能函数

1.insert（）

2.erase()函数

3.clear()与析构函数

4.拷贝构造函数赋值运算符重载

5.打印函数

---

一，实现list所需要包含的三个类

     因为list是一个带头双向循环链表。所以list的实现会比较的复杂一些。总得来说，实现一个双向带头循环链表需要构造三个类。1.list类，2.list_node类，3.list_iterator类。前两个类相信大家会比较的熟悉。第三个类大家会比较不熟悉，因为它是一个迭代器的类。也就是说这个类是迭代器的封装。它的实现很有价值，因为它能让我们在使用list时也可以像之前的数据结构一样方便。

二，三个类的实现

1.list_node

 这首先要实现的便是节点类。这个类是最容易实现的。这个类的作用便是给要产生的节点画一个图，定义一下这个节点的结构和类型。代码如下：

template<class T>//模板struct list_node{list_node(const T& val =T()//匿名对象 )//构造函数起初始化的作用:val(val), prev(nullptr), next(nullptr){}T val;list_node<T>* prev;list_node<T>* next;};

现在你看到了，这个节点的结构便是这样。其实这与之前实现的那个带头双向循环链表的结构差不多。不过，在cpp中引入了模板的概念，所以这个节点便可以调用模板参数来进行泛化。

2.list类

list类的定义可太简单了。list的成员变量只有一个参数，便是_head。这是哨兵位的头节点。当然还有一个无参的构造函数和一个功能函数。代码如下：

template<class T>class list{ public:typedef list_node<T> Node;void empty()//初始化功能函数。{_head = new Node;_head->prev = _head;_head->next = _head;}list()//构造函数{empty();}private:Node* _head;};

当然，这里的list类也是要用模板来进行泛化的。

 3.iterator_list类

这个类就算是比较复杂的一个类了。因为迭代器要实现两种重载版本：1.普通版本。2.const版本。所以迭代器类的模板参数会有三个：

template <class T, class Ref, class ptr>

这三个模板参数会重载两种版本的三个参数：T对象，T&，T指针类型。在这个类里面也只有一个成员：_node。类型与list类里面的成员类型相同。该类代码如下：

template <class T, class Ref, class ptr>struct iterator_list{typedef list_node<T> Node;iterator_list(Node* node):_node(node){}Node* _node;};

三，功能实现

1.list类里的push_back()

首先来实现一个push_back()函数，这个函数的作用便是实现尾插数据。逻辑十分简单，代码如下：

void push_back(const T& val){Node* newnode = new Node(val);Node* tail = _head->prev;tail->next = newnode;newnode->prev = tail;newnode->next = _head;_head->prev = newnode;}

写完这个以后，我便想要通过显示list里的数据来验证答案，但是很显然，我们做不到。因为list是一个自定义的类。但是我们有办法，所以我们便可以通过iterator来达到这个目的。所以我们必须在iterator类里面实现几个运算符重载。

  2.iterator类里的运算符重载

首先先实先这三个运算符重载：1.*，2.++，3.！=

代码如下：

        Ref operator *()//Ref代表T&{return _node->val;}self operator++(){_node = _node->next;return *this;}bool operator!=(self& it){return _node != it._node;}

然后再在list类里面实现begin()与end()函数之后便可以实现范围for的使用了，end与begin代码如下：

       //实现两个版本的begin与enditerator begin(){return _head->next;}iterator end(){return _head;}const_iterator begin()const{return _head->next;}const_iterator end()const{return _head;}

在实现了上面的代码以后，为了让迭代器的功能更加全面，那我们再实现几个函数重载。再iterator_list里面的全部运算符重载如下：

       Ref operator *(){return _node->val;}self& operator++()//前置++{_node = _node->next;return *this;}self operator++(int)//后置++{Node* tmp(*this);_node = _node->next;return tmp;}self& operator --()//前置--{_node = _node->prev;return *this;}self operator--(int)//后置--{Node* tmp(*this);_node = _node->prev;return tmp;}bool operator!=(const self& it)//若用引用便要加上const{return _node != it._node;}bool operator==(self& it){return _node == it._node;}self& operator+(int n){while (n){_node = _node->next;n--;}return *this;}ptr operator->()//箭头解引用{return &_node->val;}

在实现了这些运算符重载以后，list类里面的功能函数便好写了许多。

3，list类里面的功能函数

1.insert（）

这个函数实现的功能便是在pos位置之前插入一个新的节点。这个pos的类型是迭代器类型。在list类里边的迭代器重定义为：

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

我们只需要关注第一个迭代器即可，因为第二个迭代器修饰的对象是不可以修改的。所以insert的实现代码如下：

	iterator insert(iterator pos, const T& x)//在pos位置之前插入新节点{Node* newnode = new Node(x);Node* prev = pos._node->prev;prev->next = newnode;newnode->prev = prev;newnode->next = pos._node;pos._node->prev = newnode;return pos._node->prev;//防止迭代器失效，所以返回pos的前一个位置}

检验一下，检验代码如下：

void test_list2(){list<int> l1;l1.push_back(1);l1.push_back(2);l1.push_back(3);l1.push_back(4);l1.push_back(5);for (auto e : l1){cout << e << " ";}cout << endl;l1.insert(l1.begin(), 9);l1.insert(l1.end(), 99);for (auto e : l1){cout << e << " ";}cout << endl;}

结果：正确

 在实现了insert（）函数以后便可以复用实现push_back()与push_front()。代码如下：

        void push_back(const T& val){insert(begin(), val);}void push_front(const T& val){insert(end(), val);}

2.erase()函数

erase()函数实现的功能便是传入一个位置，然后将该位置上的节点删除掉。代码实现如下：

       iterator erase(iterator pos){Node* prev = pos._node->prev;Node* next = pos._node->next;Node* cur = pos._node;delete cur;prev->next = next;next->prev = prev;return iterator(next);//返回新的迭代器}

复用erase实现尾删与头删，代码如下：

​void pop_back(){erase(--end());//尾巴是--end()的位置}void pop_front(){erase(begin());}​

实验代码：

void test_list3(){list<int> l1;l1.push_back(1);l1.push_back(2);l1.push_back(3);l1.push_back(4);l1.push_back(5);for (auto e : l1){cout << e << " ";}cout << endl;l1.insert(l1.begin(), 9);l1.insert(l1.end(), 99);for (auto e : l1){cout << e << " ";}cout << endl;l1.pop_back();l1.pop_front();for (auto e : l1){cout << e << " ";}cout << endl;}

结果：正确

3.clear()与析构函数

实现了erase()函数以后再接再厉，接着复用实现clear函数，代码如下：

        void clear(){iterator it = begin();while (it != end()){it = erase(it);//erase()每次都会返回下一个位置}}

从上面代码的逻辑便可以看出clear()函数是不会删除掉头节点的。但是析构函数需要。于是复用clear()函数后析构函数代码如下：

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

4.拷贝构造函数赋值运算符重载

拷贝构造函数实现过程大概分三步，首先new出来一个空间。然后再复用push_back()函数将要赋值的数据拷贝到新节点内。实现代码如下：

	list(const list<T>& l1){empty();for (auto e : l1){push_back(e);}}

实现了拷贝构造以后，按照惯例，赋值也要被安排上了。赋值运算符重载实现代码如下：

     list<T>& operator =( list<T>& l1){if (this!= &l1){clear();for (auto e : l1){push_back(e);}}return *this;}

这是一个传统写法的运算符重载。如果想要更加精简可以写成现代写法，代码如下：

        void swap( list<T>& l1)//别加const{std::swap(_head, l1._head);//记得这个swap是std里面的swap}list<T>& operator=(list<T> l1){if (this != &l1){swap(l1);}return *this;}

5.打印函数

在这里，我们每次打印一个list对象时会很麻烦，每次都要用范围for来实现打印的功能。为了偷懒，我就想实现一个打印函数print来实现打印功能。实现代码如下：

template<class T>void print(list<T>& l1){typename list<T>::iterator it = l1.begin();//这里要用typename为前缀来告诉编译器等list<T>实例化以后再来执行这条语句for (auto e : l1){cout << e << " ";}cout << endl;}

但是上面的代码针对的类型时list类的泛型，如果想要实现能加载更多容器的print()函数那就得改一下类型，改为如下代码：

template <class Contains>void print(Contains& l1){typename Contains::iterator it = l1.begin();for (auto e : l1){cout << e << " ";}cout << endl;}