流 - 子類型數組

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