数组实现拓扑排序的核心是用inDegree[]记录各节点入度、successors[]存储后继列表，结合队列执行Kahn算法，按依赖关系确定执行顺序，适用于轻量级调度场景。
用数组实现拓扑排序，核心是模拟有向无环图（DAG）中节点的依赖关系，并通过入度数组 + 队列（或栈）驱动执行顺序。它不依赖图的邻接表/邻接矩阵结构，而是用纯数组记录每个变量的“前驱数量”和“后继列表”，适合轻量级变量调度、构建脚本执行序、配置项加载顺序等场景。
一、用两个数组建模依赖关系
假设你有一组变量 v0, v1, ..., vn-1，其中某些变量的计算依赖于另一些变量（如 v2 = v0 + v1，则 v2 依赖 v0 和 v1）。你需要用以下两个数组描述：
- inDegree[i]：整型数组，记录变量 i 的入度（即有多少其他变量直接依赖它）；初始全为 0
- successors[i]：数组的数组（或指针数组），存储所有以 i 为前驱的变量下标；例如若 v0 → v2、v0 → v3，则 successors[0] = [2, 3]
构建时遍历所有依赖声明（如 “v2 depends on v0, v1”），对每个依赖项 j → i，执行：
→ inDegree[i]++
→ append i to successors[j]
二、数组驱动的 Kahn 算法（队列版）
不用递归、不建图对象，仅靠数组 + 循环即可完成拓扑排序：
- 初始化一个空结果数组 order
- 用一个普通数组（或切片）模拟队列，把所有 inDegree[i] == 0 的变量下标入队
- 当队列非空：
- 取出队首下标 u
- 将 u 加入 order
- 遍历 successors[u] 中每个后继 v：
- inDegree[v]--
- 若 inDegree[v] == 0，将 v 入队
结束后若 order.length != 总变量数，说明存在环，无法排序。
三、实战：按依赖顺序执行变量赋值
假设有如下变量定义（伪代码）：
v0 = 10<br>v1 = 20<br>v2 = v0 + v1<br>v3 = v2 * 2<br>v4 = v1 - v0
步骤如下：
- 编号变量：v0→0, v1→1, v2→2, v3→3, v4→4
- 提取依赖：
- v2 依赖 v0,v1 → inDegree[2]=2；successors[0] 添加 2，successors[1] 添加 2
- v3 依赖 v2 → inDegree[3]=1；successors[2] 添加 3
- v4 依赖 v1,v0 → inDegree[4]=2；successors[1] 添加 4，successors[0] 添加 4
- 初始 inDegree = [0,0,2,1,2] → 入队 0 和 1
- 执行过程：
- 出队 0 → order=[0]；更新 v2,v4：inDegree[2]=1, inDegree[4]=1
- 出队 1 → order=[0,1]；更新 v2,v4：inDegree[2]=0, inDegree[4]=0 → 入队 2,4
- 出队 2 → order=[0,1,2]；更新 v3：inDegree[3]=0 → 入队 3
- 出队 4 → order=[0,1,2,4]；无后继
- 出队 3 → order=[0,1,2,4,3]
最终执行顺序为 v0 → v1 → v2 → v4 → v3，确保所有右值已就绪。
四、优化与注意事项
- 用静态数组时需预估最大变量数；动态语言可用 slice/list 自动扩容
- 若需稳定序（同入度时按字典序选），可在入队前对候选节点排序，或改用最小堆
- 检测环只需比对输出长度；无需额外 DFS
- 变量名到下标的映射建议用哈希表预处理一次，避免运行时字符串查找
- 支持“无依赖默认值”变量：它们的 inDegree=0，天然排在最前
这种数组化实现简洁、缓存友好、无内存分配压力，特别适合嵌入式配置引擎、前端构建依赖解析或编译器前端的简单符号求值阶段。
