TypeScript如何为值添加类型约束同时保留窄类型且无需调用函数

你可以直接使用 TypeScript 4.9 版本新增的 satisfies 运算符实现需求，该运算符原生支持对变量做类型合规校验，同时不会将变量类型拓宽为约束的泛型类型，完美匹配你的使用场景。

实现代码 #

// 直接在变量定义末尾添加 satisfies + 约束类型即可
const abc = {
  a: "a",
  b: "b",
  c: "c"
} satisfies Record<string, string>;

// 此时 ABC 类型为 {a: string, b: string, c: string}，完全符合预期
type ABC = typeof abc;

类型校验效果 #

如果对象不符合约束要求，TypeScript 会直接抛出编译错误：

// 编译报错：b 的类型为 number，不符合 Record<string, string> 的值类型约束
const invalidObj = {
  a: "a",
  b: 123
} satisfies Record<string, string>;

低版本兼容方案（4.9以下） #

如果暂时无法升级 TypeScript 版本，可以通过额外的校验变量实现同等效果，也不需要调用辅助函数：

const abc = {
  a: "a",
  b: "b",
  c: "c"
};
// 新增一行赋值校验，不改变 abc 的原始类型，不符合约束时会直接报错
const _typeCheck: Record<string, string> = abc;

// ABC 类型依然是 {a: string, b: string, c: string}
type ABC = typeof abc;

注意：不要直接使用 const abc: Record<string, string> = {...} 的写法，该写法会直接将变量类型拓宽为通用的 Record<string, string>，丢失具体键的窄类型信息。

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