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

相关推荐
oil欧哟1 小时前
😎 MCP 从开发到发布全流程介绍,看完不踩坑!
人工智能·typescript·node.js
无责任此方_修行中12 小时前
关于 Node.js 原生支持 TypeScript 的总结
后端·typescript·node.js
bigyoung21 小时前
ts在运行时校验数据类型的探索
前端·javascript·typescript
尽-欢21 小时前
以太坊DApp开发脚手架:Scaffold-ETH 2 详细介绍与搭建教程
react.js·typescript·web3·区块链
季禮祥1 天前
都2025了,你确定你完全掌握Typescript了吗
前端·typescript
_十六2 天前
TS 的 unknown 与 any:安全与灵活的平衡点
前端·typescript
阿白的白日梦2 天前
JSX 元素隐式具有类型 "any",因为不存在接口 "JSX.IntrinsicElements"。ts 无法使用 JSX,除非提供了 "--js
前端·javascript·typescript
linweidong2 天前
前端Three.js面试题及参考答案
前端·javascript·vue.js·typescript·前端框架·three.js·前端面经
EricXJ3 天前
为什么选择 tsup?
前端·webpack·typescript
EricXJ3 天前
useMutation Hook 使用指南
前端·react.js·typescript