使用isNum独立函数时TypeScript编译错误的原因及解决方法

问题原因 #

TypeScript的自动类型收窄只对两类逻辑生效：

• 原生内置的类型守卫语法，比如typeof、instanceof、in操作符的内联判断
• 显式标注了类型谓词的自定义函数

你写的isNum函数只是返回一个boolean值，TS编译器没办法从函数内部逻辑自动推断出它的类型守卫作用——它只会把这个函数当成普通的布尔返回函数，所以if (isNum(a))代码块里，a的类型依然是number | null，自然会触发参数类型不匹配的错误。而内联typeof a === 'number'属于TS原生支持的类型守卫，所以能正确收窄a的类型。

解决方法 #

给isNum函数添加类型谓词标注，把返回值类型从boolean改为num is number，明确告诉TS：当这个函数返回true时，参数num的类型是number。

修改后的代码示例：

const print = (param: number) => {
  console.log(param);
};

// 添加类型谓词：num is number
const isNum = (num: unknown): num is number => {
  return typeof num === 'number';
};

if (isNum(a)) print(a); // 此时a的类型会被正确收窄为number，无编译错误

这种方式既保留了独立函数的复用性，又不用破坏代码可读性的类型断言，完全符合你的需求。

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