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

最新推荐文章于 2024-08-21 18:16:36 发布
最新推荐文章于 2024-08-21 18:16:36 发布
阅读量1.4k 收藏 37
点赞数 34
文章标签： c++ list 开发语言 数据结构
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/m0_58963318/article/details/136854312
版权

目录

结点类的模拟实现

迭代器类的模拟实现

构造函数

前置++与后置++

前置- -与后置 - -

== 与 !=运算符重载

* 运算符重载

-> 运算符重载

普通迭代器总体实现代码

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关键字封装节点指针,需要提供函数接口访问_node
struct __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;
}

前置- -与后置 - -

//--it
self& 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()
{
	//链表中的数据成员为自定义类型Date
	list<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;
	//++it
	self& operator++()
	{
		_node = _node->_next;
		return *this;
	}
	//it++
	self operator++(int)
	{
		self tmp(*this);
		_node = _node->_next;
		return tmp;
	}
	//--it
	self& 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(）

  1. 新开辟一个结点newnode(值为val)，得到当前结点的指针，前驱结点的指针；
  2. 前驱结点的_next 指向 newnode，newnode的_prev指向前驱结点；
  3. 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()

  1. 得到前驱结点和后继结点的指针；
  2. 前驱结点的_next 指向后继结点；
  3. 后继结点的_prev指向前驱结点；
  4. 删除当前结点，返回删除位置的下一个位置；
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);
}

拷贝构造函数

  1. 申请一个头结点，构造空双向循环链表(新容器)；
  2. 将 lt 中的数据拷贝到新构造的容器中；
list(const list<T>& lt)
{
	_head = new Node; // 申请一个头结点
	_head->_next = _head; // 后继指针指向自己
	_head->_prev = _head; // 前驱指针指向自己
	for (const auto& e : lt) // 拷贝到新构造的容器中
	{
		push_back(e);
	}
}

赋值运算符重载

传统写法：

  1. 释放除了头结点以外的所有结点；
  2. 将 lt 中的数据拷贝到新构造的容器中；
list<T>& operator=(const list<T>& lt)
{
	// 防止自己给自己赋值
	if (this != &lt)
	{
		clear(); // 清空数据
		for (const auto& e : lt) // 拷贝到新构造的容器中
		{
			push_back(e);
		}
	}
	return *this; // 支持连续赋值
}

现代写法：

  1. 拷贝构造出 lt 对象；
  2. 交换 this 和 lt 的 _head 指针，出了作用域，lt 调用析构函数，释放掉原this的结点；
list<T>& operator=(list<T> lt) //拷贝构造lt对象
{
	std::swap(_head, lt._head); //交换指针
	return *this; //支持连续赋值
}

析构函数

  1. 使用 clear() 释放除了头结点以外的结点；
  2. 释放掉头结点；
~list()
{
	clear();

	delete _head;
	_head = nullptr;
}

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

小呆瓜历险记
关注
  • 34
    点赞
  • 踩
  • 37
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 7
    评论
C++ STL - list 模拟实现+解析迭代器
TPON的博客
10-12 950
STL - list iterator const_iterator reverse_iterator 模拟实现
c模拟c++ stl list
06-18
然而，为了在C语言中模拟`std::list`的功能，我们需要手动创建一个类似的结构并实现其核心操作。 以下是一个简化的C语言实现`std::list`的概述： 1. **数据结构**：首先，我们需要定义一个节点结构来存储数据以及...
C++STL---list模拟实现
weixin_73919606的博客
06-06 808
本文我们模拟实现STL中的list，为了模拟实现list，实际上我们需要实现三个类，分别为：_list_node , _list_iterator , list。
C++ STL-＞list模拟实现
FBI_BAIGOU的博客
02-16 1297
list。
C++ STL --- list类模拟实现
weixin_57761086的博客
09-26 947
理解list模拟实现所需要的三个部分：结点类，迭代器类，list类。理解迭代器类的重载函数，重点是理解为何要重载->，以及重载->的内容。在list类中则要理解插入和删除函数的实现与复用，同时配有插图来理解函数运行的步骤。
【C++】STL---list的模拟实现
Lin5200000的博客
01-11 1663
list的模拟实现(超级详细，万字详解)
【C++】-- STL之list模拟实现
局部变量和全局变量
06-09 1698
list链表的模拟实现，与前面的string和vector相比，略复杂一点： （1）由于链表节点本身就是一个结构体，包含数据域、指针域。 将节点的相关操作放入节点类进行处理，逻辑更清晰 （2）string和vector的元素在空间上是连续分布的，迭代器++就能指向下一个元素，但list的迭代器不行，它的每个元素在空间上都不连续，要访问下一个节点必须找到当前节点的next，因此list的迭代器必须重写............
模拟实现STL----queue C++
juggte的博客
11-19 701
STL----queue queue 并不属于STL中容器的一种，是一个适配器(adapter)，或叫配接器。底层维护一个其他容器，并不自己实现，提供有限的接口。 #include <list> #include <cassert> namespace my { template<class T> class queue { public: //支持无参构造、拷贝构造、迭代器构造 queue() {} queue(const queue&l
C++之STL-list+模拟实现
JYXCZYH的博客
04-26 856
list基本用法和模拟实现
C++的STL----＞list
qq_56628506的博客
07-22 560
STL--->list
【C++】STL-vector模拟实现
2301_80277275的博客
04-24 785
vector的模拟实现，深入理解vector，深入理解深拷贝
STL-70个算法.rar_C++_stl 练习
09-23
STL提供了一些核心的数据结构，如vector（动态数组）、list（双向链表）、deque（双端队列）、set（红黑树实现的集合）、map（红黑树实现的键值对映射）和unordered_set/unordered_map（哈希表实现的集合和映射）。...
STL-Manual.rar_stl chm
09-23
STL（Standard Template Library，标准模板库）是C++编程语言中不可或缺的一部分，它提供了一系列高效、可重用的容器、算法和迭代器。STL手册，如"STL-Manual.rar_stl chm"中包含的"STL Manual.chm"，是一个极其重要...
STL-基础数据类型的基本用法
01-21
- **列表（List）**：`std::list<T>` 使用双向链表实现，支持快速的插入和删除，但随机访问效率较低。 - **映射（Map）**：`std::map, T>` 是一个关联容器，其中每个元素都是一个键值对，键是唯一的，通常用于实现...
STL中list模拟实现源码
08-06
list模拟实现源码，适合初学者学习
C语言：文件（写入，读取）
最新发布
2301_80311224的博客
08-21 662
区分二者很简单，我们可以选定一个文件，以记事本打开，如果其中的内容你能看懂，他就是一个文本文件，相反，如果是一堆你看不懂的东西，那他就是二进制文件。w+：既能读又能写，若文件不存在则创建，若文件存在则清空。若成功打开会返回文件指针，若失败则返回NULL。w：写入，若文件不存在则创建，若文件存在则清空。r：只读取，若文件不存在，fopen调用失败。a+：既能读又能写，若文件不存在则创建。在打开和关闭文件中，进行操作文件。a：追加写入，若文件不存在则创建。r+：既能读又能写，文件必须存在。
C程序设计——常量
tianshigexing的专栏
08-20 394
/ 1小时 == 3600秒上述源码就表示定义了一个整数类型的常量 I_XIAO_SHI。I_XIAO_SHI 叫做常量名。上述源码中，定义I_XIAO_SHI的时候，直接给它赋值了。这种在定义时赋值的操作，叫做初始化。用const 定义的常量只能初始化，不能赋值。如果你拥有一个好的编程风格，常量名全部用大写字母。char，unsigned char，short int……等所有整数、无符号整数类型，都可以通过const 关键字定义常量。
QT C++上位机软件开发，相比较C#上位机软件开发，有哪些特点和区别
曾经的我也很优秀，现在的我一无所有。
08-20 402
在开发上位机软件时，选择使用Qt C++还是C#取决于多种因素，包括项目需求、团队技能、开发速度等因素。
c++ error: ‘this’ was not captured for this lambda function
xiaozhi
08-20 351
c++ error: ‘this’ was not captured for this lambda function
C++ STL详解：从入门到精通
"C++_标准模板库(STL).pdf 是一份详细介绍C++ Standard Template Library (STL)的文档，旨在帮助读者理解和掌握STL的主要组件，包括容器、算法、迭代器、仿函数、适配器和空间配置器。文档结构清晰，设有目录，并...
评论 7
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

小呆瓜历险记

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值