数组模拟链表是用下标替代指针串联节点，通过e[N]存数据、ne[N]存后继下标、head记表头、idx管空闲位置，实现零堆内存操作；支持逻辑删除与空闲链表复用，适用于嵌入式、实时系统及邻接表、哈希拉链等场景。
用数组模拟链表，本质是把“靠地址指针串联节点”的逻辑，换成“靠数组下标串联元素”的方式。它不依赖运行时动态分配内存，所有节点预先在一块连续数组中划好位置，自然绕开了堆内存频繁申请释放导致的外部碎片问题。特别适合嵌入式、高频实时系统或长期运行服务这类对内存稳定性要求高的场景。
核心结构设计：两个数组 + 一个游标
不需要结构体或类封装，用三个基础变量就能跑起来：
- e[N]：存储每个节点的实际数据（比如 int 值）
- ne[N]：存储每个节点的“下一个是谁”，即下一个节点在 e 数组中的下标；用 -1 表示空（NULL）
- head：当前链表头节点的下标，初始为 -1（空链表）
- idx：指向下一个可用空闲位置的游标，从 0 开始递增
整个过程不调用 malloc/new，所有空间在编译期或初始化时一次性分配，彻底规避堆碎片。
关键操作：插入与删除不释放物理空间
插入（头插为例）只需三步：
- 把新值写进 e[idx]
- 让 ne[idx] 指向原来的 head
- 更新 head = idx，再 idx++
删除某个节点（比如第 k 个）也不真正清空内存，只改指针跳过它：
- ne[k] = ne[ne[k]] —— 把 k 的 next 指向它后继的后继
被跳过的节点仍保留在数组中，后续可被 idx 重新覆盖。这叫“逻辑删除”，省去内存管理开销，也避免了因释放引发的碎片再生。
应对长期运行：空闲链表管理（进阶技巧）
如果链表存在大量增删、且生命周期不一，单纯靠 idx 递增会浪费空间。此时可维护一个“空闲链表”：
- 初始化时，把所有下标 0~N-1 串成一条链：ne[i] = i+1，ne[N-1] = -1
- head 管理使用中的链表，free_head 管理空闲节点链表
- 插入时从 free_head 取节点；删除时把下标还给 free_head
这样既复用空间，又保持 O(1) 分配速度，同时杜绝因碎片导致的“明明有空位却无法插入”的窘境。
典型落地场景：图/树邻接表、哈希拉链、内存池元数据
这些结构天然需要大量小节点、高并发访问、低延迟响应：
- 邻接表存图：每个顶点 h[i] 是头指针，e[] 和 ne[] 共享同一套数组，插入边 a→b 就是 add(a, b)，无内存抖动
- 哈希表拉链法：h[] 存各桶头下标，冲突时直接头插，不触发 new/delete
- 自定义内存池管理块：把内存块元信息（起始地址、大小、是否占用）作为节点存进静态链表，池内分配/回收全在数组索引间完成
这些实践已广泛用于 Linux 内核模块、游戏引擎资源管理、高频交易中间件等对内存确定性要求严苛的系统中。
