静态链表是用数组模拟指针的数据结构技巧，以整型数组存下标代替地址，用-1表示空；需预分配固定容量，维护head和avail两个下标变量，并正确初始化空闲链表。
静态链表的本质是用数组模拟指针操作
静态链表不是语言特性，而是数据结构设计技巧：用整型数组代替内存地址，把“下一个节点位置”存成下标。C++ 里没有 nullptr 对应的数组下标，所以约定用 -1 表示空（NULL）。关键不是“怎么声明”，而是“怎么维护游标和空闲链表”。
常见错误是直接套用动态链表逻辑，比如写 next = new Node —— 静态链表根本没有 new，所有节点都在一个大数组里预分配好。
- 必须预先确定最大容量（比如
const int MAXN = 1000），后续无法扩容 - 每个节点结构体至少含两个字段：
data（存值）和next（存下一个有效节点的下标） - 需要额外维护一个“空闲链表头”（
avail），指向第一个未被使用的数组位置 - 初始化时要把所有空闲位置串成链：下标
0→1→ … →MAXN-1，最后以-1结尾
怎么初始化静态链表的空闲链表
不初始化 avail，后续 malloc（即申请节点）就会失败。典型错误是只初始化了数据数组，却忘了把所有下标串起来。
struct Node {
int data;
int next;
};
<p>Node nodes[MAXN];
int avail = 0; // 空闲链表头，初始指向下标 0</p><p>// 初始化：把 0~MAXN-1 全部串成空闲链
for (int i = 0; i </p><p>注意：这里 <code>avail</code> 是一个整型变量，不是下标数组；它始终保存当前第一个可用位置的下标。</p><h3>插入、删除操作要同时更新数据链和空闲链</h3><p>静态链表的插入不是“在某处分配新内存”，而是“从空闲链摘下一个节点，填上数据，再挂到数据链上”。删除同理：不是 <code>delete</code>，而是“从数据链摘下，再挂回空闲链”。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架"><img
src="https://img.php.cn/upload/skill/000/000/081/178988956499722.jpg" alt="C++ 算法竞赛自动化测试数据生成与校验框架" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="overflowclass">C++ 算法竞赛自动化测试数据生成与校验框架</a>
<p class="overflowclass">根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。</p>
</div>
<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div><p>容易漏掉的步骤：删节点时只改了前驱的 <code>next</code>，却没把该节点的 <code>next</code> 改成指向空闲链原头，导致空闲链断裂。</p>
- 插入（头插）：
int p = avail; avail = nodes[avail].next; nodes[p].data = x; nodes[p].next = head; head = p; - 删除（已知前驱
prev）：int p = nodes[prev].next; nodes[prev].next = nodes[p].next; nodes[p].next = avail; avail = p; - 所有操作中，
head和avail都是下标（int），不是指针，不能解引用
为什么不用 std::vector<node></node> 直接替代
可以，但失去“静态”意义。用 vector 动态扩容后，原有下标会失效 —— 因为 nodes[i].next 存的是原始下标，而 vector resize 或 push_back 可能触发内存重分配，所有旧下标全部作废。
真正需要静态链表的场景，通常是嵌入式、实时系统或竞赛中禁止动态内存分配的环境。普通应用里，std::list 或 std::vector 更安全可靠。
下标越界比空指针更难调试，一旦 nodes[i].next 被写成非法值（比如 MAXN 或负数非 -1），后续遍历就直接越界访问 —— 这类 bug 往往不会立刻崩溃，而是读到脏数据。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
