关于泛型理解的一点疑惑

Question

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

Answer 1

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

Answer 2

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

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

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

Answer 3

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