链表已死？现代CPU体系结构下数据结构选型的真相

前几天代码评审，一位同事指着我们消息队列的缓冲结构说：这里不应该用链表，遍历它慢得要命，链表在这个年代的CPU上已经废了，全部换成数组吧。这话我听过不止一次，也见过不少人把线上队列、LRU、任务调度的底层结构从链表改成数组，最后发现一部分系统反而变卡了。

所以想写点东西，把这些年在现代计算机体系结构下重新审视链表的心得理一理。这篇不是教科书式的“链表温习”，我想聊的是体系结构和链表之间的那点纠葛：为什么总有人说链表性能差，为什么在真实工程里又到处看到链表——包括Linux内核、高性能网络库、数据库缓冲池、游戏引擎、消息队列。我会尽量把缓存、预取、内存分配这些现代CPU的“脾气”讲清楚，也会把我自己写代码时判断“到底该用数组还是链表”的思考路径铺开。

这篇文章适合两类人。一类是被教科书里的链表概念搞得晕头转向、又听到各种“链表已死”论调的后端或客户端开发；另一类是在系统设计里为数据结构选择拿不准、总怕因为“选错结构”被性能问题教育的人。看完你至少能明白一件事：链表和数组之争，本质上是访问模式和内存布局的博弈，跟“谁取代谁”没有关系。

1. “链表已死”论调是怎么来的：一次缓存与预取机制的误会

1.1 CPU只爱吃连续内存，这是果而不是因

先去想想，为什么数组遍历会那么快。现代CPU性能早就不是靠主频撑起来，而是靠三级缓存、预取器和流水线配合。拿x86_64平台来说，一次L1缓存命中的延迟大约在1纳秒量级，访问一次主存往往要80到100纳秒，差了将近两个数量级。哪个数据在缓存里，哪个数据在主存里，代码性能可能就拉开一个量级。

缓存不是按“字节”搬数据的，而是按cache line搬。x86下一条cache line基本是64字节，也就是说，你读数组的 a[0]，硬件会把 a[0] 到 a[15]（如果存的是int）一起装进缓存。你紧接着遍历 a[1]、a[2]，基本上全都在缓存里命中。更妙的是，硬件预取器会观察内存访问规律，一旦发现你在一块连续地址上按固定步长推进，它会提前把后面几十个地址的数据搬进缓存。这套机制简直就是给顺序数组量身定制的。

链表呢？教科书上的单链表节点通常长这样：

c复制struct node {
    int data;
    struct node *next;
};

每个节点通过next指针串联，逻辑上是有序的，但物理地址上没有任何保证。你第一次malloc申请到0x7f...a100，第二次malloc可能就到了0x...b300，中间隔着各种其他对象和分配器元数据。遍历时CPU顺着next指针跳过去，碰到一个不在缓存里的地址就得等主存，而且每跳一次，硬件就要重新学习一次访问模式。虽然现代CPU也有针对间接跳转的预取技术，但对一个malloc随机分配的链表来说，预取器基本无能为力。

所以“链表性能差”这句话，在“节点堆里乱分配、遍历全表”的场景下，确实是成立的。这背后是缓存命中率、cache line利用率、预取成功率全面被数组压制的正常结果。

1.2 链表慢的本质不是指针跳转，而是节点在物理空间上太分散

我一直觉得，把锅全甩给“指针跳转”是不够准确的。真正的核心矛盾是节点分散导致的空间局部性缺失。你看下面这种场景：如果一个链表的所有节点是从同一块大内存池里切出来的，而且建立链表时就是按顺序切的，那么遍历它的表现会好很多，因为相邻节点大概率落在相邻或接近的cache line里，预取器有机会工作。

我自己在一个测试程序里验证过，用 malloc 逐个分配100万个节点，再挨个遍历，和用一块预分配内存池里连续切出来的节点遍历，两者耗时差距非常明显。后者的表现虽比不上纯数组，但已经在同一数量级内。

这说明什么？说明“链表天生慢”这个结论，其实是“链表节点通常借助通用分配器分散堆放”的副作用，而不是“next指针”这个结构本身的原罪。只要节点布局足够紧凑，链表的遍历性能并没有想象中那么难看。相反，单纯迷信数组也会踩其它坑，比如中间插入要整体搬移、vector扩容可能把整个旧缓冲区复制一遍导致延迟尖刺、元素插入后原迭代器或引用全部失效。

1.3 数组的胜利也不是免费的：那些被忽略的隐性成本

我们常说数组是缓存之王，但对数组的崇拜也应该有个度。数组在“随机访问 + 顺序遍历 + 读多写少”的场景下确实是最优解，但你把它放到“高频中间插入删除”或“超大元素存储”的场景里，代价就出来了。

举个例子。假设一个容器里存的是1KB大小的记录块，你要在中间位置插入一条记录。数组的插入是 O(n) 的移动成本，虽然底层 memmove 很快，但移动一千条1KB记录就是1MB内存拷贝，高频执行时这就是真金白银的性能损耗和功耗开销。而链表插入一个节点只需要改两次指针，常数时间完成，不涉及任何数据搬移。

另一个容易被忽视的点是引用稳定性。C++的 std::vector 在扩容时会重新分配整块内存并把所有元素拷贝过去，任何持有旧地址的指针都会悬空。链表节点地址不变，插入删除不影响其它节点地址，这一点在实现无锁队列、对象池、带观察者的系统时非常重要。所以单纯用“谁遍历快”来裁决链表生死，视角实在太窄了。

2. 链表在现代工程中重获新生的三个关键技术方向

2.1 内存池化：把malloc/free从热路径里踢出去

既然链表慢的主因是节点分散，