Typescript 中的通用数组类型

Question

我有通用类型的 function。

但它返回错误Type 'boolean' is not assignable to type 'string'.

function testing<K, V>(array: Array<{ key: K, value: V }>): Array<V> {
    return array.map(data => data.value)
}

testing([{ key: 1, value: "one" }, { key: 2, value: true }])

如何通过保持类型通用来解决此通用类型问题。 因为数组是未知的，值可能有不同的自定义类型。

Answer 1

TS 显然不够聪明，无法推断 V 是联合类型，因此对于像这样棘手的 arguments 你必须明确声明它。

function testing<K, V>(array: Array<{ key: K, value: V }>): Array<V> {
    return array.map(data => data.value)
}

testing<number, string | boolean>(
    [{ key: 1, value: "one" }, { key: 2, value: true }]
); // works, TS is told explicitly what V is

testing(
    [{ key: 1, value: "one" }, { key: 2, value: "two" }]
); // works, TS correctly infers string

Answer 2

以下将提取每个值的type并返回联合：

type ArrayValueTypes<MyValueArray extends { value: unknown }[]> = {
    [K in keyof MyValueArray]: MyValueArray[K]['value']
}

const myArray = [{ key: 1, value: "one" }, { key: 2, value: true }]

function testing<T extends { value: any }[]>(array: T): ArrayValueTypes<T> {
    return array.map(data => data.value)
}

const result = testing(myArray)
// result is of type (string | boolean)[]

Typescript 操场例子！

Answer 3

你真的不知道value的类型。 您应该使用unknown来强制用户对其进行类型检查。

我也不明白为什么你需要key和K因为它们被忽略了。

function testing(array: Array<{value: unknown }>): Array<unknown> {
    return array.map(data => data.value);
}

testing([{ key: 1, value: "one" }, { key: 2, value: true }])

Answer 4

这应该工作：

function testing<K, V>(array: Array<{ key: K, value: V }>): Array<V> {
    return array.map(data => data.value)
}

testing<number, string | boolean>([{ key: 1, value: "one" }, { key: 2, value: true }])