TypeScript中isEmpty函数无法正确推断参数非空的问题

问题分析 #

你编写的isEmpty函数虽然能在运行时判断值是否为空，但TypeScript无法识别该函数返回值与参数类型的关联，导致在getAllListLabels函数中，即便通过isEmpty(list)判断后，TS仍认为list可能是undefined，无法安全调用map方法。你希望用单一函数实现数组、对象、null/undefined的空值判断，同时让TS正确推断非空类型，而非拆分成两个独立函数。

解决方案：给isEmpty添加类型谓词 #

通过**类型谓词（Type Predicate）**定义isEmpty的返回值含义，让TypeScript能根据函数返回结果自动收窄参数类型。

修改后的isEmpty函数 #

// 定义所有空值的联合类型
type EmptyValue = null | undefined | [] | Record<string, never>;

export function isEmpty<T>(obj: T): obj is T & EmptyValue {
  // 处理null/undefined
  if (obj == null) {
    return true;
  }
  // 处理数组：判断长度是否为0
  if (Array.isArray(obj)) {
    return obj.length === 0;
  }
  // 处理普通对象：判断自身属性数量是否为0
  return Object.getOwnPropertyNames(obj).length === 0;
}

验证效果 #

修改后，getAllListLabels函数的类型推断将正常工作，TS不会再提示list可能为undefined：

export function getAllListLabels(list: Array<Labels> | undefined) {
  if (isEmpty(list)) {
    return null;
  }
  // 此处TS已正确推断list为Array<Labels>，可安全调用map
  return list.map((value) => value.label).join(", ");
}

原理说明 #

obj is T & EmptyValue这个类型谓词告诉TypeScript：

• 当isEmpty返回true时，参数obj属于EmptyValue类型（空数组、空对象、null或undefined）
• 当isEmpty返回false时，参数obj会自动排除EmptyValue的可能，从而实现精确的类型收窄

这样既保留了单一函数的简洁性，又满足了TypeScript的类型推断需求。

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