关于泛型理解的一点疑惑

function pluck<T, K extends keyof T>(o: T, names: K[]): T[K][] {
  return names.map(n => o[n]);
}

interface Person {
    name: string;
    age: number;
}
let person: Person = {
    name: 'Jarid',
    age: 35
};
let strings: string[] = pluck(person, ['name']);

有一個疑問:
K extends keyof T => type K = 'name' | 'age'
但是調用函數時 根據類型推斷 K[] => string[] => string
換句話說 K的類型是string 但是泛型裡面是聯合類型 所以
問題:這個K的類型怎麼理解

阅读 404
评论
    3 个回答

    'name'[] => 为name字面量类型的数组

      • 652

      首先,获取参数o的类型T。因为传入的变量person的类型为Person,因此推导TPerson

      然后,推导K。因为K extends keyof Tkeyof T的类型为"name" | "age",而K继承了它,所以K的类型也为"name" | "age"
      所以name变量的类型也就出来了。

      最后是返回值。T[K]javascript类似,意思是类型T中键为K的值的类型。所以返回值类型就和传入的names一一对应了。当然,顺序并不保证。

        K是有限定的:K extends keyof T,说K是string是不准确的,K是一个联合类型,类型范围是keyof T

          撰写回答

          登录后参与交流、获取后续更新提醒

          相似问题
          推荐文章