流聯合類型和可選屬性

Question

我剛碰到一個令我困惑的問題flow。有人可以向我解釋爲什麼以下不起作用，以及我將如何解決它？

// @flow 

type MessageDescriptor = { 
    id: string, 
    defaultMessage?: string, 
    description?: string 
}; 

type MenuLabel = MessageDescriptor & { 
    +values?: { +[name: string]: string } 
}; 

const msg: MessageDescriptor = { 
    id: 'test' 
}; 

const label: MenuLabel = msg; 

我得到的錯誤是：

9: type MenuLabel = MessageDescriptor & {           
             ^property `values`. Property not found in 

17: const label: MenuLabel = msg; 
          ^object type 

然而，values顯然是可選的。更奇怪的是，以下工作：

const label: MenuLabel = { ...msg }; 

Answer 1

看起來，爲了使「交集類型+自選」工作，你必須定義在這兩種類型的可選值。

// @flow 

type MessageDescriptor = { 
    id: string, 
    defaultMessage?: string, 
    description?: string, 
    +values?: { +[name: string]: string } 
}; 


type MenuLabel = MessageDescriptor & { 
    +values?: { +[name: string]: string } 
}; 

const msg: MessageDescriptor = { 
    id: 'test' 
}; 

const label: MenuLabel = msg; 

鑑於評論，也許你正在尋找一個聯盟類型，而不是一個交集類型？

// @flow 

type MessageDescriptor = { 
    id: string, 
    defaultMessage?: string, 
    description?: string, 
}; 


type MenuLabel = MessageDescriptor | { 
    +values?: { +[name: string]: string } 
}; 

const msg: MessageDescriptor = { 
    id: 'test' 
}; 

const label: MenuLabel = msg;