如何处理空对象类型，无需类型断言区分Record<string,never>与自定义对象？

问题根源 #

窄化失效是 TypeScript 对通用字符串索引签名的默认处理逻辑导致的：Record<string, never> 的索引签名覆盖了所有字符串类型的键，TypeScript 不会因为判断某一个具体键是否存在就排除该类型，只会认为如果该键存在，其值类型为不可能有合法实例的 never，不会直接触发类型排除。

方案1：使用自定义类型守卫判断空对象 #

直接通过属性数量判断是否为无任何属性的空对象，是最符合当前类型定义的安全方案：

// 自定义类型守卫，判断输入是否为无任何自有可枚举属性的空对象
function isEmptyObject(val: unknown): val is Record<string, never> {
  return typeof val === 'object' && val !== null && Object.keys(val).length === 0;
}

// 使用示例
function handleVal(val: Record<string, never> | MyBigObjectType) {
  if (isEmptyObject(val)) {
    // 此分支 val 类型自动窄化为 Record<string, never>
  } else {
    // 此分支 val 类型自动窄化为 MyBigObjectType
  }
}

如果你的 MyBigObjectType 存在不可枚举的自有属性，可以将 Object.keys 替换为 Object.getOwnPropertyNames 覆盖更多场景。

方案2：调整空对象的类型定义，适配键存在性检查 #

如果你希望用 'Foo' in val 这类键存在判断做窄化，可以将空对象的类型限定为仅不包含 MyBigObjectType 的字段，而非通用的字符串索引签名：

// 定义空对象类型：所有 MyBigObjectType 的字段类型都为 never
type EmptyMyObjectType = Record<keyof MyBigObjectType, never>
// 调整联合类型
type ValType = EmptyMyObjectType | MyBigObjectType

// 使用示例
function handleVal(val: ValType) {
  if ('Foo' in val) {
    // 此分支 val 类型自动窄化为 MyBigObjectType
  } else {
    // 此分支 val 类型自动窄化为 EmptyMyObjectType
  }
}

这种方案不需要遍历对象属性，性能更优，也完全符合类型安全要求，不需要任何类型断言。

方案3：直接内联属性长度判断 #

如果不想额外定义类型守卫，也可以直接在条件判断中检查属性长度：

function handleVal(val: Record<string, never> | MyBigObjectType) {
  if (Object.keys(val).length === 0) {
    // 空对象分支
  } else {
    // MyBigObjectType 分支
  }
}

TypeScript 4.9 及以上版本可以自动识别该条件的类型窄化效果，低版本建议搭配第一种方案的自定义守卫使用。

内容的提问来源于stack exchange，提问作者Carl Patenaude Poulin