关于泛型理解的一点疑惑

smallFish
  • 204
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的類型怎麼理解

回复
阅读 985
3 个回答

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

首先,获取参数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

你知道吗?

宣传栏