Typescript 类型脚本如何将嵌套的通用类型展开为父通用类型

type Example = { a: string, b: string, n: Nested<{ n1: 'n1-val', n2: 'n2-val' }> }

type t1 = FlatNested<Example>
//   ^? goal: {a: string;b: string;n1: "n1-val" ;n2: "n2-val";}

type Nested<T> = T &
{ _: string } // this just so Nested<T> wont be equal to T

type Example = { a: string, b: string, n: Nested<{ n1: 'n1-val', n2: 'n2-val' }> }

type FlatNested<T> = { [K in keyof T as T[K] extends Nested<infer N> ? keyof N : K]: T[K] extends Nested<infer N> ? T[K][keyof N] : T[K] };

type t1 = FlatNested<Example>
//   ^? type t1 = {a: string;b: string;n1: "n1-val" | "n2-val";n2: "n1-val" | "n2-val";}
//   ^? goal: {a: string;b: string;n1: "n1-val" ;n2: "n2-val";}

type FlatNested<T> = {
    [K in keyof T]: (x: T[K] extends Nested<infer N> ? N : Pick<T, K>) => void
} extends { [k: string]: (x: infer I) => void } ? { [K in keyof I]: I[K] } : never

type T1 = FlatNested<Example>
/* type T1 = {
    a: string;
    b: string;
    n1: 'n1-val';
    n2: 'n2-val';
} */

Typescript相关问答推荐

在角形加载组件之前无法获取最新令牌

如何获取数组所有可能的索引作为数字联合类型？

如何从具有给定键列表的对象类型的联合中构造类型

APP_INITIALIZER—TypeError：appInits不是函数

为什么typescript不能推断类的方法返回类型为泛型''

如何使函数接受类型脚本中具有正确类型的链接修饰符数组

TypeScrip：基于参数的条件返回类型

向NextAuth会话添加除名称、图像和ID之外的更多详细信息

如何在另一个参数类型中获取一个参数字段的类型？

使用2个泛型类型参数透明地处理函数中的联合类型

限制返回联合的TS函数的返回类型

跟踪深度路径时按条件提取嵌套类型

Typescript泛型调用对象'；s方法

如何知道使用TypeScript时是否在临时工作流内运行

如何键入'；v型'；

Karma Angular Unit测试如何创建未解析的promise并在单个测试中解决它，以判断当时的代码是否只在解决后运行

使用 fp-ts 时如何使用 TypeScript 序列化任务执行？

如何确定剧作家中给定定位器的值？

是否有可能不允许在 TypeScript 中设置类属性，但也会抛出运行时错误？

基于泛型的柯里化函数的条件参数