流-可能类型与看似有效的默认对象参数不兼容

正如@TLadd所指出的,它似乎是 bug 。

问题具体在于使用 null 在使用默认值进行对象分解时作为允许的类型。

$FlowFixMe 可以用来抑制错误,避免损坏代码,或者可以 create your own suppression e、 g。 $FlowDestructuringDefaultBug 。注意:您需要将$Flow suppression注释放在紧靠默认赋值之前的一行上,因此您需要像在原始示例中那样跨多行打断参数。

以下是一些可能适合您的用例的替代方案( Try ):

// @flow
type MaybeParams = {
  value: ?number,
}
function acceptsMaybeNumber({
  // originalValue = 1  // FAIL
  // $FlowFixMe
  value = 1,            // PASS (but not in Try where $FlowFixMe is disabled)
}: MaybeParams) {
  console.log(value);
}

type OptionalParams = {
  value?: number,
}
function acceptsOptionalNumber({
  value = 1,                // PASS
}: OptionalParams) {
  console.log(value);
}

acceptsOptionalNumber({ })  // PASS


type UndefinedParams = {
  value: void | number,
}
function acceptsUndefinedNumber({
  value = 1,                // PASS
}: UndefinedParams) {
  console.log(value);
}

acceptsUndefinedNumber({ value: undefined })    // PASS

如果您特别希望将null作为一个允许的、指定的值来处理,那么您必须避免在解构中指定默认值。

这是流程中的一个bug。 https://github.com/facebook/flow/issues/183#issuecomment-358607052 。最简单的修复方法可能就是不依赖默认的解构值。比如说

type Params = {
  value?: ?number,
}
function acceptsMaybeNumber(params: Params) {
  const value = typeof params.value === 'number' ? params.value : 4
  console.log(value);
}