TypeScript中如何限制定义类型并从受限版本推导真实对象类型

问题分析 #

你当前的实现中，editableFields 使用了 PartialRecord<keyof Customer, string> 作为类型注解，这会让 TypeScript 将其键集认定为全部 keyof Customer（即使你只定义了 name），导致后续 Pick<Customer, keyof typeof editableFields> 生成的还是完整的 Customer 类型，从而出现赋值报错。

解决方案 #

方案一：泛型辅助函数（兼容全版本）

通过泛型函数捕获实际定义的键，同时约束键必须属于 Customer 的字段：

interface Customer {
  name: string
  address: string
  phone: string
}

// 泛型辅助函数：约束输入字段的键为Customer的子集，同时推导实际键的类型
const createEditableFields = <K extends keyof Customer>(fields: { [P in K]: string }) => fields;

// 此时editableFields的类型被推导为{ name: "The customer name" }，且键被限制为Customer成员
const editableFields = createEditableFields({
  name: 'The customer name',
} as const);

// 提取实际定义的键，生成仅包含可编辑字段的类型
type EditableCustomer = Pick<Customer, keyof typeof editableFields>;

// 赋值不再报错，EditableCustomer仅包含name字段
const x: EditableCustomer = {
  name: 'Bob'
};

// 测试函数：只能访问editableFields中定义的字段
function foo(c: EditableCustomer) {
  console.log(c.name);
  // console.log(c.address); // 此处会报错，符合预期
}

方案二：使用 satisfies 关键字（TypeScript 4.9+）

satisfies 可以在保留字面量类型推导的同时，校验对象是否符合指定约束，写法更简洁：

interface Customer {
  name: string
  address: string
  phone: string
}

// 定义约束类型：键必须是Customer的字段，值为string类型
type EditableConstraint = { [K in keyof Customer]?: string };

// 使用satisfies确保键合法，同时保留实际字段的类型推导
const editableFields = {
  name: 'The customer name',
} as const satisfies EditableConstraint;

type EditableCustomer = Pick<Customer, keyof typeof editableFields>;

const x: EditableCustomer = {
  name: 'Bob'
};

function foo(c: EditableCustomer) {
  console.log(c.name);
}

核心原理 #

两种方案都是通过避免直接用完整的 PartialRecord<keyof Customer, string> 作为类型注解，让 TypeScript 推导 editableFields 的实际键集，同时通过泛型或 satisfies 约束键必须属于 Customer 的字段，最终生成仅包含实际定义字段的 EditableCustomer 类型。

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