CUE语言evalv3评估器中的"incDependent: already closed"问题分析

问题背景

在CUE语言的最新评估器实现evalv3中，开发者发现了一个与结构共享和析取逻辑相关的严重问题。当代码中同时包含内置函数和类型析取时，评估器会出现"incDependent: already closed"的panic错误。这一问题不仅影响了基本的功能使用，也暴露了评估器在特定场景下的设计缺陷。

问题表现

该问题最初出现在一个结合了内置函数list.Concat和类型析取的示例中。用户定义了一个Run结构体，其中env字段有两种可能的类型：一个字符串映射或字符串数组。当尝试将这个定义与使用list.Concat的结果结合时，evalv3评估器会抛出panic。

技术分析

深入分析后发现，这个问题实际上与评估器的结构共享机制密切相关。当评估器尝试处理包含以下特征的代码时会出现问题：

1. 类型析取（Disjunction）：使用"|"符号表示的多重可能类型
2. 结构共享：评估器对相同结构的重用优化
3. 嵌套引用：类型定义中的相互引用关系

核心问题在于评估器在结构共享环境下处理类型析取时，对依赖关系的管理出现了错误。当评估器尝试增加一个已经关闭的上下文的依赖计数时，触发了保护机制导致panic。

简化示例

通过进一步研究，开发者将问题简化为一个更小的重现示例：

out: {X} & X
X: {
    b: int | c
    c: int | { e: d }
}
d: 1

这个简化版本清晰地展示了问题的本质：当类型X中的字段b和c形成相互引用，并且通过析取和结构共享组合时，评估器无法正确处理依赖关系。

解决方案

临时解决方案是使用__no_sharing指令禁用特定部分的结构共享：

out: {X} & X
X: {
    b: int | c
    c: int | { e: d & __no_sharing }
}
d: 1

这种方案虽然可以避免panic，但并不是根本解决方案，因为它牺牲了评估器的优化能力。

深层原因

问题的根本原因在于评估器在处理以下情况时的逻辑缺陷：

1. 当评估器遇到析取类型时，会创建多个可能的评估路径
2. 结构共享机制会尝试重用已经评估过的节点
3. 当这些节点之间存在循环或复杂依赖关系时，依赖计数管理出现错误

特别是在节点已经被标记为"关闭"（评估完成）后，如果又有新的依赖尝试增加计数，就会触发保护性panic。

影响范围

这个问题影响了所有使用以下特性的CUE配置：

1. 复杂的类型系统设计，特别是包含自引用和相互引用的类型
2. 大量使用类型析取来定义灵活的数据结构
3. 依赖结构共享优化的大型配置

开发者建议

对于遇到此问题的用户，建议：

1. 暂时使用旧版评估器（设置CUE_EXPERIMENT=evalv3=0）
2. 在关键路径上谨慎使用__no_sharing指令
3. 简化过于复杂的类型相互引用
4. 关注CUE项目的更新，等待官方修复

总结