TypeScript可选参数调用外部函数校验时，类型推断为何失效？

这是个非常典型的TypeScript类型系统问题，核心原因在于TypeScript的类型守卫机制对普通函数和直接条件判断的处理逻辑完全不同：

1. 直接条件判断的类型收窄逻辑 #

你第二个例子里的if (x === undefined)属于TypeScript内置支持的等值检查类型收窄。TypeScript的静态分析器已经内置了对这类基础条件判断的理解：当你明确检查x === undefined时，它能确定在if分支之外，x不可能是undefined，从而自动把x的类型从number | undefined收窄为number，所以foo(x)的调用自然符合类型要求。

2. 普通外部函数无法触发类型收窄 #

第一个例子里的isXUndefined只是一个普通函数，TypeScript默认不会假设这个函数的返回值和参数类型有任何强关联——它不知道这个函数内部是不是真的严格判断了x是否为undefined，也没法从函数签名里得到这个关键信息。所以即使你调用了isXUndefined(x)，TypeScript依然认为x可能是number | undefined，调用foo(x)时自然会抛出类型不匹配的错误。

3. 解决方法：用类型谓词（Type Predicate）定义自定义类型守卫 #

要让外部函数能触发类型收窄，你需要给函数加上类型谓词，明确告诉TypeScript这个函数的返回值可以用来断言参数的类型。修改后的isXUndefined应该是这样：

const isXUndefined = (x?: number): x is undefined => x === undefined;

这里的: x is undefined就是类型谓词，它相当于给TypeScript一个契约：当这个函数返回true时，参数x的类型一定是undefined；当返回false时，x的类型就会被自动收窄为number（因为原类型是number | undefined，排除undefined后就只剩number）。

修改后你的第一个例子就能正常编译了：

const foo = (x: number) => { return x * x; }
const isXUndefined = (x?: number): x is undefined => x === undefined;
const boo = (x?: number) => {
  if (isXUndefined(x)) {
    return 0;
  }
  return foo(x); // 这里x的类型已经被收窄为number，不会报错
}

总结一下 #

TypeScript的类型收窄需要明确的类型提示：

• 内置的条件判断（比如===、typeof、instanceof）会被自动识别为类型守卫
• 自定义函数必须通过类型谓词声明为类型守卫，才能让TypeScript根据函数的返回值来收窄参数类型

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