如何正确声明含映射类型可选属性的递归接口？有无更简洁方案？

你的定义方式是否正确？ #

完全正确。通过接口扩展映射类型的写法符合TypeScript的类型规则，能准确实现你需要的递归结构，类型检查、代码提示等功能都能正常工作，是合法且可靠的实现方式。

更简洁的实现方案 #

不需要额外定义中间映射类型，直接用交叉类型就能把固定属性和递归的映射字段合并，写法更紧凑：

type someUnion = "foo" | "bar";

type RecursiveInterface = {
  a: number;
  b: number[];
} & {
  [K in someUnion]?: RecursiveInterface;
};

为什么原来的写法报错？ #

TypeScript的语法规则里，接口（interface）内部不允许直接使用映射类型语法（[key in ...]），映射类型是类型别名（type）专属的特性，所以直接在接口里混合普通属性和映射字段会触发A mapped type may not declare properties or methods.的错误。

验证示例 #

用上面的交叉类型定义后，你的示例对象可以正常通过类型检查（注意原示例中bar对象的b:7不符合b: number[]的定义，需要改成数组形式如b: [7]）：

const someObject: RecursiveInterface = {
  a: 2,
  b: [1, 5],
  foo: {
    a: 0,
    b: [2, 6],
    bar: {
      a: 8,
      b: [7]
    }
  }
};

两种方案对比 #

• 接口扩展映射类型：适合需要后续给接口添加更多属性、或者要利用接口声明合并特性的场景。
• 交叉类型：写法更简洁，无需中间类型，适合一次性定义完成的场景。

内容的提问来源于stack exchange，提问作者plc-dev