TypeScript循环默认类型问题：泛型类型定义遇报错求解

你的代码出现循环默认类型错误，核心原因是SequenceNode的默认泛型参数依赖ComponentSequenceNode，而ComponentSequenceNode的默认参数又反向依赖SequenceNode，形成了TypeScript无法解析的交叉引用循环。

要保留泛型结构同时解决这个问题，可以利用TypeScript支持的递归类型特性，调整默认类型定义来打破循环：

// 定义递归联合类型，默认泛型参数指向自身
export type SequenceNode<T extends SequenceNode = SequenceNode> = ComponentSequenceNode<T> | ContainerSequenceNode<T>;

export interface ComponentSequenceNode<T extends SequenceNode = SequenceNode> {
  id: string;
  node: "sequence";
  sequence: "component";
  next: T[];
}

export interface ContainerSequenceNode<T extends SequenceNode = SequenceNode> {
  id: string;
  node: "sequence";
  sequence: "container";
  next: T[];
  into: T[];
}

关键调整说明： #

• 将SequenceNode的泛型默认值设为自身，让TypeScript可以解析这个合法的递归类型，彻底切断原来的交叉依赖循环。
• ComponentSequenceNode和ContainerSequenceNode的泛型默认值同样指向SequenceNode，不指定泛型参数时，next和into数组可以包含任意类型的序列节点，完全匹配你原本的设计意图。

自定义泛型用法示例： #

如果需要限制子节点的类型范围，比如只允许ComponentSequenceNode作为子节点，可以这样使用：

// 仅包含Component类型子节点的序列节点
type ComponentOnlySequence = SequenceNode<ComponentSequenceNode>;

// 使用示例
const compNode: ComponentOnlySequence = {
  id: "1",
  node: "sequence",
  sequence: "component",
  next: [{
    id: "2",
    node: "sequence",
    sequence: "component",
    next: []
  }]
};

内容的提问来源于stack exchange，提问作者Martí Serra Molina