Flow 0.79.1版本默认参数与Maybe类型不兼容问题求解决方案

根因 #

Flow 0.79.1存在类型推导缺陷，无法正确识别参数解构位置的默认值与Maybe类型的兼容性，导致合法代码报错。该问题在后续版本中已被修复，若不能升级版本，可使用以下两种方案解决。

解决方案 #

方案1：参数解构逻辑拆分到函数内部（推荐） #

避免在函数参数定义位置做解构默认值赋值，改在函数内部处理，旧版Flow可以正确推导该场景下的类型：

// 外层参数对象为必传场景
function foo(params: {a: ?number}) {
  const {a = null} = params;
  // 后续使用a即可，类型会被正确识别为?number
}

// 外层参数对象本身可省略，需要设置默认空对象的场景
function foo(params: {a: ?number} = {}) {
  const {a = null} = params;
}

该方案无需使用类型断言，类型安全性更高，后续升级Flow版本也无需二次调整代码。

方案2：默认值位置增加类型断言 #

如果不想调整原有代码结构，可以直接对默认值做类型断言，绕开旧版Flow的校验缺陷：

function foo({a = (null: ?number)}: {a: ?number}) {}

该方案改动量最小，适合需要批量修复大量同类问题的场景，注意仅在你明确默认值符合类型定义的前提下使用。

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