类型守卫后可选接口属性类型推断错误的原因及解决办法

我定义了一个包含可选字段foo的接口SpecificThing，以及一个接收Record<string, unknown>类型参数的函数。当通过类型守卫判断参数匹配该接口后，TypeScript无法正确推断foo的类型，返回thing.foo ?? 0时提示“Type '{}' is not assignable to type 'number'”错误。

代码示例：

interface SpecificThing {
  foo?: number;
}

const isSpecificThing = (item: unknown): item is SpecificThing => true // 守卫逻辑不影响问题本身

function example(thing: Record<string, unknown>): number {
  if (isSpecificThing(thing)) {
    return thing.foo ?? 0; // 此行报错：Type '{}' is not assignable to type 'number'.
  }
  return 0;
}

已尝试的临时修复方案（均不符合需求）：

• 将函数参数thing改为Record<string, number>
• 将函数参数thing改为unknown
• 将SpecificThing接口改为foo: number | undefined
• 为SpecificThing添加非可选属性
• 将类型守卫改为内联类型（如item is {foo?:number}）

需要保留原接口定义和函数签名，同时正常使用foo字段。

方案1：显式类型缩小（推荐，类型安全） #

在类型守卫分支内，对foo的类型进行检查，通过类型缩小让TypeScript明确其可能的取值：

interface SpecificThing {
  foo?: number;
}

const isSpecificThing = (item: unknown): item is SpecificThing => true

function example(thing: Record<string, unknown>): number {
  if (isSpecificThing(thing)) {
    return typeof thing.foo === 'number' ? thing.foo : 0;
  }
  return 0;
}

方案2：类型断言（适合信任类型守卫逻辑的场景） #

直接通过类型断言明确foo的类型，绕过TypeScript的类型检查：

function example(thing: Record<string, unknown>): number {
  if (isSpecificThing(thing)) {
    return (thing.foo as number | undefined) ?? 0;
  }
  return 0;
}

出现错误的核心是Record<string, unknown>的索引签名允许任意字符串键对应unknown类型，即使类型守卫断言变量符合SpecificThing接口，TypeScript仍无法完全确定foo的类型就是number | undefined——因为Record<string, unknown>允许foo被赋值为任意unknown类型的值（比如{}），这与接口中foo的类型定义产生冲突，导致空值合并操作时类型不兼容。

通过显式类型检查或类型断言，可以明确告知TypeScriptfoo的实际可能类型，解决类型不匹配问题。

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