在F#中创建双向树时遇Children字段为null问题求助

你遇到的问题是循环引用的初始化顺序导致Parent的Children字段为null，这种双向引用的树形结构在F#中完全可以构建，只需调整初始化方式打破循环依赖即可。

问题根源 #

原代码里parent和children通过let rec ... and ...相互绑定，但F#处理这类非惰性的相互递归绑定时，会先将未初始化的引用（null）赋值给变量，再完成后续初始化。由于Parent是不可变记录，初始化时children还未构建完成，Parent.Children被永久设为null，后续children的正确值无法再更新到Parent中。

解决方案1：使用惰性求值（Lazy） #

通过lazy延迟子节点列表的求值，确保父节点完全初始化后再构建子节点，子节点就能正确引用父节点：

type Parent = {
    Name : string
    Age : int
    Children : Child list }
and Child = {
    Name : string
    Parent : Parent }    

let create name kids =
    let rec parent = 
        { Name = name
          Age = 42
          Children = children |> Lazy.force }
    and children = lazy (kids |> List.map (fun kidName -> { Name = kidName; Parent = parent }))
    parent

// 测试执行
create "Peter" [ "Sarah"; "Max" ]
|> printfn "%A"

这里children被定义为惰性值，只有当访问parent.Children时才会触发子节点创建，此时parent已完成初始化，子节点能正确关联父节点。

解决方案2：使用可变字段 #

如果允许使用可变结构，可先创建父节点，再构建关联父节点的子节点，最后反向更新父节点的子列表：

type Parent = {
    Name : string
    Age : int
    mutable Children : Child list } // 将Children设为可变字段
and Child = {
    Name : string
    Parent : Parent }    

let create name kids =
    let parent = { Name = name; Age = 42; Children = [] }
    let children = kids |> List.map (fun kidName -> { Name = kidName; Parent = parent })
    parent.Children <- children // 为父节点赋值子列表
    parent

// 测试执行
create "Peter" [ "Sarah"; "Max" ]
|> printfn "%A"

这种方式更直观，先完成父节点基础初始化，再构建关联子节点，最后更新父节点的子列表字段。

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