Вы можете использовать сопоставленный массив / кортежи для извлечения типа возвращаемого значения из каждого элемента в массиве:
const mythings = [
(param: string) => ({foo: param, bar: 2}),
(param: string) => ({baz: param, qux: 4}),
]
type AllReturnTypes<T extends Array<(...a: any[])=> any>> = {
[P in keyof T]: T[P] extends (...a: any[])=> infer R?R:never
}
const createThings = <T extends Array<(...a: any[])=> any>>(things: T): AllReturnTypes<T> =>
things.map(thing => thing("param") )as any; // assertion necessary unfortunately
createThings(mythings) // ({ foo: string; bar: number; } | { baz: string; qux: number; })[]
Вы также можете сделать myThings
типом кортежа, чтобы получить больше точных типов для каждого индексав результате:
function tuple<T extends any[]>(...a: T) {
return a;
}
const mythings = tuple(
(param: string) => ({ foo: param, bar: 2 }),
(param: string) => ({ baz: param, qux: 4 }),
)
let r = createThings(mythings) // [{ foo: string; bar: number; }, { baz: string; qux: number; }
Или в машинописи 3.4 вы можете использовать as const
:
const mythings = [
(param: string) => ({ foo: param, bar: 2 }),
(param: string) => ({ baz: param, qux: 4 }),
] as const