如何定义一个范型类型返回原类型中实现特定类型的所有属性名?

Question

type KeyOfByType<T extends object, P> = ???type T1 = {     a: string     b: number     c: string     d: object }type T2 = KeyOfByType<T1, string>// type T2 = "a" | "c"如何定义以上的KeyOfByType?

Answer 1

type NoneStringKeys<T, K> = {
  [P in keyof T]: T[P] extends K ? never :P;
}[keyof T]type KeyOfByType<T, K> = Pick<T, Exclude<keyof T, NoneStringKeys<T, K>>interface T1 {
    a: string
    b: number
    c: string
    d: object
}type T2 = KeyOfByType<T1, string>