流 - 子类型数组

Question

有两个对象，其中B扩展A，我可以将B的单个实例分配给类型A的变量。但是，对于数组，这是不可能的。我能做些什么来完成这项工作？谢谢！

// @flow 
type ObjectA = { foo: string }; 
type ObjectB = ObjectA & {bar: number }; 

let objectBArray: ObjectB[] = [{ foo: 'test', bar: 42 }]; 
let objectAArray: ObjectA[] = objectBArray; // Does not work! 

Answer 1

找到自己的答案：

let objectAArray: Array<$Subtype<ObjectA>> = objectBArray; 

在文档不descriped，但似乎是API的正式组成部分https://flow.org/en/docs/types/utilities/#toc-subtype