C++实现高效的内存置换算法 _ LRU与LFU实现对比【源码】

秋雪小哥_8056

秋雪小哥_8056

2026-04-09

588人浏览

原创

std::list + std::unordered_map 实现 LRU 易因迭代器失效出错:splice/erase 后 map 中迭代器未同步更新会导致未定义行为;正确做法是 map 存 list::iterator,所有操作原子化,且 put 时须先 pop_front 再 erase map。

c++实现高效的内存置换算法 _ lru与lfu实现对比【源码】

为什么 std::list + std::unordered_map 实现 LRU 容易出错

直接用 std::list 存值、std::unordered_map 存迭代器的组合,看似经典,实则踩坑密集。最常见的是迭代器失效:当 std::list 发生 splice 或 erase 时,若 map 中缓存的迭代器未同步更新,后续 erase 会触发未定义行为。

正确做法是只存 std::list::iterator,且所有修改必须原子化:

  • 每次 get() 调用后,用 list.splice(list.end(), list, it) 将对应节点移到尾部(O(1))
  • put() 时若容量满,先 list.pop_front(),再从 map 中 erase 对应 key(注意:必须先删 list 再删 map,否则迭代器悬空)
  • map 的 value 类型必须是 std::list<:pair v>>::iterator,不能是 std::pair* —— 堆分配指针无法保证生命周期

LFU 不能只靠 std::map 实现频率分组

很多实现把每个频率映射到一个 std::list,靠 std::map> 管理,但忽略了一个关键问题:当多个 key 频率相同时,LRU 规则仍要生效——即同频下要淘汰最久未用的项。单纯按频率分组无法维护「同频内时间序」。

可靠方案是双层结构:

  • 外层:std::unordered_map> 存 key→(value, freq)
  • 内层:std::map> 存 freq→list of keys,但 list 每次插入必须用 push_back,删除用 pop_front
  • 额外维护一个 std::unordered_map::iterator>,用于 O(1) 定位 key 在哪个 freq list 中

这样 get() 时:先查外层得 freq,再用迭代器从旧 freq list 中 erase,再 push_back 到 freq+1 的 list 尾部 —— 同频内自然保持访问时序。

LRU 与 LFU 的时间复杂度差异不是常数级

LRU 用 std::list + std::unordered_map 可做到严格 O(1) 的 get 和 put;但 LFU 即便优化到极致,get 仍是 O(log F),其中 F 是当前最大频率(因为要操作 std::map)。这不是设计缺陷,而是 LFU 本质需要维护频率有序性。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载

实际压测中,当缓存项数 > 10⁵ 且热点分布陡峭(少数 key 占 80% 访问),LFU 的命中率优势才明显;反之在均匀访问场景下,LRU 更快且内存开销低约 15%(少一层 map 查找 + 更少的指针跳转)。

关键权衡点:

  • LFU 的 minFreq 字段必须实时更新,否则 put 时无法快速定位待淘汰组 —— 常见错误是仅在 get 中更新,漏掉新 key 插入时的初始化
  • LRU 的「最近」是绝对时间序,LFU 的「最少」是相对统计量,对突发流量敏感(比如某 key 突然被刷 100 次,freq 暴涨,可能挤掉真正冷数据)

别在 C++20 前硬套 std::ranges 或 auto 推导做泛型封装

看到网上有些“通用缓存模板”用 auto 推导容器类型或用 std::ranges::find 做查找,实际一编译就报错:C++17 不支持 std::ranges,而 auto 在模板参数推导中无法穿透嵌套类型(比如 std::list::iterator 无法被 auto 正确捕获为可存储类型)。

稳妥写法是显式约束:

  • 用 using iterator = typename Container::iterator 明确声明
  • 淘汰逻辑中避免 std::find(O(N)),坚持用 map 反向索引
  • 如果要用 C++20 特性,至少加 static_assert(__cplusplus >= 202002L) 防止低版本误用

真正影响性能的从来不是语法糖,而是 cache line 对齐和节点内存布局 —— std::list 每个节点带两个指针,比 std::vector<:pair>> 随机访问更易失 cache,这点在千兆网卡直连 Redis 代理的场景下会被放大。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.02

6759

3

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.08.29

3265

6

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

2025.08.29

4228

10

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

2025.08.29

2885

10

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

2026.04.23

379

31

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

2023.07.18

6227

5

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

2023.08.10

2628

6

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

2026.03.13

391

19

golang map内存释放
golang map内存释放

本专题整合了golang map内存相关教程,阅读专题下面的文章了解更多相关内容。

2025.09.05

630

5

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习