typescript类型体操--提取对象中指定类型的属性

#导读

今天有群友提问说如何用typescript类型推断返回对象里类型是number的属性,本文就要研究一下这个类型的思路。

分析

其实是要实现这样一个类型:

ts 复制代码
type FilterKey<Obj extends Record<string, any>,T>
​
const student ={
    age:12,
    class:'6(1)',
    name:'Lihua',
    seat:23
}
​
type Result= FilterKey<typeof student, number> // [age,seat]

首先keyof关键字 可以在类型推断里取到对象的属性。

而使用in关键字实现遍历,且遍历后得到一个新的类型。

由于需要指定某个属性T作为约束条件,那就需要使用extends关键字。

在这里已经可以看到,属性为number经过重映射后其value为本身,否则为never。我们应该处理就是过滤出新对象里value不是value的key。

上面已知道keyof可以取出属性值作为元组返回,我们在上面的结果后加上它。

这里大概就是按[]内的Union类型以此取对应的值,再组成新的Union类型,其实和对象取值差不多。应该返回的是"age"|never|never|"seat"

但是联合类型里的never会被干掉,因为never表示不存在的意思(绝不啊,绝对不会存在的类型,也就是压根不存在)。

(PS:随便帮大家区分never、unknown、null。null是空,啥也没有;unknown是不知道是 number、string等中的哪一个,但肯定是其中一个;never就是不存在,不会有。)

这几乎是我们需要的结果了,接下来我们需要将Union类型转为Tuple类型:

ts 复制代码
type UnionToIntersection<U> =(U extends any? (a:(k:U)=>void)=>void : never) extends (a: infer I ) => void ? I :never
type UnionLast<U> = UnionToIntersection<U> extends (a: infer I)=>void ? I :never;
type UnionToTuple<U> = [U] extends [never] ? [] : [...UnionToTuple<Exclude<U, UnionLast<U>>>,UnionLast<U>]

最终结果:

ts 复制代码
type FilterKey<Obj extends Record<string, any>,T>={
    [K in keyof Obj]: Obj[K] extends T ? K:never
}[keyof Obj]

所有的代码如下自取:

ts 复制代码
const student ={
    age:12,
    class:'6(1)',
    name:'Lihua',
    seat:23
}
​
type UnionToIntersection<U> =(U extends any? (a:(k:U)=>void)=>void : never) extends (a: infer I ) => void ? I :never
type UnionLast<U> = UnionToIntersection<U> extends (a: infer I)=>void ? I :never;
type UnionToTuple<U> = [U] extends [never] ? [] : [...UnionToTuple<Exclude<U, UnionLast<U>>>,UnionLast<U>]
​
type FilterKey<Obj extends Record<string, any>,T>={
    [K in keyof Obj]: Obj[K] extends T ? K:never
}[keyof Obj]
​
type FilterKey2<Obj extends Record<string, any>,T> =UnionToTuple<FilterKey<Obj, T>>
​
type Result= FilterKey<typeof student, number>
​
type Result2 = FilterKey2<typeof student, number >

补充

如果T传入的属性是多个的话(假设以元组的形式传入),那么就不适合了,为此,利用类型推断可以递归的特性,可以得到:

ts 复制代码
type MultiFilterKey<Obj extends Record<string, any>,T> = T extends [infer First,...infer Rest] ?[
      ...FilterKey2<Obj, First>,...MultiFilterKey<Obj, Rest>
    ]
:FilterKey2<Obj, T>

小结

我们先是实现了对象类型的重新构造,利用extends约束区分了需要的部分属性,并巧妙地利用never和任意类型联合得到这一任意类型本身的特性,"过滤"得出我们需要的结果。

相关推荐
前端极客探险家4 小时前
前端 Excel 工具组件实战:导入 → 可编辑表格 → 导出 + 样式同步 + 单元格合并
前端·typescript·vue·excel
前端大白话1 天前
前端人速码!10个TypeScript神仙技巧,看完直接拿捏项目实战
前端·javascript·typescript
高木的小天才2 天前
鸿蒙中的并发线程间通信、线程间通信对象
前端·华为·typescript·harmonyos
_十六2 天前
看完就懂!用最简单的方式带你了解 TypeScript 编译器原理
前端·typescript
新时代农民工--小明2 天前
从0开始搭建一套工具函数库,发布npm,支持commonjs模块es模块和script引入使用
前端·javascript·typescript·npm·node.js
Moment2 天前
表单验证太复杂?用 Zod 让它变得简单又安全
前端·javascript·typescript
实习生小黄2 天前
TypeScript 之 参数属性
前端·typescript
程序员张32 天前
Vue3+TypeScript集成Mock
typescript
oscar9994 天前
JavaScript与TypeScript
开发语言·javascript·typescript