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

相关推荐
OEC小胖胖5 小时前
告别 undefined is not a function:TypeScript 前端开发优势与实践指南
前端·javascript·typescript·web
三水气象台6 小时前
用户中心Vue3网页开发(1.0版)
javascript·css·vue.js·typescript·前端框架·html·anti-design-vue
難釋懷11 小时前
TypeScript-webpack
javascript·webpack·typescript
摸鱼仙人~2 天前
如何创建基于 TypeScript 的 React 项目
javascript·react.js·typescript
一生躺平的仔3 天前
TypeScript入门(九)装饰器:TypeScript的"元编程超能力"
typescript
MiyueFE3 天前
让我害怕的 TypeScript 类型 — — 直到我学会了这 3 条规则
前端·typescript
前端拿破轮3 天前
😭😭😭看到这个快乐数10s,我就知道快乐不属于我了🤪
算法·leetcode·typescript
前端_ID林3 天前
每个开发人员都应该知道的 TypeScript 技巧
typescript
奋飛3 天前
TypeScript系列:第六篇 - 编写高质量的TS类型
javascript·typescript·ts·declare·.d.ts
BillKu13 天前
Vue3 + TypeScript + xlsx 导入excel文件追踪数据流转详细记录(从原文件到目标数据)
前端·javascript·typescript