为何if语句中用自定义函数校验数组无法通过TypeScript类型检查？

问题根源 #

TypeScript的自动类型收窄仅对内置类型检查逻辑（比如Array.isArray()、typeof、instanceof或直接条件判断）生效。你的validateArray函数逻辑和直接写Array.isArray(relatedModels) && relatedModels.length > 0完全一致，但TypeScript默认无法识别它是类型守卫函数——也就是说，函数返回true时，TS不知道此时relatedModels已排除undefined且是有效数组，仍会将其判定为RelatedModels[] | undefined，传给要求RelatedModels[]的updateRelatedModels就会触发类型错误。

解决方案：将自定义函数改为类型守卫函数 #

修改validateArray的返回值类型，用**类型谓词（Type Predicate）**明确告诉TypeScript：当函数返回true时，入参array是一个非空数组。

修改后的代码：

// 校验数组是否为非空有效数组，同时作为类型守卫
export const validateArray = (array: undefined | any[]): array is any[] => {
  return Array.isArray(array) && array.length > 0;
};

控制器中使用示例：

if (validateArray(relatedModels)) {
  // 此时TS会自动将relatedModels的类型收窄为RelatedModels[]
  await updateRelatedModels(relatedModels);
}

可选：更精准的类型守卫（针对特定数组类型） #

如果只需要针对RelatedModels[]做校验，可将类型写得更明确：

export const validateRelatedModels = (array: undefined | RelatedModels[]): array is RelatedModels[] => {
  return Array.isArray(array) && array.length > 0;
};

替代方案：类型断言（不推荐） #

若不想修改validateArray函数，也可手动添加类型断言跳过TS检查，但这种方式会降低类型安全性：

if (validateArray(relatedModels)) {
  await updateRelatedModels(relatedModels as RelatedModels[]);
}

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