TypeScript特化含联合字面量类型属性的类型时赋值报错如何解决

你遇到的报错本质是两种写法的类型结构存在本质差异：

• 第二种写法中AllLitTypes本身就是字面量联合类型，TS控制流可以直接对整个变量做类型窄化
• 第一种写法中AllTypes是单个对象类型，仅内部type属性为联合类型，TS默认只会窄化all.type属性的类型，不会自动升级整个all对象的类型为AllTypes & {type: 'aaa'}

下面给出三种可落地的方案，不需要修改第三方库的原有类型定义： #

方案1：直接类型断言（最简单） #

如果你确定当前的if判断逻辑完全可靠，可以直接用类型断言覆盖TS的默认推导，适合仅单次使用的场景：

if (all.type == 'aaa') {
    const a: A = all as A; // 不再报错
}

方案2：自定义类型守卫（最安全，推荐复用场景） #

封装通用类型守卫函数，既可以保证类型安全，也可以在多处判断逻辑中复用：

// 通用类型守卫，支持匹配所有type的取值
function isSpecificType<T extends AllTypes['type']>(
  target: AllTypes, 
  expectedType: T
): target is AllTypes & { type: T } {
  return target.type === expectedType;
}

// 使用方式
if (isSpecificType(all, 'aaa')) {
  const a: A = all; // TS自动完成类型窄化，无报错
}

方案3：转换为可辨识联合类型（最符合原生使用习惯） #

你可以基于第三方提供的AllTypes自行生成可辨识联合类型，之后就能像第二个示例一样用原生的控制流窄化逻辑：

// 从原有AllTypes生成可辨识联合类型
type AllTypesUnion = {
  [K in AllTypes['type']]: AllTypes & { type: K }
}[AllTypes['type']]

// 给变量标注新的联合类型
const all: AllTypesUnion = {
  type: 'aaa',
  value: 123,
};

if (all.type == 'aaa') {
  const a: A = all; // 原生支持类型窄化，无报错
}

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