TypeScript：提取空值检查方法后如何实现自动类型推断？

这个问题我之前也碰到过——把重复的空值判断逻辑抽成独立函数后，TypeScript的类型推断就“失灵”了，确实挺头疼的。好在我们可以用TypeScript的**类型谓词（Type Predicates）**来解决，完全不需要依赖as T或者!这类类型断言。

先还原你的问题场景 #

假设你的类型定义和抽离后的函数是这样的：

// 定义可能包含空值的类型
type Value<T> = T | undefined | null | '';

// 抽离的空值检查函数（原来的写法，会导致类型推断失败）
function valIsBlank(value: unknown): boolean {
  return value === undefined || value === null || value === '';
}

function processValue<T>(value: Value<T>) {
  if (valIsBlank(value)) {
    throw new Error('值不能为空');
  }
  return value; // ❌ 编译器认为value还是Value<T>，无法自动推断为T
}

用类型谓词修复类型推断 #

核心思路是给valIsBlank函数加上类型谓词，明确告诉TypeScript：当函数返回true时，参数属于哪些类型；反过来，返回false时，参数就会被自动窄化为剩下的有效类型。

修改后的代码如下：

type Value<T> = T | undefined | null | '';

// 带类型谓词的空值检查函数
function valIsBlank<T>(value: Value<T>): value is undefined | null | '' {
  return value === undefined || value === null || value === '';
}

function processValue<T>(value: Value<T>) {
  if (valIsBlank(value)) {
    throw new Error('值不能为空');
  }
  return value; // ✅ 编译器自动推断value为T类型，无编译错误
}

为什么这样管用？ #

类型谓词value is undefined | null | ''相当于给TypeScript一个“类型契约”：

• 当valIsBlank(value)返回true时，value必然是undefined、null或空字符串；
• 当返回false时，TypeScript会自动从Value<T>中排除这三种类型，剩下的就只有T了。

这样编译器就能像内联检查时一样，正确做类型窄化，完全不需要手动断言。

扩展：更通用的空值检查 #

如果你的空值场景更通用（比如需要检查空数组等），可以调整类型谓词的范围：

// 支持检查空数组的通用空值谓词
function isBlank<T>(value: T | undefined | null | '' | []): value is undefined | null | '' | [] {
  return (
    value === undefined ||
    value === null ||
    value === '' ||
    (Array.isArray(value) && value.length === 0)
  );
}

function processArrayValue(value: string[] | undefined | null | []): string[] {
  if (isBlank(value)) {
    throw new Error('数组不能为空');
  }
  return value.map(item => item.toUpperCase()); // ✅ 自动推断为string[]
}

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