TypeScript类型检查中具名函数与匿名函数的行为差异问题

问题表现 #

TypeScript做switch-case-default语句穷尽性检查时，存在如下类型校验行为差异：

• 两个签名完全一致的穷尽断言函数，一个为具名函数声明形式，一个为赋值给常量的匿名箭头函数形式
• default分支中调用具名断言函数时，类型校验可正常通过
• default分支中调用匿名箭头函数形式的断言函数时，会触发类型错误，提示函数返回值包含undefined，与目标返回类型不匹配

复现代码如下：

type Codes = 'A' | 'B';
type AMessage = { code: 'A', messageA: string }
type BMessage = { code: 'B', messageB: string }
type AllMessage = AMessage | BMessage;

/**
 * 具名函数版本
 */
function assertUnreachableFunction(_x: never): never {
  throw new Error("Didn't expect to get here");
}

/**
 * 匿名箭头函数版本
 */
const assertUnreachableConst = (_x: never): never => {
  throw new Error("Didn't expect to get here");
}

type testMethodType = (code: Codes) => AllMessage;

// 校验通过：无default分支时TS可自行推导分支已穷尽
const test_PASS1: testMethodType = (code) => {
  switch (code) {
    case 'A':
      const messageA: AMessage = { code, messageA: 'I AM MESSAGE A' };
      return messageA;
    case 'B':
      const messageB: BMessage = { code, messageB: 'I AM MESSAGE B' };
      return messageB;
  }
}

// 校验通过：具名断言函数可被正确识别返回never类型
const test_PASS2: testMethodType = (code) => {
  switch (code) {
    case 'A':
      const messageA: AMessage = { code, messageA: 'I AM MESSAGE A' };
      return messageA;
    case 'B':
      const messageB: BMessage = { code, messageB: 'I AM MESSAGE B' };
      return messageB;
    default:
      // default分支内code被收窄为never类型
      assertUnreachableFunction(code);
  }
}

// 校验失败：匿名箭头函数版本触发2322类型错误
// 错误信息：Type '(code: Codes) => AMessage | BMessage | undefined' is not assignable to type 'testMethodType'.
//   Type 'AMessage | BMessage | undefined' is not assignable to type 'AllMessage'.
//     Type 'undefined' is not assignable to type 'AllMessage'.
const test_FAIL1: testMethodType = (code) => {
  switch (code) {
    case 'A':
      const messageA: AMessage = { code, messageA: 'I AM MESSAGE A' };
      return messageA;
    case 'B':
      const messageB: BMessage = { code, messageB: 'I AM MESSAGE B' };
      return messageB;
    default:
      assertUnreachableConst(code);
  }
}

根因说明 #

该差异和函数是否具名无直接关联，本质是TypeScript对两种函数定义形式的类型解析优先级、推导范围不同：

• 具名函数声明属于语句级声明，存在声明提升特性，TS会在当前作用域初始化阶段直接读取其标注的返回值类型，明确识别其返回类型为never，调用后后续代码不可达，因此可以正确判定default分支不存在正常返回路径。
• 赋值给常量的箭头函数属于值表达式赋值，若未给常量本身显式标注类型，TS不会在上下文类型检查阶段跨表达式做深度控制流回溯：检查test_FAIL1的default分支时，不会主动跳转解析assertUnreachableConst的函数体确认其返回never，仅会暂时判定该调用可能正常返回，因此推断default分支无终止语句，函数存在隐式返回undefined的路径，最终触发类型不匹配错误。

该行为是TS为保障类型检查性能做的设计取舍：不会对所有未显式标注类型的常量值做全量跨作用域深度推导，仅对声明提升的函数声明做优先类型解析。

修复方式 #

给存储匿名箭头函数的常量显式标注函数类型，即可让TS在检查阶段直接识别其返回类型为never，无需做跨表达式的类型推导：

// 显式标注常量的函数类型
const assertUnreachableConst: (_x: never) => never = (_x) => {
  throw new Error("Didn't expect to get here");
}

添加类型标注后，该版本断言函数即可和具名函数版本表现一致，正常通过穷尽性检查。

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