TypeScript类型检查判定第一种实现错误？两种写法差异原因及解决方法

第一种写法报错的核心原因 #

TypeScript的类型系统默认不会自动执行联合类型的分配式交叉推导：
你传入的result是ResultFail | ResultSuccess的联合类型，直接构造的返回对象{x: 1, y: 1, result}的推导类型是ABase & { result: Result }，虽然逻辑上这个类型和你定义的A = (ABase & {result: ResultSuccess}) | (ABase & {result: ResultFail})完全等价，但TypeScript没有内置自动转换这两种类型的规则，因此会判定类型不匹配，抛出校验错误。

第二种写法校验通过的原因 #

你使用了自定义类型守卫isResultFail后，TypeScript会执行类型收窄：

• 在if (isResultFail(result))分支内，result会被收窄为ResultFail类型，构造的对象完全匹配AFail类型
• 在分支外，result会被收窄为ResultSuccess类型，构造的对象完全匹配ASuccess类型
  两个分支的返回值都能合法赋值给联合类型A，因此可以正常通过类型校验。

• 优先使用类型守卫分支返回：就是你第二种写法的思路，完全依赖TypeScript原生的类型收窄能力，不需要额外的类型断言，类型安全性最高，适合逻辑不复杂的场景。
• 使用类型断言简化写法：如果你确定业务逻辑完全符合类型要求，可以直接对返回值做类型断言，跳过TS的额外推导检查：

const buildA = (result: Result): A => {
  return {
    x: 1,
    y: 1,
    result,
  } as A
}

这种写法更简洁，但相当于你主动向TS保证类型合法性，TS不会再做深入校验，适合你明确逻辑不会出错的场景。

• 调整类型定义减少推导成本：如果这类构造场景很多，可以直接把A的定义改成TS更容易匹配的形式，比如用分布式条件类型定义：

type A<T extends Result = Result> = T extends infer R ? ABase & { result: R } : never

修改后第一种写法也可以直接通过校验。

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