Flow静态类型检查失效：TypeScript开发者对代码未报错的困惑

嘿，我碰到过类似的问题，来帮你拆解一下——你写的代码里明明把数字赋值给了字符串类型的变量，Flow却没报错，大概率是这几个原因之一：

先把你的代码贴出来方便分析：

class Bar { foo: string }
let bar = new Bar();
let test = bar.foo;
test = 4; // 预期报错但无提示

1. 文件未被Flow纳入检查范围 #

最常见的情况：你忘了在文件顶部添加Flow的检查标记！如果文件开头没有写// @flow或者/* @flow */，Flow会直接跳过这个文件的类型检查，自然不会给你报错。

2. 类属性未初始化导致类型推断宽松 #

你定义的Bar类里，foo只标注了string类型，但没有在构造函数里初始化它（比如constructor() { this.foo = ""; }）。在Flow的默认配置下，这类未初始化的类属性会被推断为string | undefined。当你把bar.foo赋值给test时，test的类型就变成了string | undefined——如果你的Flow没有开启strict_null_checks这类严格模式选项，它可能会允许后续给test赋值其他类型的值，不会触发报错。

3. Flow配置文件放宽了检查规则 #

如果你的.flowconfig里设置了一些宽松的选项，比如unsafe.enable_unsafe_any: true，或者关闭了某些严格检查开关，Flow会对类型检查睁一只眼闭一只眼，这种情况下也不会触发预期的报错。

4. 未正确运行Flow检查命令 #

有时候可能是你没执行正确的检查命令？比如你只是保存了文件，但没在终端运行flow check或者开启Flow的实时检查服务，导致错误没被检测出来。

快速解决建议：

• 先在文件顶部加上// @flow标记，确保Flow检查这个文件
• 给Bar类的foo属性做初始化：

  class Bar { 
    foo: string;
    constructor() {
      this.foo = ""; // 初始化字符串值
    }
  }
  

• 检查你的.flowconfig，确保开启了严格模式相关的选项（比如strict=true）
• 重新运行flow check命令，看看是否能触发预期的报错

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