如何在嵌套TFileTree记录数组中实现父节点反向导航？

问题根源分析 #

1. 编译错误1：incompatible types pFileTree and Char
   你使用^TreeItem获取父节点地址是错误的——在Pascal中，^是指针解引用操作符（用于访问指针指向的内容），而取变量内存地址的正确操作符是@。

2. 编译错误2：fFileTree is not yet completely defined
   若直接将Parent声明为TFileTree类型，会形成递归定义：TFileTree包含自身类型的数组，编译器无法在定义阶段确定该类型的大小，因此报错。必须用指针类型打破这个递归依赖。

正确实现方案 #

1. 保留合法的类型定义

你的原始类型定义是正确的，pFileTree先于TFileTree声明，避免了递归定义的问题：

type
  pFileTree = ^TFileTree;
  tFileTree = record
    Parent: pFileTree;
    FileName: String;
    L0CodeData: Array of TItemRecord;
    L1CodeData: Array of TItemRecord;
    Includes: Array of tFileTree;
  end;

2. 修正父节点指针赋值语句

将^TreeItem替换为@TreeItem，正确获取父节点的内存地址：

// 先扩展子节点数组
SetLength(TreeItem.Includes, Length(TreeItem.Includes) + 1);
// 给最后一个子节点赋值父指针
TreeItem.Includes[high(TreeItem.Includes)].Parent := @TreeItem;

3. （推荐）优化为指针数组避免副本问题

当前Includes是TFileTree值类型数组，添加子节点时会复制整个记录。如果层级较深或节点数据量大，会造成内存冗余；若父节点是局部变量，子节点的Parent指针还会指向失效的栈内存。

建议将Includes改为指针数组，直接存储节点引用：

type
  pFileTree = ^TFileTree;
  tFileTree = record
    Parent: pFileTree;
    FileName: String;
    L0CodeData: Array of TItemRecord;
    L1CodeData: Array of TItemRecord;
    Includes: Array of pFileTree; // 修改为指针数组
  end;

此时添加子节点的示例代码：

var
  ParentNode: pFileTree;
  ChildNode: pFileTree;
begin
  // 创建父节点（堆内存分配）
  New(ParentNode);
  ParentNode^.FileName := 'Root';
  
  // 创建子节点
  New(ChildNode);
  ChildNode^.FileName := 'Child';
  ChildNode^.Parent := ParentNode; // 直接指向父节点指针
  
  // 将子节点添加到父节点的Includes数组
  SetLength(ParentNode^.Includes, Length(ParentNode^.Includes) + 1);
  ParentNode^.Includes[high(ParentNode^.Includes)] := ChildNode;
end;

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