TypeScript函数参数如何兼顾类型关联保留与额外字段校验？

我需要设计一个库函数，接收键为字符串、值为Test类型的常量对象，核心需求有两个：

• 必须严格禁止值包含Test以外的额外字段，避免用户因拼写错误引入隐蔽问题；
• 要保留传入对象的字面量类型信息（比如值中field的具体数值，而非宽泛的number类型）。

现有两种常见方案都存在短板：

• 用Record<string, Test>做参数类型：能触发额外字段的编译错误，但会丢失字面量类型关联；
• 用泛型T extends Record<string, Test>：保留了字面量类型，但无法检测值中的额外字段。

解决方案：精确类型约束+泛型 #

通过自定义精确类型匹配工具结合泛型约束，可以同时满足两个需求。

1. 定义精确类型匹配工具

先写一个Exact类型，确保两个类型完全匹配、无额外字段：

type Test = {
  field: number
}

// 确保T与U完全一致，任何额外字段都会导致匹配失败
type Exact<T, U> = T extends U 
  ? (U extends T ? T : never) 
  : never;

2. 实现泛型函数

用泛型约束每个属性值必须严格匹配Test：

function strictTestObj<T extends Record<string, Test>>(param: { [K in keyof T]: Exact<Test, T[K]> }) {
  return param;
}

测试效果

// 非法输入：含额外字段，触发编译错误（符合预期）
const invalid = strictTestObj({
  first: {
    field: 42,
    notExists: -1, // TS2322: 类型不匹配，额外字段被检测到
  },
} as const);

// 合法输入：保留字面量类型（符合预期）
const valid = strictTestObj({
  first: { field: 42 },
  second: { field: 13 }
} as const);

type ValidFirstField = typeof valid['first']['field']; // 42（而非number）
type ValidSecondField = typeof valid['second']['field']; // 13（而非number）

简化方案（TS 4.9+） #

如果你的项目使用TypeScript 4.9及以上版本，可以直接用satisfies操作符简化实现，无需自定义Exact类型：

function strictTestObj<T>(param: T satisfies Record<string, Test>) {
  return param;
}

这个版本同样能检测额外字段，同时保留字面量类型信息。

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