TypeScript:推断嵌套联合类型的类型
TypeScript:推断嵌套联合类型的类型
提问于 2018-02-16 09:45:01
我在TypeScript中使用的对象可能包含一个延迟链接，可以在该链接中获取数据或数据本身。这就是这些属性获得联合类型T| string的原因。
现在我想编写一个类型安全的resolve函数来解析返回嵌套类型的嵌套属性。
type TypeOrString<T> = T | string;
interface A {
propA: TypeOrString<B>;
}
interface B {
propB: TypeOrString<any[]>;
}
function resolve<T, K1 extends keyof T, K2 extends keyof T[K1]>
(data: T | string, p1: K1, p2: K2): T[K1][K2] {
return null;
}
let a:A;
let b:TypeOrString<any[]> = resolve(a, "propA", "propB");
//Error TS2345: Argument of type '"propB"' is not assignable
//to parameter of type '"toString" | "valueOf"'.但是编译器给我一个错误，TS2345:类型为'"propB"‘的参数不能赋值给类型为'"toString“| "valueOf"’的参数。是否有可能从接口A的实例中推断出propB的类型？
回答 1
Stack Overflow用户
发布于 2018-02-16 10:31:51
您可以通过使用recursive mapped types对这样一个事实进行建模，即数据不仅是“数据或字符串”，而且数据本身也是“数据或字符串”。如下所示：
type DeepTypeOrString<T> = string | {
[K in keyof T]: DeepTypeOrString<T[K]>
}这主要为您提供了基本类型和纯对象类型所需的内容。数组是另一回事，但一旦TypeScript 2.8中的conditional types特性出现，这个问题就会迎刃而解。
现在，让我们根据您期望的实际数据来定义A和B，而不是“可能的字符串”版本：
interface A {
propA: B
}
interface B {
propB: any[]
}除了data被声明为DeepTypeOrString<T>类型之外，您的resolve()函数与前面类似
declare function resolve<T, K1 extends keyof T, K2 extends keyof T[K1]>(
data: DeepTypeOrString<T>, p1: K1, p2: K2
): T[K1][K2];现在，当您调用resolve()时，您将看到预期的推断：
declare const a: DeepTypeOrString<A>;
const ret = resolve(a, 'propA', 'propB') // ret is inferred as any[]希望这能有所帮助；祝你好运！
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/48819009
复制相关文章
相似问题
腾讯云开发者
