TypeScript分支/叶子结构类型优化：无需类型断言实现链式访问

问题背景 #

原类型定义中，Branch的属性值为Branch | Leaf，链式访问时TypeScript无法确定中间节点是Branch还是Leaf，因此会抛出属性不存在的错误，多次类型断言又过于繁琐。

解决方案：合并交叉类型 #

可以将Leaf和Branch的特性合并为一个递归交叉类型，让每个节点既具备数组（Leaf）的特性，又能通过任意字符串键访问子节点（Branch）：

// 合并Leaf和Branch的特性为Node类型
type Node = string[] & { [key: string]: Node };

// 使用示例
let someNode: Node;
// 无需类型断言即可直接链式访问
let leafOrNode: Node = someNode.someSubBranch.someSubSubBranch.someLeafOrBranch;

说明 #

• 这个Node类型同时满足string[]（Leaf的需求）和索引签名（Branch的需求），因此TypeScript会认为任何属性访问的结果都是Node，链式访问不会报错。
• 当需要区分节点是数组（Leaf）还是包含子节点的分支时，可通过类型守卫做检查：

  function isLeaf(node: Node): node is string[] {
    return Array.isArray(node);
  }
  
  if (isLeaf(leafOrNode)) {
    // 安全使用数组方法
    console.log(leafOrNode.length);
  } else {
    // 继续访问子节点
    const childNode = leafOrNode.childBranch;
  }
  

替代思路（严格区分Branch/Leaf） #

如果必须严格区分Branch和Leaf，无法使用交叉类型，那么很难完全避免类型断言——因为TypeScript无法静态推断链式访问中每个节点的具体类型。此时可以考虑在数据结构中加入区分标记（如type字段），结合类型守卫简化断言：

type Leaf = { type: 'leaf', value: string[] };
type Branch = { type: 'branch', children: { [id: string]: Branch | Leaf } };
type Node = Branch | Leaf;

// 类型守卫
function isBranch(node: Node): node is Branch {
  return node.type === 'branch';
}

// 使用时
let someBranch: Branch;
let currentNode: Node = someBranch.children.someSubBranch;
if (isBranch(currentNode)) {
  // 无需断言即可访问子节点
  let nextNode = currentNode.children.someSubSubBranch;
}

但这种方式仍需要在访问前做类型检查，无法像交叉类型那样直接无断言链式访问。

内容的提问来源于stack exchange，提问作者Arno van Oordt