一. list 是什么?先搞懂底层结构

list 的本质是双向循环链表,且带有一个"哨兵位头结点"(不存储有效数据),结构如下:

在这里插入图片描述

在这里插入图片描述

  • 双向:每个字节包含前驱指针 (prev) 和后继指针 (next) ,支持向前,向后遍历;
  • 循环:尾节点的 next 指向头结点,头结点的 prev 指向尾结点,形成闭环;
  • 哨兵位头结点:避免插入/删除时判断"是否为空"”是否为头结点“的麻烦,简化代码逻辑。

这种结构决定了 list 的核心特性:任意位置插入/删除效率高(O(1)),但不支持随机访问(访问元素需要遍历,O(N))。 头文件包含:

代码语言:javascript

AI代码解释

#define _CRT_SECURE_NO_WARNINGS 1
#include<iostream>
#include<list>
#include<algorithm>
using namespace std;

参考文档:list - C++ Reference


二. list核心接口使用:从构造到修改

list 的接口丰富,但重点掌握"构造,迭代器,容量,元素访问,修改’五大类即可满足日常开发需求,以下结合代码示例讲解。

2.1 构造函数:初始化一个list

list 提供4种常用构造方式,覆盖"空容器,n个相同元素,拷贝,区间初始化"场景:

构造函数

接口说明

代码示例

list()

构造空 list

list<int> l1;(空链表,仅含头结点)

list(size_type n, const T& val = T())

构造含 n 个 val 的 list

list<int> l2(5, 3);(元素:3,3,3,3,3)

list(const list& x)

拷贝构造

list<int> l3(l2);(l3 是 l2 的副本)

list(InputIterator first, InputIterator last)

用 [first, last) 区间构造

int arr[] = {1,2,3}; list<int> l4(arr, arr+3);(元素:1,2,3)

代码演示:

代码语言:javascript

AI代码解释

void test_list1()
{
	//展示其中两个,其实使用起来跟前面的vector差不多
	list<int> lt1;//无参构造
	list<int> lt2 = {1,2,3,4,5};
	list<int>::iterator it2 = lt2.begin();
	while (it2 != lt2.end())
	{
		cout << *it2 << " ";
		++it2;
	}
	cout << endl;

	for (auto e : lt2)
	{
		cout << e << " ";
	}
	cout << endl;
}

int main()
{
	test_list1();
}

在这里插入图片描述

在这里插入图片描述

2.2 迭代器:遍历list的 “指针”

list 的迭代器本质是 “结点指针的封装”,支持正向和反向遍历,核心接口如下(当然也可以使用范围for):

函数声明

接口说明

特点

begin() / end()

正向迭代器:begin() 指向 list 第一个有效元素,end() 指向头结点(尾后位置)

对迭代器执行 ++ 操作,迭代器向后移动,用于正向遍历所有有效元素

rbegin() / rend()

反向迭代器:rbegin() 指向 list 最后一个有效元素,rend() 指向头结点(反向尾后位置)

对迭代器执行 ++ 操作,迭代器向前移动,用于反向遍历所有有效元素

迭代器知识补充:

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

2.3 容量与元素访问:判断空、查大小、取首尾

list 不支持随机访问(没有 operator[]at()),仅提供 “判断空、获取大小、取首尾元素” 的接口:

函数声明

接口说明

代码示例(基于 l4 = {1,2,3,4})

empty()

检测 list 是否为空,空则返回 true,非空返回 false

l4.empty();(返回 false,因 l4 含 4 个有效元素)

size()

返回 list 中有效元素的个数,单位为无符号整数(size_type)

l4.size();(返回 4,对应 l4 中的元素 1、2、3、4)

front()

返回 list 第一个有效元素的引用,支持读写操作(可直接修改元素值)

l4.front() = 10;(修改后 l4 变为 {10,2,3,4})

back()

返回 list 最后一个有效元素的引用,支持读写操作(可直接修改元素值)

l4.back() = 40;(修改后 l4 变为 {10,2,3,40})

注意:front()back() 仅在 list 非空时使用,若为空会触发未定义行为(建议先 empty() 判断)。

2.4 元素修改:插入,删除,清空

list 的核心优势在"修改操作",任意位置插入/删除仅需调整指针,效率极高,常用接口如下:

函数声明

接口说明

代码示例(基于 l4 = {10,2,3,40})

push_front(const T& val)

在 list 头部(第一个个有效元素之前)插入值为 val 的元素

l4.push_front(0);(插入后 l4 变为 {0,10,2,3,40})

pop_front()

删除 list 的第一个个有效元素

l4.pop_front();(删除后 l4 变回 {10,2,3,40})

push_back(const T& val)

在 list 尾部(最后一个有效元素之后)插入值为 val 的元素

l4.push_back(50);(插入后 l4 变为 {10,2,3,40,50})

pop_back()

删除 list 的最后一个有效元素

l4.pop_back();(删除后 l4 变回 {10,2,3,40})

insert(iterator pos, const T& val)

在迭代器 pos 指向的位置之前插入值为 val 的元素,返回指向新插入元素的迭代器

auto it = l4.begin(); ++it; l4.insert(it, 15);(it 初始指向 2,插入后 l4 变为 {10,15,2,3,40})

erase(iterator pos)

删除迭代器 pos 指向的元素,返回指向被删除元素下一个元素的迭代器

it = l4.begin(); ++it; l4.erase(it);(it 指向 15,删除后 l4 变回 {10,2,3,40})

clear()

清空 list 中所有有效元素(仅保留头结点),清空后 size() 为 0

l4.clear();(清空后 l4 无有效元素,l4.size() 返回 0)

2.5 常用算法与操作:find、sort、unique、reverse

list 提供多个实用成员函数和适配的通用算法,用于处理查找、排序、去重、反转等场景,具体如下:

函数类型

函数声明 / 调用方式

接口说明

代码示例(基于 list<int> l = {3,1,4,1,5,9})

注意事项

算法函数(需包含 <algorithm>)

find(iterator first, iterator last, const T& val)

在 [first, last) 区间查找值为 val 的元素,返回首个匹配元素的迭代器;若未找到,返回 last

#include <algorithm> auto it = find(l.begin(), l.end(), 4); // it 指向元素 4(值为4的位置)

1. 属于 STL 通用算法,非 list 成员函数2. 时间复杂度 O(N),需遍历查找

成员函数

sort()

对 list 元素进行升序排序(默认按 < 比较)

l.sort(); // 排序后 l = {1,1,3,4,5,9}

1. list 不支持随机访问,不能用 STL 通用 sort 算法,需用自身成员函数2. 底层通常为归并排序,时间复杂度 O(N log N)

成员函数

unique()

移除连续重复的元素(只保留第一个),返回指向最后一个有效元素后位置的迭代器

l.sort(); // 先排序使重复元素连续:{1,1,3,4,5,9} l.unique(); // 去重后 l = {1,3,4,5,9}

1. 仅移除“连续重复”元素,需先 sort() 使相同元素相邻才能完全去重2. 时间复杂度 O(N)

成员函数

reverse()

反转 list 中所有元素的顺序

l.reverse(); // 原 l={3,1,4,1,5,9} → 反转后 {9,5,1,4,1,3}

仅调整节点指针方向,时间复杂度 O(N),效率极高

代码演示:

代码语言:javascript

AI代码解释

void test_list2()
{
	list<int> lt1;//无参构造
	list<int> lt2 = { 1,2,3,4,5 };
	auto pos = find(lt2.begin(),lt2.end(),3);
	if (pos != lt2.end())
	{
		lt2.insert(pos, 30);//pos没有失效,因为没有扩容
		lt2.erase(pos);//pos失效了
		//cout << *pos << endl;
	}

	for (auto e : lt2)
	{
		cout << e << " ";
	}
	cout << endl;
}

void test_list3()
{
	list<int> lt2 = { 1,2,4,3,5 };
	//sort(lt2.begin(), lt2.end());//不支持
	lt2.sort();

	for (auto e : lt2)
	{
		cout << e << " ";
	}
	cout << endl;
}

void test_list4()
{
	list<int> lt3 = { 1,2,2,3,3,2,3,4,5 };
	for (auto e : lt3)
	{
		cout << e << " ";
	}
	cout << endl;
	lt3.sort();
	lt3.unique();//去重
	for (auto e : lt3)
	{
		cout << e << " ";
	}
	cout << endl;
}

int main()
{
	//test_list1();
	test_list2 ();
	test_list3();
	test_list4();
}

在这里插入图片描述

在这里插入图片描述


三. list迭代器失效:只在删除时发生

前面说过,此处大家可将迭代器暂时理解成类似于指针,迭代器失效即迭代器所指向的节点的无效,即该节点被删除了。因为list的底层结构为带头结点的双向循环链表,因此在list中进行插入时是不会导致list的迭代器失效的,只有在删除时才会失效,并且失效的只是指向被删除节点的迭代器,其他迭代器不会受到影响。 迭代器失效是使用 list 时的核心注意点,但其失效规则比 vector 简单得多:

  • 插入时: list 插入仅需调整指针,不会移动现有节点,因此所有迭代器都不会失效
  • 删除时: 仅指向 “被删除节点” 的迭代器失效,其他迭代器(指向未删除节点)不受影响。

更多推荐