Flow类型疑问：为何字面量联合类型兼容包含string的联合？

你定义了这样的严格对象联合类型：

type UnionType = {|type: "A"|} | {|type: "B"|} | {|type: "C"|}

const objectB: UnionType = {type: "B"}
const objectBType: "A" | "B" | "C" | string = objectB.type // 无报错
                                  // ^^^^^^  为何允许这种写法？

这里的核心原因是Flow的类型拓宽机制：当你从一个对象联合类型中提取属性时，Flow会默认将该属性的类型拓宽到基础类型（这里就是string），而不是严格保留字面量的联合类型。

Flow这么做是出于保守推断的考虑——它假设你后续可能会对这个属性值做更宽泛的字符串操作，避免过度窄化类型导致不必要的报错。但这确实会让字面量联合类型的约束被弱化，不符合你预期的严格字面量限制。

解决方法 #

如果你想让objectB.type严格保留"A"|"B"|"C"的字面量联合类型，可以用以下几种方式：

1. 使用as const字面量断言
   直接在创建对象时用as const锁定类型，这样Flow会保留完整的字面量信息：

type UnionType = {|type: "A"|} | {|type: "B"|} | {|type: "C"|}

const objectB = {type: "B"} as const;
const objectBType: "A" | "B" | "C" = objectB.type; // 完全符合预期，无报错

2. 单独定义字面量联合类型复用
   把字面量联合抽成独立类型，再用它定义对象联合，这样属性类型会直接绑定到字面量联合：

type TypeLiteral = "A" | "B" | "C";
type UnionType = {|type: TypeLiteral|};

const objectB: UnionType = {type: "B"};
const objectBType: TypeLiteral = objectB.type; // 无报错

3. 类型断言强制约束
   如果无法修改对象的定义，也可以在提取属性时用类型断言明确指定类型：

type UnionType = {|type: "A"|} | {|type: "B"|} | {|type: "C"|}

const objectB: UnionType = {type: "B"};
const objectBType: "A" | "B" | "C" = objectB.type as "A" | "B" | "C"; // 无报错

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