如何从打字稿中的动态键数组推断类型化数组？

Question

我希望键入一个通用对象，并让该对象的属性返回一个类型化数组。从对象获取单一类型属性的能力已记录并有效，但是我无法让它与数组一起使用。似乎是“联合类型”。

// from the documentation 
// @ http://www.typescriptlang.org/docs/handbook/advanced-types.html
function getProperty<T, K extends keyof T>(o: T, name: K): T[K] {
    return o[name];
}

const a = getProperty(person, 'age');
// a: number
const n = getProperty(person, 'name');
// n: string

const getProperties = <T>(obj: T, keys: Array<keyof T>) => keys.map((arg) => getProperty(obj, arg));

const [a2, n2] = getProperties(person, ['name', 'age']);
// result:
// a2: string | number
// n2: string | number

// what i want:
// a2: string
// n2: number

Answer 1

问题是keys 可以是T 的任何键，所以当你在getProperties 中调用getProperty 时，结果将是T[keyof T]，表示T 的任何值。对于getProperty(person, 'age')，它可以工作，因为name 将被推断为字符串文字类型'age'，因此结果将是T['age']，即number。

为了完成你想要的，我们需要为每个要传递的键单独的通用参数。我们不能支持任意数量的键，但是使用重载，我们可以支持一定数量的键，这对于大多数情况来说已经足够了（我为最多 3 个键添加了重载，您可以轻松添加更多）：

const person = {
    age: 1,
    name: ""
}
function getProperty<T, K extends keyof T>(o: T, name: K): T[K] {
    return o[name];
}


function getProperties<T, K extends keyof T, K2 extends keyof T, K3 extends keyof T>(obj: T, keys: [K, K2, K3]): [T[K], T[K2], T[K3]]
function getProperties<T, K extends keyof T, K2 extends keyof T>(obj: T, keys: [K, K2]): [T[K], T[K2]]
function getProperties<T, K extends keyof T>(obj: T, keys: [K]): [T[K]]
function getProperties<T>(obj: T, keys: Array<keyof T>) {
    return keys.map((arg) => getProperty(obj, arg));
} 

const [a2, n2] = getProperties(person, ['name', 'age']); // a2: string, n2: number