如何使用Flow类型限制对象添加额外属性？

这是Flow新手常碰到的典型问题——默认情况下，Flow的对象类型采用宽检查模式：它只会验证对象包含了类型定义里要求的属性，但不会主动拦截额外属性的添加。这是为了兼容JavaScript对象天然可拓展的特性，但如果我们需要严格限制对象的键只能是预先定义的那些，就得用到Flow的**精确类型（Exact Types）**语法。

解决方案1：使用精确类型语法 #

把原来的对象类型定义用{| ... |}包裹，就能明确告诉Flow：这个对象只能包含指定的键，不能有任何额外属性。

修改后的类型定义和示例代码：

type Sample = {|
  someNumber: number,
|};

// 现在这个赋值会触发Flow错误，因为存在未定义的`someString`属性
var sample: Sample = { someNumber: 123, someString: '123' };

补充说明：函数参数的特殊情况 #

如果你是在函数参数中使用这个类型，Flow对直接传入的对象字面量会自动做严格检查，哪怕不用精确类型也会报错：

type Sample = {
  someNumber: number,
};

function processSample(sample: Sample) {}
// 这里直接传字面量会报错，因为Flow会检查额外属性
processSample({ someNumber: 123, someString: '123' });

但如果是先把带额外属性的对象赋值给一个无类型/any的变量，再传给函数，还是会绕过检查——所以精确类型才是最可靠的全局限制方式。

注意事项 #

• 精确类型会同时限制“额外属性”和“缺失必填属性”，如果需要允许某些属性可选，可以在属性名后加?，比如{| someNumber: number, someOptional?: string |}。
• 避免将带额外属性的对象先赋值给any或未标注类型的变量，再转赋给精确类型变量——这种情况下Flow会丢失类型信息，无法触发错误。

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