TypeScript报错：Property 'length' does not exist on type 'never'排查

这个问题我之前也碰到过，核心原因是你给isNullOrUndefinedOrEmpty函数手动指定的返回类型断言不够准确，导致TypeScript无法正确推断经过函数判断后的变量类型，最终出现never类型的错误。

为什么会报错？ #

你定义的函数返回类型断言是：

value is null | undefined | '' | [] | {} | 0

TypeScript会把这些看作字面量类型，而非“满足空值条件的对应类型实例”。当你传入Array<any>类型的myArray时，TypeScript的推理逻辑是：

1. 如果函数返回true，myArray的类型会被缩小为[]（因为其他类型比如''、0和Array<any>完全不兼容）；
2. 如果函数返回false，TypeScript会尝试从Array<any>中排除null | undefined | '' | [] | {} | 0这些类型，但Array<any>的合法子类型只有[]在这个排除列表里，排除后就没有合法的类型可选了，因此会推断出never类型——自然访问length属性会报错。

解决方案 #

有两种简单有效的修复方式：

方案一：移除手动类型断言，让TypeScript自动推断

函数内部已经通过isString、isArray等类型守卫做了精准判断，TypeScript可以自动根据这些判断缩小变量类型。只需要把函数的返回类型改成boolean即可：

export function isNullOrUndefinedOrEmpty(value: any): boolean {
  if (isNullOrUndefined(value)) { return true; }
  if (isString(value)) { return value === ''; }
  if (isNumber(value)) { return value === 0; }
  if (typeof value === 'number' && isNaN(value)) { return true; }
  if (isArray(value)) { return value.length <= 0; }
  if (isObject(value)) { return Object.keys(value).length === 0 && value.constructor === Object; }
  return false;
}

修改后，在foo函数中：

• 当isNullOrUndefinedOrEmpty(myArray)返回true，TypeScript会知道myArray是空数组；
• 当返回false，TypeScript会自动推断myArray是非空数组，此时访问myArray.length就完全合法了。

方案二：使用条件类型定义更准确的空值类型

如果你希望保留类型断言的能力，可以用条件类型来精准描述“空值”的类型，让TypeScript能正确识别不同输入类型对应的空值情况：

type EmptyValue<T> = 
  T extends string ? '' :
  T extends number ? 0 | number & { [Symbol.toPrimitive]: () => never } : // 匹配NaN
  T extends any[] ? [] :
  T extends object ? {} :
  null | undefined;

export function isNullOrUndefinedOrEmpty<T>(value: T): value is EmptyValue<T> {
  if (isNullOrUndefined(value)) { return true; }
  if (isString(value)) { return value === ''; }
  if (isNumber(value)) { return value === 0; }
  if (typeof value === 'number' && isNaN(value)) { return true; }
  if (isArray(value)) { return value.length <= 0; }
  if (isObject(value)) { return Object.keys(value).length === 0 && value.constructor === Object; }
  return false;
}

这个写法会根据输入类型T动态返回对应的空值类型，比如输入Array<any>时，EmptyValue<Array<any>>就是[] | null | undefined，函数返回false时，TypeScript会准确推断出myArray是非空数组。

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