TypeScript泛型数组类型问题：如何修复值类型不兼容报错？

你的报错原因是原函数的泛型K和V被推断为整个数组的统一类型：TypeScript会根据第一个元素的value: "one"推断V = string，但第二个元素的value: true是boolean类型，无法赋值给string类型的V，因此抛出类型不兼容错误。

以下两种方案都能保留泛型的自动推断能力，同时支持数组元素值的多类型场景：

方案1：返回联合类型的数组 #

通过泛型T捕获数组中每个元素的具体类型，再通过T['value']提取所有元素的value类型，最终返回这些类型的联合数组：

function testing<T extends { key: unknown, value: unknown }>(array: T[]): T['value'][] {
    return array.map(data => data.value);
}

// 调用后自动推断返回类型为 (string | boolean)[]
testing([{ key: 1, value: "one" }, { key: 2, value: true }]);

方案2：返回严格对应元素顺序的元组类型 #

如果需要返回类型严格匹配原数组每个元素的value类型（比如[string, boolean]而非联合类型），可以用映射类型实现：

function testing<Items extends Array<{ key: unknown, value: unknown }>>(array: Items): { [I in keyof Items]: Items[I]['value'] } {
    return array.map(data => data.value) as ReturnType<typeof testing<Items>>;
}

// 调用后自动推断返回类型为 [string, boolean]
testing([{ key: 1, value: "one" }, { key: 2, value: true }]);

两种方案都不需要硬编码具体类型，完全依赖TypeScript的泛型推断能力适配输入数组的结构：

• 方案1适合只关心所有value的可能类型集合的场景；
• 方案2适合需要保留原数组元素类型顺序的场景，比如明确知道数组元素的数量和对应类型时。

内容的提问来源于stack exchange，提问作者Peter