如何让对象同时具备隐式类型推断与显式类型校验

你可以通过泛型辅助函数来同时实现类型校验和保留具体类型推断，直接显式指定类型会覆盖掉字面量类型的推断，而泛型函数能在约束类型的同时保留原始对象的类型信息。

步骤1：定义你的HierarchyTree类型（示例） #

先确保你有明确的HierarchyTree递归类型定义：

type HierarchyTree = {
  [key: string]: {} | HierarchyTree;
};

步骤2：创建泛型约束函数 #

写一个简单的泛型函数，它会约束输入必须符合HierarchyTree，同时返回输入的原始类型：

const createHierarchy = <T extends HierarchyTree>(tree: T): T => tree;

步骤3：用函数创建对象 #

用这个函数替代直接显式指定类型的方式：

const hierarchy = createHierarchy({
  app: {
    events: {},
  },
  contact: {},
});

效果验证 #

• 类型校验生效：如果传入不符合HierarchyTree的结构（比如某个属性值是数字），TypeScript会直接抛出类型错误：

  // 报错：类型 'number' 不能赋值给类型 '{} | HierarchyTree'
  const invalid = createHierarchy({ app: 123 });
  

• 类型推断保留：typeof hierarchy会保留对象的具体字面量结构，你的Helper工具可以正常解析键路径：

  // Helper<typeof hierarchy> 会得到 ["app"] | ["app", "events"] | ["contact"]
  

原理说明 #

泛型函数的<T extends HierarchyTree>会让TypeScript做两件事：

1. 确保传入的tree参数符合HierarchyTree的结构（类型校验）
2. 自动推断出T为传入对象的具体字面量类型，函数返回T从而保留了原始类型信息

内容的提问来源于stack exchange，提问作者Johnny Kontrolletti