TypeScript satisfies 怎么同时保证类型推导和类型校验？(4.9+)

Question

仓乃文 · Accepted Answer

定义配置对象时，类型注解（: Type）会拓宽类型丢失字面量信息，导致无法访问具体属性。satisfies 运算符在保证值符合类型约束的同时，保留值的最佳推导类型，既校验又推导。问题：类型注解丢失字面量： ```typescript const palette: Record = { red: [255, 0, 0], // 报错：number 不能赋给 string green: ["#00ff00"], blue: ["#0000ff"] }; palette.red.toUpperCase(); // 报错：string[] 上没有 toUpperCase ``` satisfies 解决： ```typescript const palette = { red: [255, 0, 0], green: ["#00ff00"], blue: ["#0000ff"] } satisfies Record; // 校验通过：每个值都是 string[] 或 number[] palette.red[0].toFixed(); // OK：推导为 number palette.green[0].toUpperCase(); // OK：推导为 string ``` 确保对象包含必需属性： ```typescript const config = { host: "localhost", port: 3000, debug: true } satisfies { host: string; port: number; debug: boolean }; config.host; // 类型推导为 "localhost" 而非 string ``` 补充说明： - satisfies 不改变变量的推导类型，只做校验 - 适合配置对象、常量映射、主题定义等场景 - 与类型注解的区别：注解拓宽类型，satisfies 保留精确类型 - TS 4.9+ 可用 - 可以配合 as const 一起使用进一步收窄类型