Flow：符合类型的默认对象参数为何提示类型不兼容？

我之前在项目里也踩过Flow这个类型校验的坑，结合对Flow类型系统的了解，这个问题主要有下面几个核心原因：

1. 必填属性与解构默认值的类型冲突 #

如果你的Params类型中value是必填属性（没有加?标记），但你在解构函数参数时给value设置了默认值，Flow会认为你把这个属性当成了可选属性——因为默认值的存在意味着该属性可以不传入。这时候Flow就会触发类型不兼容的报错，因为它认为“必填属性不能被当作可选参数处理”。

举个错误示例：

type Params = {
  value: number | null | undefined, // 必填的联合类型
};

// 报错：属性`value`在`Params`中是必填的，但这里被当作可选参数处理
function myFunc({ value = null }: Params) {
  console.log(value);
}

2. Flow对「允许undefined的必填属性」和「可选属性」的严格区分 #

Flow的类型系统里，「允许值为undefined的必填属性」和「可选属性」是两个完全不同的概念：

• 必填属性：调用函数时必须传入该属性，但其值可以是undefined
• 可选属性：调用函数时可以不传入该属性，Flow会自动补全undefined

当你给必填属性设置默认值时，Flow会默认把它归为“可选属性”的范畴，这就和你定义的Params类型（必填联合类型）产生了校验冲突，从而触发报错。

3. 特定Flow版本的类型推断Bug #

在一些较旧的Flow版本中，存在联合类型默认值的推断逻辑缺陷——比如无法正确识别number | null | undefined作为默认值的合法性，这种情况属于Flow本身的类型系统bug，升级到最新的稳定版本通常就能解决问题。

对应的解决思路 #

根据不同的业务场景，你可以选择下面几种方案：

方案1：将value改为可选属性（如果业务允许）

如果你的业务逻辑允许value属性不传入，直接修改Params类型为可选属性即可：

type Params = {
  value?: number | null | undefined,
};

function myFunc({ value = null }: Params) {
  console.log(value);
}

方案2：保持必填属性，在函数内部处理默认值

如果需要value保持为必填属性，可以把默认值的处理移到函数内部，避免解构时的类型冲突：

type Params = {
  value: number | null | undefined,
};

function myFunc(params: Params) {
  const { value = null } = params;
  console.log(value);
}

方案3：临时使用类型断言（不推荐，仅作应急）

如果不想修改类型定义或函数结构，可以用$Shape类型断言临时绕过校验，但这会削弱Flow的类型检查能力，不推荐长期使用：

type Params = {
  value: number | null | undefined,
};

function myFunc({ value = null }: $Shape<Params>) {
  console.log(value);
}

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