我有以下两个接口:
export interface IQuestion {
type: 'single' | 'sort'
prompt: string;
options: {
id: string,
text: string
}[]
}
export type ICurrentQuestion = {
correctAnswerId: string | string[],
question: IQuestion,
extraData?: IResultsAnswerData
}
如果问题类型是sort，那么correctAnswerId就是string[].我不想将类型移动到顶层，因为问题是发送给客户端的内容，所以我必须在两个级别上复制类型.从我的研究来看，我想做的似乎是不可能的，但我很难把我的头包装在这里的类型安全的最佳方式是什么.
首先，感谢那些聪明的人！:)
如果你想要一个类型是this或that，那么你应该把它设为union type.
其中一个类型的correctAnswerId为string，question.type属性为"single":
interface SingleCurrentQuestion {
correctAnswerId: string,
question: SingleQuestion,
extraData?: IResultsAnswerData
}
interface SingleQuestion {
type: 'single'
prompt: string;
options: {
id: string,
text: string
}[]
}
另一个是correctAnswerId的string[]和question.type的"sort"属性:
interface SortCurrentQuestion {
correctAnswerId: string[],
question: SortQuestion,
extraData?: IResultsAnswerData
}
interface SortQuestion {
type: 'sort'
prompt: string;
options: {
id: string,
text: string
}[]
}
所以你想要的类型是这些的结合:
type CurrentQuestion =
SortCurrentQuestion | SingleCurrentQuestion;
请注意，因为它是一个联合，它不能直接是interface，只能是type alias.但这对大多数用例来说并不重要.
另外，请注意，由于"sort" vs "single"属性嵌套在question属性中，CurrentQuestion是一个union，但not是discriminated union，所以你不能写if (q.question.type === "single") { ⋯ } else { ⋯ }，而期望q被缩小到这些块中. 在microsoft/TypeScript#18758处有一个长期存在的开放特性请求来支持这种嵌套判别式，但目前它还不是语言的一部分.