如何创建不丢失属性信息的Partial工具？如何让TypeScript校验完整字典键？

1. 如何创建类似Partial但不丢失现有属性信息的工具类型？ #

当然可以。默认的Partial<T>会把目标类型的所有属性转为可选，但如果想让TypeScript精准保留对象实际存在的属性类型信息，同时约束键必须属于目标类型，有两种常用方案：

方案1：泛型函数约束 #

用泛型函数接收对象，TypeScript会自动推断出对象实际包含的键和对应类型，同时限制传入的键只能是目标类型的子集：

type Word = {
  apple: string;
  banana: string;
  cherry: string;
};

function createPartialDict<T extends Partial<Word>>(dict: T): T {
  return dict;
}

// partialDict的类型会被推断为 { apple: string }，而非全可选的Partial<Word>
const partialDict = createPartialDict({ apple: "苹果" });

方案2：自定义精确Partial类型 #

如果需要更灵活的类型定义，可以创建一个工具类型，允许只选取目标类型的部分键，同时保留这些键的必填性：

type ExactPartial<T, K extends keyof T = keyof T> = Pick<T, K> & Partial<Omit<T, K>>;

// 仅允许包含apple键（必填），其余Word键可选
type PartialWord = ExactPartial<Word, "apple">;
const partialDict: PartialWord = { apple: "苹果" };

2. 如何确保comprehensiveDict包含所有Word类型的键？ #

要让TypeScript强制校验所有键都已定义，同时保证partialDict的格式合法，可以结合泛型约束和工具类型实现，完全不需要牺牲类型推断能力：

方案1：分步创建+缺失键强制补充 #

先通过泛型函数创建受约束的partialDict，再用另一个函数强制补充所有缺失的键——TypeScript会自动校验缺失的键是否全部提供：

type Word = {
  apple: string;
  banana: string;
  cherry: string;
};

// 约束partialDict的键必须是Word的子集，并保留实际键的类型
function createPartialDict<T extends Partial<Word>>(dict: T): T {
  return dict;
}

const partialDict = createPartialDict({ apple: "苹果" });

// 提取partialDict中缺失的Word键，强制要求补充完整
type MissingKeys<T> = Exclude<keyof Word, keyof T>;
function completeDict<T extends Partial<Word>>(
  partial: T,
  rest: { [K in MissingKeys<T>]: Word[K] }
): Required<Word> {
  return { ...partial, ...rest } as Required<Word>;
}

// 少传任何一个键都会触发TypeScript报错
const comprehensiveDict = completeDict(partialDict, {
  banana: "香蕉",
  cherry: "樱桃"
});

方案2：直接创建时用satisfies约束+全类型断言 #

如果想一步到位，用TypeScript 4.9+支持的satisfies关键字约束partialDict的格式合法，同时用as const保留字面量类型，最后强制comprehensiveDict为Required<Word>：

const partialDict = { apple: "苹果" } as const satisfies Partial<Word>;

// 必须包含所有Word的键，否则TypeScript直接报错
const comprehensiveDict: Required<Word> = {
  ...partialDict,
  banana: "香蕉",
  cherry: "樱桃"
};

关于「创建对象时能否同时推断类型注解中的键」 #

可以实现，但不能直接通过类型注解做到——类型注解是约束规则而非推断逻辑。如果想要同时约束键的合法性并保留实际键的推断信息，必须借助泛型函数或satisfies关键字。直接给对象加类型注解（比如const partialDict: Partial<Word> = { apple: "苹果" }）会丢失实际键的信息，因为TypeScript会将其类型收窄为Partial<Word>，而非具体的属性集合。

内容的提问来源于stack exchange，提问作者J-B