无需指定字段，如何从对象已定义字段程序化创建TypeScript类型？

我们有如下TypeScript代码：

type Supertype = {
  a: string,
  b: string,
  c: string,
  d: string
}

const subtypeObject: Partial<Supertype> = {
  c: 'c',
  d: 'd'
}

// 目标是定义一个Subtype类型，结构为：
// type Subtype = {
//   c: string,
//   d: string
// }

需求是定义Subtype类型，使其结构为{c: string, d: string}，但无需手动指定字段（即不使用Pick<Supertype, 'c' | 'd'>语法）。目前typeof subtypeObject仍包含'a'和'b'字段，请问如何实现？

解决方案 #

方法1：使用satisfies断言保留字段信息 #

修改subtypeObject的定义，用satisfies替代直接的类型标注。这样既保证对象符合Partial<Supertype>的约束，又让TypeScript保留对象字面量的实际字段信息：

type Supertype = {
  a: string,
  b: string,
  c: string,
  d: string
}

// 使用satisfies确保对象符合Partial<Supertype>，同时保留实际字段的推导
const subtypeObject = {
  c: 'c',
  d: 'd'
} satisfies Partial<Supertype>

// 直接从typeof推导Subtype
type Subtype = typeof subtypeObject

此时Subtype的类型就是{ c: string; d: string }，完全符合需求。如果需要强制字段类型与Supertype严格一致（避免TypeScript将字段值推导为'c'这类具体字面量类型），可以通过映射类型进一步处理：

type Subtype = { [K in keyof typeof subtypeObject]: Supertype[K] }

方法2：结合const断言与类型映射（适合字面量约束场景） #

如果需要对象的字段值被推导为字面量类型，同时确保符合Partial<Supertype>的约束，可以组合使用as const和satisfies：

const subtypeObject = {
  c: 'c',
  d: 'd'
} as const satisfies Partial<Supertype>

// 映射回Supertype的字段类型
type Subtype = { [K in keyof typeof subtypeObject]: Supertype[K] }

原代码问题解析 #

原代码中直接给subtypeObject标注了Partial<Supertype>类型，TypeScript会忽略对象字面量的实际字段，仅将其类型认定为Partial<Supertype>（包含所有可选的a、b、c、d字段），因此typeof subtypeObject无法得到实际存在的字段集合。

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