javascript - 简洁地告诉 Flow 可空属性在属性访问链中不会为空的惯用方法是什么？

Question

假设您有几个具有可选属性的简单 Flow 类型:

type A = { b?: B };
type B = { action?: () => void };

并且您想访问链中的属性并知道它们已定义:

a.b.action()

告诉 Flow a.b 和 b.action 是安全的惯用方式是什么？

Answer 1

没有一个简单的答案。您基本上有三个选择。

• 绕过类型检查器，放弃类型安全。
• 要维护类型安全，请执行运行时检查。 Flow 理解许多运行时检查并将基于它们改进类型。
• 重构您的程序，使这些属性不再是可选的。

要完全绕过类型检查器并放弃安全性，您可以执行类似(a: any).b.action() 的操作。我不推荐这个。

显然，此问题中没有足够的信息来确定重构您的程序以避免具有可选属性是否可行或什至是可取的。

因此，为了维护类型安全，您需要进行运行时检查。你可以这样做:

if (a.b != null && a.b.action != null) {
  a.b.action();
} else {
  // throw error or something
}

或者，如果您只是想断言它们是非空的，Flow 有特殊的函数名为 invariant 用于此目的(当然，您需要弄清楚如何在运行时。在 Node 中，您可以执行 import invariant from 'assert'。不过，如果您愿意，自己编写非常简单)。

invariant(a.b != null && a.b.action != null);
a.b.action();

关于这类事情的一个警告是，如果 Flow 认为可以更改某些内容，它会积极地使类型改进无效。因此，如果在测试和使用之间有任何干预函数调用，它可能会再次开始出错。在这种情况下，您必须将每一位都拉出到一个单独的变量中，例如:

const b = a.b;
invariant(b != null);
const action = b.action;
invariant(action != null);
// other stuff that would have invalidated the type refinement
action();