Flow报错：无法展开对象字面量，咨询问题原因与解决方法

嘿，我来帮你拆解这个Flow错误的根源——你忽略了Flow里精确类型和非精确类型的关键区别！

先还原你的场景 #

你写了这段简化代码：

type Category = { id: string, name: string, };
type Option = { id: string, name: string, isSelected: boolean, };
const options = categories.map((c: Category): Option => ({ isSelected: true, ...c, }));

结果触发了Flow的报错：

Flow: Cannot spread object literal because Flow cannot determine a type for object literal [1]. Category [2]为非精确类型，可能包含与对象字面量[1]中isSelected定义冲突的isSelected类型，建议将Category [2]改为精确类型。

你没注意到的核心点 #

Flow 默认的对象类型是非精确（开放）类型，意思是：哪怕你只声明了 id 和 name，Flow 也会认为 Category 类型的对象可能带有其他未声明的属性。

放到你的代码里，Flow 会担心一件事：如果某个 Category 实例本身就带有一个 isSelected 属性，而且这个属性的类型和你手动设置的 isSelected: true（布尔值）不兼容怎么办？比如，假设某个 Category 的 isSelected 是字符串类型，那展开后就会出现类型冲突，Flow 出于类型安全的考虑就抛出了错误。

快速解决方法 #

把 Category 改成精确类型就搞定了，只需要在类型定义的大括号前加个竖线 |：

// 精确类型：明确这个类型只有 id 和 name 两个属性，不会有额外字段
type Category = {| id: string, name: string, |};
type Option = { id: string, name: string, isSelected: boolean, };
const options = categories.map((c: Category): Option => ({ isSelected: true, ...c, }));

精确类型会告诉 Flow：Category 类型的对象绝对只有你声明的这两个属性，不会有隐藏的 isSelected 或者其他字段，这样展开时就不会有冲突风险，错误自然就消失了。

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