TypeScript：如何无需包裹类型为对象字面量字段单独指定类型？

先定义问题中的基础类型：

type Foo = {
  foo: string
}

type Bar = {
  bar: number
}

你需要的是无需创建命名包裹类型，直接为对象字面量的单个字段指定类型并让编译器强制校验的方案，以下两种方法可以满足需求：

方案一：使用satisfies运算符（TypeScript 4.9+） #

satisfies运算符专门用于校验值是否符合指定类型，同时保留值的原始类型推断，既不会像类型断言那样跳过校验，也不需要额外定义包裹类型。

示例代码：

const x = {
  a: { foo: 'foo' } satisfies Foo,
  b: { bar: 123 } satisfies Bar
}

• 编译器会严格校验a是否符合Foo类型、b是否符合Bar类型，字段缺失或类型不匹配时会直接报错；
• x的类型会被正确推断为{ a: Foo; b: Bar }，完整保留代码提示和类型校验能力。

方案二：使用匿名类型注解 #

如果你的TypeScript版本低于4.9，或者偏好更传统的写法，可以直接在变量上使用匿名类型，无需单独定义命名包裹类型：

示例代码：

const x: {
  a: Foo;
  b: Bar;
} = {
  a: { foo: 'foo' },
  b: { bar: 123 }
}

这种写法直接在变量声明处标注字段对应的类型，同样能让编译器强制校验每个字段的合规性，且不需要额外创建Wrapper这类命名类型。

为什么你之前的方案不合适 #

• Record<string, Foo | Bar>：会丢失字段的具体类型信息，x.a会被推断为Foo | Bar，无法获取Foo的专属属性提示，也无法限制字段只能是a或b；
• 直接使用as Foo类型断言：会跳过多余字段的校验（比如a字段多写了baz: 123时编译器不会报错），且如果误写断言类型，无法得到即时的错误提示。

内容的提问来源于stack exchange，提问作者Balázs Édes