如何在Flow中从对象数组生成联合类型并实现类型校验？

假设我们有以下项目列表：

const items = [
   {
       key: "amalgama"
   },
   {
       key: "torin"
   },
   {
       key: "mascarpone"
   }
]

应如何定义Flow类型ItemsKeyUnion以实现如下校验？

type ItemsKeyUnion = ...some stuff with items...

// 等价于：
// type ItemsKeyUnion = "amalgama" | "torin" | "mascarpone";

let a: ItemsKeyUnion;

a = "amalgama" // 合法；

a = "tomatoes" // 报错；

核心需求：

• 在if-else、switch语句中获得即时校验提示
• 未来修改items中的key值时，Flow能自动提示需要调整的代码位置

解决方案 #

要实现这个需求，你可以借助Flow的类型推导能力，结合只读数组来保留元素的具体类型信息，进而生成对应的联合类型：

1. 将数组标记为只读字面量数组
   先把items定义为只读数组，确保Flow能捕获每个key的具体字符串值，而不是泛化为string类型：

const items = Object.freeze([
   {
       key: "amalgama"
   },
   {
       key: "torin"
   },
   {
       key: "mascarpone"
   }
]: $ReadOnlyArray<{key: string}>);

使用Object.freeze和$ReadOnlyArray可以避免后续代码修改数组内容，保证类型的稳定性。

2. 推导生成联合类型
   通过typeof获取数组的类型，再用$ElementType提取数组元素中key字段的类型，自动生成联合类型：

type ItemsKeyUnion = $ElementType<typeof items[number], 'key'>;

这样定义后，ItemsKeyUnion就完全等价于手动声明的"amalgama" | "torin" | "mascarpone"，满足所有需求：

• 赋值非法字符串时Flow直接报错
• 在switch/if-else中使用该类型变量，Flow会提示未覆盖的分支
• 修改items中的key或增减元素时，ItemsKeyUnion自动更新，所有使用该类型的代码如果未同步调整，Flow会即时给出报错提示

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