静态链表本质是用数组下标和游标模拟指针，通过数据+索引绑定与空闲链管理实现链式结构；需初始化数据链（head=-1）和备用链（avail=0，next[i]=i+1），插入删除仅重定向游标，时间复杂度o(1)。
静态链表的本质，是用数组下标代替内存地址，用整数变量（游标）代替指针变量，从而在无指针语言或受限环境中实现链式逻辑结构。它不靠 malloc 或对象引用，只靠两个核心机制：数据+索引的绑定、空闲空间的链式管理。
结构设计：数据域与游标域必须成对存在
每个节点必须同时携带实际数据和指向下一个节点的“逻辑地址”——即数组下标。常见实现方式有两种：
- 单结构体数组：如
struct { int data; int cur; } space[MAX_SIZE];，每个元素既是数据容器，又是链接枢纽 - 双平行数组：如
int data[N], next[N];，分离存储，更利于缓存局部性，也方便调试观察
无论哪种形式，“cur”或“next”字段不能为任意值——它只能是合法数组下标、-1（表示空/尾）、或 0（若约定 0 为备用链表头）。混用不同空值含义（比如有时用 -1，有时用 MAX_SIZE）极易引发越界或死循环。
初始化关键：必须显式构建两条链——数据链与备用链
静态链表启动前，整个数组处于“未分配”状态。初始化不是清零就完事，而是要人为组织起两个独立链表：
-
数据链表：初始为空，由
head = -1标识 -
备用链表（空闲链）：把所有可用位置串起来，供后续插入时快速取用。典型做法是让
next[i] = i + 1（i 从 0 到 N−2），next[N−1] = -1，再令avail = 0作空闲头指针
漏掉备用链初始化，插入操作将无法获取新节点位置；错设 avail 起点，会导致部分数组空间永远不可用。
插入与删除：本质是游标重定向，不是数据搬移
这是静态链表区别于顺序表的核心优势——所有修改只发生在游标字段，时间复杂度稳定 O(1)：
- 插入时：从备用链摘下一个下标（如
i = avail; avail = next[i];），填入数据，再将其next[i]指向原位置后继，最后修正前驱的next - 删除时：不擦除数据，只把被删节点的下标重新挂回备用链（
next[i] = avail; avail = i;），真正实现“逻辑删除+物理复用”
注意：头插、尾插、中间插的差异仅在于“谁来改 next”，而非移动数据。很多初学者误以为要 shift 数组元素，反而破坏了静态链表的设计初衷。
调试与避坑：把游标当指针看，用下标画图验证
静态链表没有真实指针，调试时容易迷失。实用技巧：
- 打印整个
next[]数组，对照手绘链表图检查是否成环、断链、指向非法下标 - 每次插入/删除后，用遍历函数验证数据链长度是否符合预期，同时确认备用链长度是否同步增减
- 避免在
cur字段中混用语义：比如既用 -1 表示空，又用 0 表示空，或把未初始化的cur当作有效链接
游标不是魔法数字，它是有明确生命周期的状态变量——分配时赋值，释放时回收，使用时校验。
