Swift 通过 indirect 关键字使值类型枚举支持不受限的递归，这强制特定的案例将其关联值存储在堆分配的引用计数箱中。当案例标记为 indirect 时，编译器会将内联负载存储转换为指向由 ARC 管理的堆分配容器的指针。这种间接引用允许枚举递归引用自身，而不会导致无限大小扩展，因为编译器只需要存储指针，而不是内联中的完整值。
然而，这种转换显著影响模式匹配性能。每次访问 indirect 案例时，都需要指针追踪以到达负载，这相对于完全存储在堆栈上的枚举会降低 CPU 缓存局部性。此外，堆分配引入了原子保留和释放操作，增加了并发上下文中的同步开销，尽管该枚举在语言层面上仍保持值语义。
indirect enum Expression { case literal(Int) case add(Expression, Expression) case multiply(Expression, Expression) } // 模式匹配需要解引用 func evaluate(_ expr: Expression) -> Int { switch expr { case .literal(let value): return value case .add(let left, let right): return evaluate(left) + evaluate(right) case .multiply(let left, let right): return evaluate(left) * evaluate(right) } }
我们正在为一个配置引擎开发一个特定领域语言的解析器，需要处理深度嵌套的逻辑表达式。初始实现使用递归枚举来表示表达式 AST，没有 indirect 注释，当处理嵌套深度超过几千层的配置文件时，立即触发了堆栈溢出崩溃。
考虑的第一个解决方案是完全放弃枚举，采用基于类的树结构，具有父子引用。这种方法本可以为递归关系提供自然的堆分配。然而，我们拒绝了这一方案，因为它牺牲了值语义，使得在没有实现复杂的防御复制或锁机制的情况下，安全地共享解析的子树在并发编译线程之间变得不可能。
我们选择了第二种解决方案：专门对枚举中的递归案例应用 indirect，例如包含子表达式的案例。这保留了值语义，同时迫使仅在需要不受限递归时进行堆分配。权衡是可以接受的，因为我们维护了不变性保证和类型安全，尽管我们必须为频繁修改的表达式树实现自定义的按需复制优化。
结果是一个稳定的解析器，能够处理任意深度的嵌套。后来的分析显示，由于指针间接引用和 ARC 交通，indirect 案例的模式匹配消耗了大约百分之二十的 CPU 周期，这一问题通过将小的固定深度结构扁平化为非间接辅助枚举以处理常见案例得以缓解。
indirect 如何与 Swift 的按需复制优化交互？
许多候选人认为，indirect 案例总是触发整个递归结构的深层复制。实际上，Swift 对包含间接负载的堆箱应用了按需复制语义。当带有 indirect 案例的枚举赋值给新变量时，编译器保留堆箱引用而不是复制内容。只有在发生修改操作且引用计数超过一时，负载才会复制。这种优化对处理大型递归结构的性能至关重要，但在处理线程安全时需要仔细考虑，因为引用计数本身是原子的，但按需复制逻辑需要在多个线程之间进行同步。
你能将 indirect 应用于单个案例而不是整个枚举吗？这对内存布局有什么影响？
候选人通常认为 indirect 必须应用于整个枚举声明。然而，Swift 允许将单个案例标记为 indirect，这对内存布局有显著影响。当特定案例被标记为 indirect 时，枚举使用标记指针表示，其中间接案例占用一个指向堆箱的字大小指针，而非间接案例在枚举的内存占用中直接存储其负载。这种混合表示优化了仅需要某些案例递归的枚举的内存使用。然而，它在模式匹配中引入了复杂性，因为编译器必须为内联与间接负载生成不同的访问代码路径，且枚举的总体尺寸由最大内联负载加标签位决定，而不是间接案例的大小。
当涉及闭包时，带有 indirect 的递归枚举如何可能产生保留循环，这与标准值类型行为有何不同？
这是一个微妙的问题，揭示了对 ARC 深刻的理解。通常，像枚举这样的值类型无法产生保留循环，因为它们在值级没有身份和引用计数。然而，当一个案例标记为 indirect 时，负载被堆分配并进行引用计数。如果 indirect 案例的关联值中包含捕获该枚举自身的闭包，并且该闭包存储回枚举的关联值中，就会在堆箱和闭包之间产生保留循环。这与基于类的循环不同，因为循环存在于堆分配的箱中，而不是枚举值本身。要打破循环，必须使用捕获列表，如 [weak self] 或 [unowned self]，但由于枚举通常是值类型，开发者常常忽略 indirect 引入负载的引用语义，在处理闭包时需要和类一样的谨慎。