【C++_STL】list用法&底层实现

目录

一,list  使用

1. list 文档介绍 

2. 常见接口

1.   list中的sort

2. list  + sort 与 vector  + sort效率对比

3. 关于迭代器失效

4. clear

二,list 实现

1.框架搭建 

2. 迭代器类——核心框架

3. operator->  实现 

4. const——迭代器

5. insert

6. erase

7. clear——实现

8. 拷贝构造 

首先实现迭代器构造函数:

 拷贝构造复用:

9. operator=

10. 全代码 

结语


一,list  使用

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 来说这可能是一个重要的因素)

STL文档网址:list - C++ Reference (cplusplus.com) 

 

2. 常见接口

      

STL 以设计模板类似,只对特殊处进行讲解。 

1.   list中的sort

 

 我们知道算法库里面有sort函数,那为什么list要单独写一个sort ??   原因: 算法库里面的sort使用有前提——数据地址连续。(list的sort底层实现大多是 非递归归并 排序 )

2. list  + sort 与 vector  + sort效率对比

    直接说结论list的sort 接口意义不大

效率实验:

测试组: 用list接受数据并用list的sort进行排序。

对照组:  先用vector接收数据,并用算法库中的sort排序,最后将数据转移到list中。

时间效率结果:

小量两者相差不大,但数据量大时,会有5到10倍的差距。 

3. 关于迭代器失效

前面说过,此处大家可将迭代器暂时理解成类似于指针, 迭代器失效即迭代器所指向的节点的无效,即该节点被删除了。因为 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);
  }
}

4. clear

    清除链表数据,保留头结点


二,list 实现

1.框架搭建 

  1 
  2 #include <iostream>
  3 #include <list>
  4 uising namespace std;
  5 namespace my_list
  6 {
  7   template<class T>
  8   struct list_node
  9   {
 10     list_node ( const T& val = T() ) // 针对不同的数据类型,所以用数据类型的仿函数
 11      :_val(val)
 12      ,_prev(nullptr)
 13      ,_next(nullptr)
 14     {}
 15 
 16     T _val;
 17     list_node<T>* _prev ;
 18     list_node<T>* _next ;
 19   };

      template<class T>
 22   class list                                                                                                        
 23   {
 24     typedef list_node<T> Node;
 25   public:
 26     list() // 
 27     {
 28       _head = new Node;
 29       _head->_prev = _head;
 30       _head->_next = _head;
 31     }
   private:
 45     Node* _head;
 46   };
 47 }

2. 迭代器类——核心框架

     之前string, vector在物理内存中是连续的,因此迭代器就跟指针差不多了,解引用一次即可表示数据。list在物理内存上不是连续存储的。list底层是带头的双向链表,通过头结点的指针,对所指向的数据进行操作处理。

struct _list_iterator  // 由于List的迭代器,表层是通过头结点进行操作,数据在头里面,一层解引用
 25     {                      // 解决不了问题
 26       typedef list_node<T> Node;
 27       typedef _list_iterator iterator;
 28       Node* _node; // 迭代器类,内部只要一个结点的指针即可
 29 
 30       _list_iterator(Node* x)
 31         : _node(x)
 32       {}
 33 
 34       // 重载迭代器*,因为结点的解引用,只是得到结点。目的:支持读,写
 35       T& operator*()
 36       {                                                                                                             
 37         return _node->_val;  
 38       }  
 39       // 重载迭代器++,list不是连续的空间,地址++不合理;目的:++后为下一个迭代器位置,且支持读,写
 40       iterator&  operator++() // 前置++  
 41       {  
 42          _node = _node->_next;
 43          return *this;
 44       }
 45       
 46 
 47       bool operator!=(const iterator& v) const 
 48       {
 49          return _node != v._node;
 50       }

大家是否有注意到吗? 我们的迭代器框架里没有写析构与拷贝构造?其实里面暗藏玄鸡。

      首先是析构: 1.  _node指针属于链表,我们不能随便释放空间。2.  自定义类型,系统自动调用自定义类型的析构函数。

      其次是拷贝: 我们只需要目标的地址,值拷贝就行,不需要深拷贝,所以不用写。 

3. operator->  实现 

    假设T是自定义类型,需要读取里面成员函数,甚至是成员变量。那么一般的写法: (*it).a1, 既然是指针写箭头会更方便 

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

		T* operator->()
		{
			return &(operator*()); //这个挺怪异的,马上讲解
		}

// 测试
void test2()
{
	struct pos
	{
		int a1 = 1;
		int a2 = 2;
	};
	my_list::list<pos> x;
	my_list::list<pos>::iterator it = x.begin();
	while (it != x.end())
	{
		cout << (*it).a1;
		cout << it->a1;
	}
}

4. const——迭代器

         普通迭代器, 解引用得到数据本体;而const迭代器,解引用得到本体,但不能对本体进行修改。为了提高代码复用率,下面是实现思路:

迭代器代码:

#include <iostream>
#include <string>
using namespace std;

namespace my_list
{
	template <class T>
	struct list_node // 不用修改
	{
		list_node(const T& data = T())
			: _data(data)
			, _next(nullptr)
			, _prv(nullptr)
		{}

		T _data;
		list_node* _next;
		list_node* _prv;
	};

	template <class T, class Ref, class Ptr>
	struct list_iterator  // 迭代器,仅修改会返回能写的函数,*, ->
	{
		typedef list_node<T> Node;
		typedef list_iterator< T, Ref, Ptr> iterator;

		Node* _node;

		list_iterator(Node* node)
			: _node(node)
		{}

		bool operator!= (const iterator& it)
		{
			return _node != it._node;
		}

		bool operator==(const iterator& it)
		{
			return _node == it._node;
		}

		iterator& operator++()
		{
			_node = _node->_next;
			return *this;
		}

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

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

		Ptr operator->()
		{
			return &(operator*());
		}

	};


	template <class T>  // 提供const迭代器类型+ const迭代器的begin(),end()
	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 iterator(_head->_next);
		}

		iterator end()
		{
			return iterator(_head);
		}
		
		const_iterator begin() const
		{
			return const_iterator(_head->_next);
		}

		const_iterator end() const
		{
			return const_iterator(_head);
		}


		list()
		{
			_head = new Node;
			_head->_next = _head;
			_head->_prv = _head;
		}

		void push_back( const T& val)
		{
			Node* tmp = new Node(val);
			tmp->_data = val;
			tmp->_next = _head;
			tmp->_prv = _head->_prv;
			_head->_prv->_next = tmp;
			_head->_prv = tmp;
		}

	private:
		Node* _head;
	};
}

5. insert

    

 我们实现最简单的1:

        // 在当前位置插入一个数据,当前数据向后移
		iterator insert(iterator pos, const T& data)
		{
			Node* cur = pos._node;
			Node* prv = cur->_prv;
			Node* newnode = new Node(data);

			newnode->_next = cur;
			newnode->_prv = prv;
			prv->_next = newnode;
			cur->_prv = newnode;

			return iterator(newnode);
		}

 这样头插,push_back也能复用insert:

        void push_back( const T& val)
		{
			/*Node* tmp = new Node(val);
			tmp->_data = val;
			tmp->_next = _head;
			tmp->_prv = _head->_prv;
			_head->_prv->_next = tmp;
			_head->_prv = tmp;*/

			insert(iterator(_head), val);  // 头插同理
		}
        void push_front(const T& val)
		{
			insert(iterator(_head->_next), val);
		}

6. erase

 

删除迭代器pos位置,然后返回下一个迭代器。

        iterator erase(iterator pos)
		{
			Node* cur = pos._node;
			Node* prv = cur->_prv;
			Node* next = cur->_next;

			prv->_next = next;
			next->_prv = prv;
			delete cur;
			return iterator(next);
		}

  这里只完成迭代器的核心代码,其他小功能就只做代码分享。

7. clear——实现

    完成clear的同时,list析构函数也能复用。

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

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

8. 拷贝构造 

传统写法: 自己对数据一个个拷贝。

现代写法: 利用迭代器构造函数,然后交换一下_head结点即可。 

首先实现迭代器构造函数:

        template <class input_iterator>
		list( input_iterator begin,  input_iterator end)
		{
			list_initial(); // 对头结点进行初始化
			while (begin != end)
			{
				push_back(*begin);
				++begin;
			}
		}

 拷贝构造复用:

       void swap(list<T>& x)  // 顺便实现一个swap
		{
			std::swap(x._head, _head);
		}

		list(const list<T>& x)
		{
			list_initial();
			list tmp(x.begin(), x.end());
			swap(tmp);
		}
         // tmp 调用析构时,会将this的_headfree掉

9. operator=

        list<T>& operator=(list<T> tmp) // 拷贝构造
		{
			swap(tmp);
			return *this;
		}

10. 全代码 

#include <iostream>
#include <string>
using namespace std;

namespace my_list
{
	template <class T>
	struct list_node
	{
		list_node(const T& data = T())
			: _data(data)
			, _next(nullptr)
			, _prv(nullptr)
		{}

		T _data;
		list_node* _next;
		list_node* _prv;
	};

	template <class T, class Ref, class Ptr>
	struct list_iterator
	{
		typedef list_node<T> Node;
		typedef list_iterator< T, Ref, Ptr> iterator;

		Node* _node;

		list_iterator(Node* node)
			: _node(node)
		{}

		bool operator!= (const iterator& it)
		{
			return _node != it._node;
		}

		bool operator==(const iterator& it)
		{
			return _node == it._node;
		}

		iterator& operator++()
		{
			_node = _node->_next;
			return *this;
		}

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

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

		Ptr operator->()
		{
			return &(operator*());
		}

	};


	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;

		void list_initial()
		{
			_head = new Node;
			_head->_next = _head;
			_head->_prv = _head;
		}

		list()
		{
			list_initial();
		}

		template <class input_iterator>
		list( input_iterator begin,  input_iterator end)
		{
			list_initial(); // 对头结点进行初始化
			while (begin != end)
			{
				push_back(*begin);
				++begin;
			}
		}

		void swap(list<T>& x)
		{
			std::swap(x._head, _head);
		}

		list(const list<T>& x)
		{
			list_initial();
			list tmp(x.begin(), x.end());
			swap(tmp);
		}

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

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



		iterator begin()
		{
			return iterator(_head->_next);
		}

		iterator end()
		{
			return iterator(_head);
		}
		
		const_iterator begin() const
		{
			return const_iterator(_head->_next);
		}

		const_iterator end() const
		{
			return const_iterator(_head);
		}


		void push_back( const T& val)
		{
			/*Node* tmp = new Node(val);
			tmp->_data = val;
			tmp->_next = _head;
			tmp->_prv = _head->_prv;
			_head->_prv->_next = tmp;
			_head->_prv = tmp;*/

			insert(iterator(_head), val);  // 头插同理
		}

		void push_front(const T& val)
		{
			insert(iterator(_head->_next), val);
		}

		// 在当前位置插入一个数据,当前数据向后移
		iterator insert(iterator pos, const T& data)
		{
			Node* cur = pos._node;
			Node* prv = cur->_prv;
			Node* newnode = new Node(data);

			newnode->_next = cur;
			newnode->_prv = prv;
			prv->_next = newnode;
			cur->_prv = newnode;

			return iterator(newnode);
		}

		iterator erase(iterator pos)
		{
			Node* cur = pos._node;
			Node* prv = cur->_prv;
			Node* next = cur->_next;

			prv->_next = next;
			next->_prv = prv;
			delete cur;
			return iterator(next);
		}
		
		iterator Pop_back()
		{
			erase(iterator(_head->_prv));
			return _head;
		}

		iterator Pop_front()
		{
			Node* next = _head->_next->_next;
			erase(iterator(_head->_next));
			return next;
		}

	     list<T>& operator=(list<T> tmp)
		{
			swap(tmp);
			return *this;
		}
	private:
		Node* _head;
	};
}

结语

   本小节就到这里了,感谢小伙伴的浏览,如果有什么建议,欢迎在评论区评论,如果给小伙伴带来一些收获请留下你的小赞,你的点赞和关注将会成为博主创作的动力

  • 31
    点赞
  • 31
    收藏
    觉得还不错? 一键收藏
  • 46
    评论
### 回答1: C++ STL(Standard Template Library)是一种功能强大的库,提供了一套丰富的数据结构和算法实现。在余文溪的《C++ STL数据结构与算法实现》这本PDF书中,详细介绍了STL的各种数据结构和算法的实现。 首先,STL提供了几种基本的数据结构,例如vector(动态数组)、list(双向链表)、deque(双端队列)、set(集合)、map(映射)等。这些数据结构STL中都有相应的实现和操作函数,能够方便地进行插入、删除、查找等操作。 此外,STL还提供了一些算法,包括排序、查找、遍历等等。这些算法可以应用于STL的各种数据结构上,提供了一种高效且易用的方式来处理数据。例如,STL中提供了排序算法sort,可以对vector、list等容器进行排序操作;还有查找算法find,可以在set、map等容器中进行查找操作。 在《C++ STL数据结构与算法实现》中,余文溪详细阐述了STL实现原理和内部细节,帮助读者深入理解STL的工作原理。通过学习这本书,读者可以了解到STL的设计思想、使用方法和性能特点,从而能够更好地应用STL解决问题。 总而言之,STL提供了一套强大的数据结构和算法实现,通过余文溪的《C++ STL数据结构与算法实现》这本PDF书,读者可以深入了解STL的使用方法和内部原理,提升编程能力。 ### 回答2: C++ STL(Standard Template Library,标准模板库)是C++标准库的一部分,为我们提供了丰富的数据结构和算法实现。余文溪编写的《C++ STL 数据结构域算法实现》PDF是一本介绍STL的经典教材。 STL包含了很多常用的数据结构,例如向量(vector)、链表(list)、集合(set)和映射(map)等。这些数据结构都已经被封装好,通过STL可以方便地进行插入、删除、查找等操作。同时,STL还提供了强大的算法库,例如排序、查找、拷贝和逆序等。使用STL数据结构和算法,可以极大地提高我们的编程效率。 《C++ STL 数据结构域算法实现》是一本很好的学习STL的教材。其中,余文溪详细地介绍了STL的各种数据结构和算法,通过代码示例和讲解,深入浅出地帮助读者理解STL的使用方法。这本教材适合初学者和有一定基础的读者阅读,对于了解STL的基本概念和使用方法非常有帮助。 在读完《C++ STL 数据结构域算法实现》后,读者将能够熟练使用STL提供的数据结构和算法,加快自己的编程效率。同时,通过掌握STL的使用,读者也能更好地理解C++标准库的设计思想和使用方法,提升自己的编程水平。 总之,《C++ STL 数据结构域算法实现》是值得一读的一本STL教材,能够帮助我们更好地学习和应用STL,提高我们的编程效率和水平。 ### 回答3: STL(Standard Template Library)是C++的标准库之一,提供了丰富的数据结构和算法实现。而余文溪编写的《C++ STL数据结构与算法实现》这本PDF书籍主要介绍了STL的使用方法和内部实现原理。 该书首先介绍了STL的基本概念和使用方法,包括迭代器、容器、算法等方面的内容。通过对各种容器(如vector、list、set、map等)和算法(如排序、查找、合并等)的讲解,读者可以了解到STL的强大功能和高效性。 此外,余文溪在书中也深入探讨了STL的内部实现原理。他通过剖析STL的源代码,详细解释了其中的数据结构和算法实现细节。这对于希望深入理解STL底层机制的读者来说,是非常有价值的。 《C++ STL数据结构与算法实现》这本书的另一个特点是提供了大量的示例代码和实战练习。通过实际编写代码和完成练习,读者可以巩固所学知识,并提升自己的编程能力。 总之,余文溪的这本PDF书籍对于想要掌握STL的使用方法和底层实现原理的C++程序员来说,是一本非常实用的工具书。无论是初学者还是有一定经验的开发者,都可以从中获得很多有价值的知识和技能。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 46
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值