导读

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

分析

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

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类型：

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]

所有的代码如下自取：

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传入的属性是多个的话（假设以元组的形式传入），那么就不适合了，为此，利用类型推断可以递归的特性，可以得到:

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