TypeScript初始化Record对象时，如何校验特定属性的类型？

你已经定义了模板字面量类型：

type ID = `book#${string}`;

需要创建Record<string, any>类型的对象，但要在初始化时确保id属性符合ID类型，同时不想用无校验的类型断言，也觉得单独的辅助函数不够优雅，以下是几种更合适的实现方式：

1. 泛型辅助函数（严谨且复用性高） #

写一个泛型函数，直接约束对象的id字段为ID，其他字段不限制，最终返回Record<string, any>类型：

const createValidRecord = <T extends { id: ID }>(obj: T): Record<string, any> => obj;

// 合法：id符合ID类型
const validObj = createValidRecord({ id: `book#abc`, name: "编程指南" });
// 编译错误：Type '"car#abc"' is not assignable to type '`book#${string}`'
const invalidObj = createValidRecord({ id: `car#abc`, price: 99 });

这种方式一次处理整个对象，不用单独对id调用辅助函数，同时保留了类型校验能力。

2. 交叉类型断言（轻量写法） #

无需额外函数，通过交叉类型让TypeScript校验id字段，再断言为Record<string, any>：

// 合法
const a = {
  id: `book#abc`,
  category: "技术书籍"
} as Record<string, any> & { id: ID };

// 编译错误：Type '"car#abc"' is not assignable to type '`book#${string}`'
const b = {
  id: `car#abc`,
  category: "交通工具"
} as Record<string, any> & { id: ID };

这里的交叉类型会触发TS对id的类型检查，比单纯的id: ... as ID更安全，不会绕过校验。

3. satisfies运算符（TypeScript 4.9+ 最优雅） #

如果你的TypeScript版本在4.9及以上，satisfies是最优解——它会校验对象是否符合指定约束，同时可以通过类型断言转为Record<string, any>：

// 合法，最终类型为Record<string, any>
const validObj = {
  id: `book#abc`,
  author: "张三"
} satisfies { id: ID } as Record<string, any>;

// 编译错误：Type '"car#abc"' does not satisfy the expected type '`book#${string}`'
const invalidObj = {
  id: `car#abc`,
  author: "李四"
} satisfies { id: ID } as Record<string, any>;

satisfies的优势是既做类型校验，又不会像断言那样强制类型转换，写法简洁直观。

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