不是必须的。在 TypeScript 中，可以不需要嵌套的子类型实现全部索引模式。例如，可以按以下方法定义一个嵌套映射类型，其中只需实现子键“a”的索引模式：

type NestedMap = {
  a: Map;
  b?: {
    [key: string]: NestedMap | undefined;
  };
};

let map1: NestedMap = {
  a: new Map([['foo', 1]])
};

let map2: NestedMap = {
  b: {
    c: {
      a: new Map([['bar', 2]])
    }
  }
};

在上面的代码中，NestedMap 嵌套了自身。第一层是映射类型，其键是字符串类型，值则为 Map 类型，而第二层是可选对象类型，键也是字符串类型，而值则为 NestedMap 或 undefined，以便递归嵌套地表示整个嵌套映射类型。在此示例中，我们只需使用 Map 一次，即在键为“a”的位置上，而忽略了键为“b”的位置的模式实现。

因此，尽管 TypeScript 的类型检查器不需要子类型实现所有的模式，但实际代码中可能存在具有更丰富结构和可选键值的嵌套类型。