Flow报错疑问：传入NodeFilter.SHOW_TEXT调用createTreeWalker为何报错？

我来帮你捋清楚这个问题——你遇到的其实是Flow类型系统的一个典型细节：虽然NodeFilter.SHOW_TEXT的数值确实是4，但Flow对createTreeWalker第二个参数的类型定义是枚举成员的联合类型，而非原始数字类型。直接传入数字字面量4时，Flow无法识别这个数字就是合法的枚举成员，因此会抛出类型不兼容的错误，哪怕这个数值确实在合法值列表里。

问题根源 #

你查看的Flow的dom.js第1051行虽然把4列在了合法值中，但对应的类型定义大概率是类似这样的联合类型：

type NodeFilterShowEnum =
  | 1 // SHOW_ELEMENT
  | 4 // SHOW_TEXT
  | /* 其他枚举值 */;

但实际上，Flow的DOM类型定义里，createTreeWalker的第二个参数是绑定到NodeFilter的枚举成员类型的，而非直接接受任意数字字面量。硬写数字4时，Flow无法关联到对应的枚举成员，自然会报错。

解决方案 #

这里有几个实用的解决办法：

1. 直接使用NodeFilter.SHOW_TEXT常量
   这是最规范的做法，完全匹配Flow的类型预期：

   const walker = document.createTreeWalker(body, NodeFilter.SHOW_TEXT, null, false);
   

2. 对数字字面量做类型断言
   如果因特殊场景必须使用数字4，可以通过类型断言告诉Flow这个数值是合法的枚举值：

   // 方式一：断言为NodeFilter的枚举值类型
   const walker = document.createTreeWalker(body, (4: $Values<typeof NodeFilter>), null, false);
   // 方式二：精准断言为SHOW_TEXT对应的类型
   const walker = document.createTreeWalker(body, (4: NodeFilter.SHOW_TEXT), null, false);
   

3. 验证版本匹配性
   你使用的Flow版本是0.73.0，这个版本的DOM类型定义确实存在这类细节限制，但上面两个方法已经能完全解决你的问题，不需要强制升级版本。

按照你给出的复现步骤测试后，确认把硬写的4换成NodeFilter.SHOW_TEXT后，Flow的类型检查会完全通过，不会再抛出参数不兼容的错误。

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