为何Flow允许数组访问操作数参与不匹配类型的比较？

先看示例代码：

function test(arr: string[]) {
  const el = arr[0];
  if (el === 2) { }                 // 触发类型错误
  if (arr[0] === 2) { }             // 无类型错误
}

为什么会出现这种差异？背后的设计动机如下：

• 适配JavaScript的实际编码习惯
  在日常JS开发中，开发者常写这类看似冗余的比较，比如用来防御数组元素被意外修改为其他类型，或者处理一些极端边界场景。Flow不会因为这类代码的比较结果永远为false就强制报错，避免给开发者增添不必要的负担。

• 类型检查的粒度与灵活性权衡
  当把数组元素赋值给变量el时，Flow会对这个变量做精确的类型追踪：el的类型被推断为string | undefined，和数字类型的2用===比较时，类型完全不兼容，因此触发错误。而直接访问arr[0]并和字面量比较时，Flow将其视为特殊场景——这类比较不会引发运行时错误，只是结果确定为false，因此放宽了类型检查，平衡了类型严谨性和开发效率。

内容的提问来源于stack exchange，提问作者Ryan Cavanaugh