PostgreSQL中WITH RECURSIVE检测环的核心逻辑是通过维护路径数组并在递归时用NOT next_id = ANY(path)过滤重复节点，被过滤即表明存在环；需显式记录path字段、排除已访问节点，并注意NULL、自环、多起点等细节。
什么是 WITH RECURSIVE 检测环的核心逻辑
PostgreSQL 的 WITH RECURSIVE 本身不直接提供“检测环”功能，而是靠在递归过程中显式记录路径（如数组），再用 @> 或 array_position() 判断当前节点是否已在路径中出现过。关键不是“有没有环”，而是“递归时能否及时发现重复访问”。
构建带路径追踪的递归 CTE
必须在递归查询中维护一个 path 字段（通常是 text[] 或 int[]），每次追加当前节点 ID，并在递归条件中排除已存在该 ID 的路径。
- 初始查询（non-recursive term）：把起点节点和单元素路径一起选出来，例如
ARRAY[dep_id] - 递归查询（recursive term）：JOIN 依赖表后，用
path || next_id扩展路径，且 WHERE 条件加上NOT next_id = ANY(path) - 如果某条路径因违反
NOT ... = ANY(path)被过滤掉，说明此处尝试向下走会成环——这个“被过滤”就是环存在的证据
示例（假设依赖关系存于 deps(from_id, to_id)）：
Blender Geometry Nodes Script Generator
下载
生成Blender Python (bpy)脚本，该脚本使用node_groups API和GeometryNodeTree接口程序化地创建几何节点修改器树，用于参数化3D资产生成。
WITH RECURSIVE walk AS ( SELECT from_id, to_id, ARRAY[from_id] AS path FROM deps WHERE from_id = 1 -- 起点 UNION ALL SELECT d.from_id, d.to_id, w.path || d.to_id FROM deps d JOIN walk w ON d.from_id = w.to_id WHERE NOT d.to_id = ANY(w.path) -- 关键：防环 ) SELECT * FROM walk;
如何确认某个节点是否存在循环依赖
仅运行上面的 CTE 不足以回答“有没有环”，因为被过滤掉的分支不会输出。要确认环存在，需改用「找最长可能路径」或「对比可达节点数」策略。
- 方式一：在递归后加
HAVING COUNT(*) > (SELECT COUNT(DISTINCT id) FROM nodes)—— 理论上路径长度不可能超过总节点数，超了必有环（但需确保图连通） - 方式二（更可靠）：把原始边表与递归结果做左连接，查哪些
to_id在递归中“本该出现却没出现”，再人工验证其父路径是否含自身 —— 这种漏出常暗示环阻断 - 方式三（推荐）：在递归 CTE 中增加
is_cycle BOOLEAN字段，当d.to_id = ANY(w.path)为真时设为TRUE，并用UNION ALL把这些环触发行单独收进来（注意需去重）
常见坑：NULL、自环、多起点与性能
实际数据里容易忽略的细节，会直接导致环检测失效：
-
NULL值：若from_id或to_id允许为NULL，NOT d.to_id = ANY(w.path)会返回NULL（即 false），导致意外跳过检查 —— 务必加AND d.to_id IS NOT NULL - 自环（
from_id = to_id）：这种边本身就是环，但会被NOT ... = ANY(path)拦住；若想捕获它，初始查询就要包含自环，或在递归前单独查WHERE from_id = to_id - 多起点：不要用
WHERE from_id IN (x,y,z)启动递归，会导致路径混杂；应为每个起点跑独立 CTE，或用ROW_NUMBER() OVER (PARTITION BY from_id)分组隔离 - 性能：路径数组随深度增长，
= ANY()是线性扫描；节点超 500 个、深度超 20 层时建议加LIMIT 1000防爆炸
环检测真正难的不是写法，而是定义清楚“对谁检测”和“环算哪一段”——比如 A→B→C→A 是环，但 A→B→C→B 是 B-C 循环，路径记录方式不同，结果就不同。
