问题描述
我在将泛型与打字稿中的接口扩展相结合时遇到了麻烦。我的基本用例是这样的:
- 基本界面
- 从父接口扩展的子接口(只有 1 级深度继承)
- 每个子接口都包含不在基接口中的数据
- 某些字段可能会或可能不会在各种同级接口之间共享
我希望能够编写一个类型安全的泛型函数,该函数可以正确识别一般的子接口,包括适当地将参数匹配到泛型接口。
我已经成功地将鉴别器用于扩展接口,但我无法将其与其他参数联系起来。例如:
这是我们的基本类型,以及鉴别器值“Type”:
interface Base<T> {
type: T
a: string
b: number
}
以下是可能的扩展/继承者:
type ExtensionType = 'CDate' | 'DBool' | 'CString'
interface ExtensionCDate<T = 'CDate'> extends Base<T> {
c: Date
}
interface ExtensionDBool<T = 'DBool'> extends Base<T> {
d: boolean
}
interface ExtensionCString<T = 'CString'> extends Base<T> {
c: string
}
这里的想法是 ExtensionCDate 只能采用 'CDate' 的泛型值,因此它的类型值始终是 'CDate' 等。
- 使用可能的子接口的联合类型:
type GenericExtension<T extends ExtensionType> = ExtensionCDate | ExtensionDBool | ExtensionCString
type ExtendedData<T extends ExtensionType> = Omit<GenericExtension<T>,keyof Base<T>>
const genericFunc = <T extends ExtensionType>(obj: GenericExtension<T>,data: ExtendedData<T>): void => {
switch ( obj.type ) {
case 'CDate':
obj.c = data.c // data.c should exist
return
case 'DBool':
obj.d = data.d // data.d should exist
return
case 'CString':
obj.c = data.c // data.c should exist
return
}
}
不幸的是,虽然 obj 的输入似乎有效,但鉴别器也不适用于 data 参数。我知道我可以使用强制转换(data.c 作为 ExcludedData),但我发现它有一个不理想的解决方案。
我得到的错误如下:
TS2339: Property 'c' does not exist on type 'Pick,never>'.
这让我觉得我至少在错误地做 ExtendedData 类型。 我觉得解决方案应该相当简单。我在这里错过了什么?
谢谢!如果我可以提供任何其他上下文来帮助提出解决方案,请告诉我。
解决方法
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)