Question

我在TypeScript中使用的对象可能包含可以获取数据的延迟链接或数据本身。这就是为什么这些属性得到一个联合类型T |字符串。

现在我想编写一个类型安全解析函数来解析返回嵌套类型的嵌套属性。

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”类型的参数“的价值”'。有没有机会从接口A的实例推断出propB的类型？

Answer 1

您可以使用recursive mapped types来模拟不仅是某些事物＆＃34;数据或字符串＆＃34;而且数据本身的事实，从而获得您正在寻找的内容＆＃34;数据或字符串＆＃34;。像这样：

type DeepTypeOrString<T> = string | {
  [K in keyof T]: DeepTypeOrString<T[K]>
}

这主要为您提供了原语和普通对象类型的所需。数组是另一个故事，但是一旦conditional types特征出现在TypeScript 2.8中，它就会被清除。

现在让我们按照您期望的实际数据来定义A和B，而不是＆＃34;也许字符串＆＃34;版本：

interface A  {
  propA: B
}
interface B {
  propB: any[]
}

您的resolve()函数与之前类似，只是data声明属于DeepTypeOrString<T>类型：

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[]

希望有所帮助;祝你好运！

TypeScript：推断嵌套联合类型的类型

1 个答案: