如何在F#中初始化相互递归记录（不依赖可变类型）

这个问题我之前也踩过坑，F#里不可变类型的循环引用确实有点棘手——你原来的写法之所以会出现null，是因为F#对不可变记录的字段是严格求值的：初始化parent的时候，需要立即确定Child字段的值，但这时候child还没完成初始化，所以只能暂时用null填充；等child初始化完，parent已经是不可变的了，没法再更新Child字段，就留下了这个null。

要在不依赖可变类型的前提下解决这个问题，我们可以用**惰性求值（Lazy）**来延迟其中一个字段的求值，让循环引用的建立时机延迟到第一次访问该字段的时候。

步骤1：修改类型定义 #

把其中一个互相引用的字段用Lazy<T>包装起来，这里我选择包装Parent里的Child字段（你也可以反过来包装Child里的Parent，效果一致）：

type Parent = { Number: int; Child: Lazy<Child> }
and Child = { String: string; Parent: Parent }

步骤2：初始化循环引用 #

用lazy关键字创建惰性值，这样初始化parent时，Child字段只是一个待求值的包装，不会立即要求child完全创建：

let rec parent = { Number = 1; Child = lazy child }
and child = { String = "a"; Parent = parent }

步骤3：访问测试 #

需要访问惰性字段时，通过.Value属性获取实际值，这时候惰性值会完成求值，返回完整的对象：

// 验证结果
printfn "Parent's Number: %d" parent.Number // 输出 1
printfn "Parent's Child's String: %s" parent.Child.Value.String // 输出 "a"
printfn "Child's Parent's Number: %d" child.Parent.Number // 输出 1

这种方法完全保持了类型的不可变性，没有用到mutable关键字，而且Lazy<T>会缓存求值结果，只会在第一次访问时计算一次，性能上也没有额外的开销。

内容的提问来源于stack exchange，提问作者cmeeren