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和任意类型联合得到这一任意类型本身的特性,"过滤"得出我们需要的结果。

相关推荐
武清伯MVP11 小时前
阮一峰《TypeScript 教程》学习笔记——基本用法
笔记·学习·typescript
ttod_qzstudio2 天前
解决 Vue 3 + TypeScript 中 v-for 循环类型推断问题
前端·vue.js·typescript
今天头发还在吗2 天前
【React】动态SVG连接线实现:图片与按钮的可视化映射
前端·javascript·react.js·typescript·前端框架
冷冷的菜哥2 天前
react多文件分片上传——支持拖拽与进度展示
前端·react.js·typescript·多文件上传·分片上传
Kisang.2 天前
【HarmonyOS】窗口管理实战指南
前端·华为·typescript·harmonyos·鸿蒙
Dajiaonew3 天前
Vue3 + TypeScript 一篇文章 后端变全栈
前端·javascript·typescript
敲敲敲敲暴你脑袋3 天前
用3Dmol.js展示3D分子结构
typescript·webgl·数据可视化
还是大剑师兰特3 天前
TypeScript 面试题及详细答案 100题 (11-20)-- 基础类型与类型操作
typescript·大剑师·typescript教程·typescript面试题
用户47949283569153 天前
TypeScript 和 JavaScript 的 'use strict' 有啥不同
前端·javascript·typescript
用户47949283569154 天前
还不知道'use strict'的作用?这篇文章给你讲清楚
前端·javascript·typescript