这个坑我之前踩过好几次！Flow的类型细化逻辑确实有点“认死理”——它只会单独细化你直接检查的那个属性（比如obj.field），但不会自动把整个obj的类型从带可空字段的版本升级成非空版本，这就是你触发错误的原因。

先给你复现一下问题场景，方便对照：

// @flow
type ObjWithNullableField = {
  field: ?number,
};

type ObjWithNonNullField = {
  field: number,
};

const obj: ObjWithNullableField = { field: 42 };

function func(arg: ObjWithNonNullField) {
  console.log(arg.field.toFixed(2));
}

// 明明检查了field不为空，但Flow还是报错
if (obj.field != null) {
  func(obj); // Flow错误提示：Cannot call `func` with `obj` bound to `arg` because null or undefined is incompatible with number in property `field`.
}

几种可行的解决方案 #

1. 类型断言（快速但需谨慎）

直接告诉Flow：“我已经确认这个对象符合目标类型了”，适合简单场景，但要确保自己的空值判断是严谨的，避免运行时出错：

if (obj.field != null) {
  func(obj: ObjWithNonNullField); // 强制断言，Flow会认可
}

2. 生成新对象（更安全的方式）

基于原对象创建一个新对象，把已经细化过的field传进去，Flow会自动推断新对象的类型符合要求：

if (obj.field != null) {
  const safeObj = { ...obj, field: obj.field };
  func(safeObj); // Flow能识别safeObj的field是number类型
}

3. 类型守卫函数（适合重复使用的场景）

如果这种类型检查会在多处用到，可以写一个类型守卫函数，让Flow通过函数返回值来细化整个对象的类型：

// 定义类型守卫，明确返回值表示obj是否符合目标类型
function isNonNullFieldObj(obj: ObjWithNullableField): obj is ObjWithNonNullField {
  return obj.field != null;
}

// 使用守卫函数判断后，Flow会自动更新obj的类型
if (isNonNullFieldObj(obj)) {
  func(obj); // 完全不会报错
}

为什么会出现这个问题？ #

Flow的类型细化是针对单个表达式的，它只会记住obj.field此时是非空的，但不会逆向推导整个obj的结构已经满足ObjWithNonNullField的要求。上面的几种方案都是通过不同方式，让Flow明确感知到整个对象的类型已经符合函数参数的要求。

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