TypeScript使用外部类型时为何忽略错误返回值类型

两种写法触发的TypeScript校验逻辑完全不同，是函数类型检查规则差异+any类型的宽松特性共同导致的结果：

两类函数写法的校验路径差异 #

• 给变量提前标注Action类型再赋值箭头函数的写法，走全局可赋值性检查逻辑：
  TypeScript会先完整遍历箭头函数内部所有分支，推断出函数的实际返回值联合类型为{} | string，再检查这个推断出的函数类型是否能赋值给左侧标注的Action类型，整个过程不会对单个return语句做逐行强校验。
• 直接在函数参数括号后标注返回值类型的写法，走逐分支返回值严格校验逻辑：
  TypeScript不会等收集完所有分支的返回值再做统一匹配，而是每编译到一条return语句，就直接检查当前返回值是否符合标注的返回类型，只要单个分支不匹配就直接抛错。

{ error?: any }类型的弱约束特性 #

你定义的Action类型返回值本身约束极弱：

• error是可选属性，不强制要求返回值携带该字段
• 当可选属性的类型为any时，TypeScript会大幅放宽可赋值判定标准：所有非null/undefined的值，包括字符串、数字、空对象等，都能在可赋值性检查中通过{ error?: any }的结构校验。
  这也是第一种写法里，推断出的{} | string返回值可以顺利通过检查、不触发报错的核心原因。
  而第二种逐分支校验的场景下检查规则更严格：哪怕字符串在宽松赋值规则下可以兼容{ error?: any }，当直接返回原始类型值给标注为对象类型的返回值时，TypeScript会直接判定类型不匹配抛出错误。

补充验证：如果把类型里的any替换为unknown，哪怕是第一种写法也会触发类型报错——因为unknown不会触发any专属的宽松校验规则，原始类型无法通过{ error?: unknown }的结构校验。

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