TypeScript未检测到Partial<Record>可选键可能不存在的问题

一、编译器无法推导undefined的原因 #

你定义的ItemWithOptionals类型是Partial<Record<OPTIONAL, string>> & Record<REQUIRED, string>，本质是可选键对象与必填键对象的交叉类型。编译器无法识别rec[opt]可能返回undefined，核心原因在于泛型参数OPTIONAL与REQUIRED没有互斥约束：

TypeScript在处理交叉类型的索引访问时，会计算两个分支的索引结果的交集：

1. 对于Partial<Record<OPTIONAL, string>>[OPTIONAL]，类型是string | undefined；
2. 对于Record<REQUIRED, string>[OPTIONAL]，类型是OPTIONAL extends REQUIRED ? string : never。

由于OPTIONAL和REQUIRED没有被约束为互不重叠，编译器无法排除OPTIONAL中的键同时存在于REQUIRED中的可能性。此时索引结果会被推断为(string | undefined) & string（当键重叠时）或(string | undefined) & never（当键不重叠时），最终合并后类型被简化为string，从而忽略了undefined的可能性。

二、优化ItemWithOptionals类型的方案 #

要让编译器正确识别可选键的undefined风险，需要强制约束可选键与必填键互斥，以下是几种可行方案：

方案1：添加泛型互斥约束 #

通过类型约束确保OPTIONAL和REQUIRED完全无交集：

type ItemWithOptionals<
  OPTIONAL extends string,
  REQUIRED extends string,
  // 用类型约束强制OPTIONAL与REQUIRED无重叠
  _ extends [OPTIONAL & REQUIRED] = [never]
> = Partial<Record<OPTIONAL, string>> & Record<REQUIRED, string>;

function wantString(text: string): void {}

function f2<O extends string, R extends string>(opt: O, rec: ItemWithOptionals<O, R>): void {
  const x = rec[opt];
  wantString(x); // 编译器报错：类型“string | undefined”的参数不能赋给类型“string”的参数
}

方案2：用映射类型定义（语义更直观） #

同样添加互斥约束，用映射类型替代Record，写法更清晰：

type ItemWithOptionals<
  OPTIONAL extends string,
  REQUIRED extends string,
  _ extends [OPTIONAL & REQUIRED] = [never]
> = {
  [K in OPTIONAL]?: string;
} & {
  [K in REQUIRED]: string;
};

方案3：用Exclude约束可选键 #

直接在泛型参数上限定OPTIONAL是REQUIRED之外的字符串，省略显式的重叠错误提示：

type ItemWithOptionals<
  REQUIRED extends string,
  OPTIONAL extends Exclude<string, REQUIRED>
> = Partial<Record<OPTIONAL, string>> & Record<REQUIRED, string>;

function f2<R extends string, O extends Exclude<string, R>>(opt: O, rec: ItemWithOptionals<R, O>): void {
  const x = rec[opt];
  wantString(x); // 触发类型错误
}

以上方案都能让编译器正确推断出rec[opt]的类型是string | undefined，从而在调用wantString(x)时标记错误。

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