4.3 TypeScript中，如何创建一个递归类型

在 TypeScript 中，创建递归类型是一种高级但非常有用的技术。递归类型是指在其自身定义中引用自己的类型。这在处理树状结构、嵌套对象或其他复杂数据结构时特别有用。以下是几种创建递归类型的方法：

1. 使用接口（Interface）

这是最常见的创建递归类型的方法：

interface TreeNode {
  value: string;
  children?: TreeNode[];
}
 
const tree: TreeNode = {
  value: "root",
  children: [
    {
      value: "child1",
      children: [{ value: "grandchild" }]
    },
    {
      value: "child2"
    }
  ]
};

2. 使用类型别名（Type Alias）

类型别名也可以用来创建递归类型，但需要使用特殊的语法：

type JsonValue = 
  | string
  | number
  | boolean
  | null
  | JsonArray
  | JsonObject;
 
interface JsonObject {
  [key: string]: JsonValue;
}
 
interface JsonArray extends Array<JsonValue> {}
 
const json: JsonValue = {
  name: "John",
  age: 30,
  isStudent: false,
  grades: [95, 87, 92],
  address: {
    street: "123 Main St",
    city: "Anytown"
  }
};

3. 使用泛型

泛型可以用来创建更灵活的递归类型：

type NestedArray<T> = Array<T | NestedArray<T>>;
 
const nestedNumbers: NestedArray<number> = [1, [2, 3, [4, 5]], 6, [7, [8, 9]]];

4. 文件系统结构示例

这是一个更复杂的递归类型示例，模拟文件系统结构：

type FileSystemItem = File | Directory;
 
interface File {
  type: 'file';
  name: string;
  size: number;
}
 
interface Directory {
  type: 'directory';
  name: string;
  contents: FileSystemItem[];
}
 
const fileSystem: Directory = {
  type: 'directory',
  name: 'root',
  contents: [
    {
      type: 'file',
      name: 'file1.txt',
      size: 100
    },
    {
      type: 'directory',
      name: 'subdir',
      contents: [
        {
          type: 'file',
          name: 'file2.txt',
          size: 200
        }
      ]
    }
  ]
};

5. 使用条件类型

条件类型可以用来创建更复杂的递归类型：

type Flatten<T> = T extends Array<infer U> ? Flatten<U> : T;
 
type NestedArray = [1, [2, [3, 4], 5]];
type FlatArray = Flatten<NestedArray>; // type FlatArray = 1 | 2 | 3 | 4 | 5

创建递归类型时，需要注意避免无限递归，这可能导致编译器错误或性能问题。通常，通过在某个点停止递归（如上面例子中的叶节点）来避免这个问题。

递归类型在处理复杂的嵌套数据结构时非常有用，但也应谨慎使用，确保类型定义清晰且不会导致编译器或开发工具的性能问题。