如何使用Flow为带默认属性的对象正确标注类型？

这确实是使用Flow时很容易踩的坑，尤其是结合对象解构和默认参数的时候。我来帮你拆解问题，给出两种符合预期的解决方案，对应不同的业务场景：

场景1：仅允许不传属性（用默认值）或传入合法number值 #

如果你的需求是：调用函数时可以省略p/pp（此时使用默认值），但传入的话必须是number类型（不允许null），那么正确的类型定义和函数写法如下：

type Payload = {
  p?: number, // 可选属性，表示可以不传该字段
  pp?: number,
};

function load({ p = 1, pp = 5 }: Payload): { p: number, pp: number } {
  return { p, pp };
}

// 合法调用示例
load({}); // 使用两个默认值
load({ p: 3 }); // pp用默认值5
load({ pp: 10 }); // p用默认值1
load({ p: 2, pp: 7 }); // 传入两个合法值

为什么这样可行？ #

• Payload里的?标记表示属性是可选的，调用函数时可以不提供这些字段；
• 解构时的默认值p = 1会兜底“未传入该属性”的情况，Flow能正确推断出函数内部的p和pp一定是number类型，所以返回类型可以安全标注为{ p: number, pp: number }。

场景2：允许传入null/undefined，默认值仅在属性未传入时生效 #

如果你的需求是：允许传入null作为p/pp的值（此时默认值不生效），同时也可以省略属性（用默认值），那么需要调整类型定义，并注意函数内部的类型处理：

type Payload = {
  p?: ?number, // 可选的可空类型：可以不传，也可以传number/null/undefined
  pp?: ?number,
};

// 如果函数需要确保返回值是number类型，需要手动处理null的情况
function load({ p = 1, pp = 5 }: Payload): { p: number, pp: number } {
  // 使用空值合并运算符兜底null的情况
  const finalP = p ?? 1;
  const finalPp = pp ?? 5;
  return { p: finalP, pp: finalPp };
}

// 合法调用示例
load({ p: null }); // finalP会被兜底为1
load({ pp: undefined }); // 等价于不传pp，用默认值5
load({ p: 4, pp: null }); // finalPp兜底为5

注意点： #

• 解构的默认值p = 1只在属性未传入（即值为undefined）时生效，如果传入null，默认值不会触发，所以需要用??运算符额外处理null；
• 如果你的业务允许函数返回null，那么可以把返回类型改为{ p: ?number, pp: ?number }，此时不需要额外兜底处理。

为什么你之前的写法有问题？ #

• 第一种写法用type Payload = { p: ?number, pp: ?number }：这里的?number表示属性是必填的可空类型，调用函数时必须传入p和pp（哪怕是null/undefined），但你希望的是可以省略属性，所以Flow会报错；
• 第二种写法用type Payload = { p: number, pp: number }：这里的属性是必填的非空类型，调用时传入null会直接违反类型约束，所以Flow报错，而且也无法利用默认值（因为必须传入属性）。

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