TypeScript如何定义带条件存在成员的联合类型并解决TS2339报错

你设计的是标准的可辨识联合类型，本来可以依靠success字段的字面量值做分支自动类型缩窄，出现这个报错基本都是配置或定义细节没对齐TypeScript的类型收窄规则导致的。你看到的报错提示Property 'message' does not exist on type 'ResultSuccess<number>'，本质就是TS在else分支里没有把成功结构排除出联合类型，才会提示某个联合成员上不存在目标属性。

• 优先检查TS编译配置的严格模式开关
  这是最高发的踩坑场景：当tsconfig.json里的strictNullChecks关闭时，TypeScript会自动把你定义的字面量类型true/false向上拓宽为普通的boolean类型，导致两个接口里的success字段不再是具备区分度的可判别值。这时候哪怕你写了if (response.success)的判断，TS也没法把联合类型缩窄到对应分支的具体结构，自然会在else分支里因为联合类型包含了没有message属性的成功结构，抛出属性不存在的报错。
  修复方式：在tsconfig.json的compilerOptions中开启"strict": true（连带会自动开启strictNullChecks），保留success: true和success: false的字面量类型后，分支判断会自动触发类型缩窄：
  • 进入if (response.success)分支时，response会自动收窄为ResultSuccess<T>，可直接访问result属性
  • 进入else分支时，response会自动收窄为ErrorMessage，可直接访问message属性
• 检查联合类型的连接符是否正确
  确认Maybe<T>是用竖线|连接的联合类型，不是用&连接的交叉类型。如果误写成交叉类型，两个接口的属性会被强制合并到同一个类型上，整个分支判断的类型逻辑就会完全失效。
• 检查success字段的类型定义是否过于宽泛
  确认两个接口中的success字段都是硬编码的字面量类型，不是宽泛的boolean类型：

  // 正确的可辨识属性定义
  interface ResultSuccess<T> {
    success: true; // 不要写成 success: boolean
    result: T;
  }
  interface ErrorMessage {
    success: false; // 不要写成 success: boolean
    message: string;
  }
  

  如果success字段定义成boolean类型，哪怕开了严格模式，TS也没法靠这个字段区分两个联合成员的结构，自然没法触发正确的类型缩窄。

按照上面的要求修正后，原有的HandleAPICall函数代码不需要做任何额外改动，在else分支里访问response.message就会完全符合类型检查规则，不会再抛错。

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