TypeScript传入可选参数后函数返回类型推断为何不符合预期

你的代码里TypeScript推断result为string | undefined，核心原因是函数fn的返回类型是根据其定义而非单次调用推断的。

函数定义里fallback是可选参数（?: string），TypeScript会考虑到fallback可能不传的场景——此时如果someFnReturningStringOrUndefined()也返回undefined，整个表达式... || fallback的结果就是undefined。所以TypeScript会把fn的返回类型统一推断为string | undefined，不管你调用时有没有传fallback参数。

这里提供几种靠谱的处理方式：

1. 使用函数重载 #

通过重载明确不同参数下的返回类型，这是最直观的方案：

// 重载签名：分别定义带参数和不带参数的情况
function fn(): string | undefined;
function fn(fallback: string): string;
// 实现签名
function fn(fallback?: string) {
  return someFnReturningStringOrUndefined() || fallback;
}

const result1 = fn(); // 类型为 string | undefined
const result2 = fn('fallback'); // 类型为 string

2. 使用泛型条件类型 #

利用泛型让返回类型随参数动态变化：

const fn = <T extends string | undefined = undefined>(
  fallback?: T
): T extends string ? string : string | undefined => {
  return (someFnReturningStringOrUndefined() || fallback) as any;
};

const result1 = fn(); // 类型为 string | undefined
const result2 = fn('fallback'); // 类型为 string

3. 显式注解返回类型（简单场景） #

如果能确定传fallback时必然返回string，可以直接给函数添加精确的返回类型注解：

const fn = (fallback?: string): string | undefined => {
  const val = someFnReturningStringOrUndefined();
  return val !== undefined ? val : (fallback as string);
};

const result = fn('fallback'); // 类型为 string

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