如何解决TypeScript函数缺少返回语句且返回类型不含undefined的错误

我编写了一个名为make的异步函数，调用handle函数时最多进行2次重试，重试耗尽则抛出错误，代码如下：

const handle = async (): Promise<string> => 'hi';

const make = async (): Promise<string> => {
  const MAX_RETRIES = 2;
  for (let idx = 0; idx <= MAX_RETRIES; idx++) {
    try {
      return await handle();
    } catch (err) {
      if (idx < MAX_RETRIES) {
        continue;
      } else {
        throw err;
      }
    }
  }
};

使用TypeScript时出现如下报错：

Function lacks ending return statement and return type does not include 'undefined'.

我的限制条件：

• 不想修改tsconfig的strict配置
• 不想将返回类型改为Promise<string | undefined>

问题原因 #

TypeScript的控制流分析无法精准识别该for循环的逻辑：虽然我们明确循环最多执行3次（idx从0到2），每次循环要么返回成功结果，要么最后一次抛出错误，但TS会认为循环结束后可能存在既不return也不throw的分支，从而推断函数可能返回undefined，与声明的返回类型Promise<string>冲突。

解决方案 #

方案1：添加兜底的throw语句

在循环结束后添加一条永远不会执行的throw语句，让TypeScript明确函数不会走到返回undefined的分支：

const make = async (): Promise<string> => {
  const MAX_RETRIES = 2;
  for (let idx = 0; idx <= MAX_RETRIES; idx++) {
    try {
      return await handle();
    } catch (err) {
      if (idx < MAX_RETRIES) {
        continue;
      } else {
        throw err;
      }
    }
  }
  // 兜底逻辑，实际永远不会执行
  throw new Error("Unexpected execution path");
};

方案2：调整循环写法为while(true)

改用while(true)循环，让TypeScript更容易识别循环内的控制流（要么return要么throw，不会跳出循环）：

const make = async (): Promise<string> => {
  const MAX_RETRIES = 2;
  let attemptCount = 0;
  
  while (true) {
    try {
      return await handle();
    } catch (err) {
      attemptCount++;
      if (attemptCount > MAX_RETRIES) {
        throw err;
      }
    }
  }
};

这两种方案都无需修改strict配置或返回类型，即可通过TypeScript的类型检查，同时完全符合原函数的业务逻辑。

内容的提问来源于stack exchange，提问作者Andre.IDK