如何修改TypeScript的isEmpty辅助函数以实现类型收窄？

要让TypeScript通过自定义isEmpty函数自动收窄变量类型，核心是给函数添加类型谓词（Type Predicate），明确告知编译器函数返回值和参数类型的关联关系。

问题根源 #

你之前的isEmpty函数大概率是类似这样的普通函数：

function isEmpty(value: unknown) {
  return value == null;
}

这种情况下，TypeScript仅知道函数返回boolean，无法将返回结果与参数的具体类型绑定，自然没法自动排除undefined类型。

修改方案 #

给函数添加类型谓词声明，让编译器明确：当函数返回true时，参数是null | undefined；返回false时，参数是排除了这两种类型的原类型。

修改后的isEmpty函数：

function isEmpty<T>(value: T | null | undefined): value is null | undefined {
  return value == null;
}

使用示例 #

function handleValue(value?: string) {
  if (isEmpty(value)) {
    return; // 此处value类型为null/undefined
  }
  // 编译器自动识别value的类型为string
  console.log(value.length);
}

扩展场景（如需判断空字符串/空数组等） #

如果你的isEmpty还要处理空字符串、空数组等场景，只需同步更新类型谓词即可：

function isEmpty<T>(value: T | null | undefined | '' | []): value is null | undefined | '' | [] {
  return value == null || value === '' || (Array.isArray(value) && value.length === 0);
}

function handleValue(value?: string | string[]) {
  if (isEmpty(value)) {
    return;
  }
  // 此处value类型为非空string | 非空string[]
  console.log(value);
}

关键注意事项 #

类型谓词的声明必须和函数内部的判断逻辑严格匹配——比如如果函数里判断了value === ''，那类型谓词里就必须包含''，否则会出现类型不安全的情况。

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