javascript - FlowType:空检查失败

Question

为什么空值检查在 func1 中失败，而在 func2 中正常

/* @flow */

const func1 = (arr?: Array<*>) => {
  const isArrayNotEmpty = arr && arr.length;

  if (isArrayNotEmpty) {
    arr.forEach((element) => console.log(element));
  }
}

const func2 = (arr?: Array<*>) => {
  if (arr && arr.length) {
    arr.forEach((element) => console.log(element));
  }
}

Live example

Answer 1

我不知道 Flow 不支持这个的原因，但它不支持。它目前要求检查类型改进实际上发生在 if 语句中，并且如果它们被抽象到一个单独的变量中则不会跟踪它们。

有一个您可能可以接受的替代方案(我不确定它是否记录在任何地方):

/* @flow */

const func1 = (arr?: Array<*>) => {
  if (isArrayNotEmpty(arr)) {
    arr.forEach((element) => console.log(element));
  }
}

function isArrayNotEmpty(x: mixed): %checks {
  return x && x.length;
}

( tryflow )

特殊的 %checks 返回类型向 Flow 指示它应该查看函数的主体以弄清楚它所暗示的关于传递给它的变量类型的含义。我相信对于这样一个函数的主体中可以包含什么有一些限制。甚至可能只需要返回一个表达式。不过，这应该足以让您进行试验。