TypeScript 5.0.2类型推断异常：wontWorking函数推断为{}问题

将TypeScript从4.9.3升级到5.0.2后，遇到类型断言相关错误：wontWorking函数调用assertRecord后，v的类型被推断为{}而非预期的Record<string, any>，导致访问v.fileName时报错“Property 'fileName' does not exist on type '{}'”。

代码示例：

function assertRecord(v: unknown): asserts v is Record<string, any> {
    if(typeof v !== 'object' || v === null) throw new Error ();
}

function wontWorking (v: unknown) : null | any{
  if ( v === null || v === undefined ) return null;
  assertRecord(v)
  var s = v.fileName // ERROR: Property 'fileName' does not exist on type '{}'.
  return s
}
wontWorking({fileName: 1231321});

function working (v: unknown) : null | any{
  assertRecord(v)
  var s = v.fileName
  return s
}
working({fileName: 1231321});

function isNil ( v: unknown) : v is null | undefined{
    return v === null || v === undefined
}

function workingWithCheck (v: unknown) : null | any{
  if ( isNil(v) ) return null;
  assertRecord(v)
  var s = v.fileName
  return s
}
workingWithCheck({fileName: 1231321});

原因 #

这是TypeScript 5.0中类型收窄逻辑优化带来的行为变化：

• 在wontWorking函数中，直接用v === null || v === undefined判断后，TypeScript会将v的类型收窄为object | string | number | boolean | symbol | bigint，但对其中的object子类型，会精确推断为{}（空对象类型），而非宽泛的object。
• assertRecord的断言仅排除了null和非object类型，无法覆盖已收窄的{}类型，因此断言后v的类型仍为{}，而非预期的Record<string, any>。
• 对比workingWithCheck函数，使用带类型谓词的isNil判断时，TS会将v直接收窄为Exclude<unknown, null | undefined>，此时assertRecord能正常将其断言为Record<string, any>。

解决方案 #

有两种可行修复方式：

1. 使用类型谓词替代直接判断：参考workingWithCheck，封装isNil这类带类型谓词的工具函数，让TS正确识别类型收窄逻辑。
2. 调整断言函数逻辑：修改assertRecord的判断条件，或调整断言目标类型，比如：

function assertRecord(v: unknown): asserts v is Record<string, any> {
    if(typeof v !== 'object' || v === null) throw new Error();
    // 若需要兼容空对象，可保留原逻辑，仅调整断言类型
    // 或添加空对象检查（根据业务需求）
}

如果业务允许，也可以将断言类型改为object & Record<string, any>，让TS能正确覆盖收窄后的{}类型。

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