返回可变长度通用数组元组的函数

Question

考虑以下几点：

function makeOutputArrayBasedOnInputArray<T>(arrayOfStuff: T[]) {
    return arrayOfStuff.map(item => ({ item }));
}

const x = makeOutputArrayBasedOnInputArray([1, 'two']);
const y = x[0] // { item: string | number; }
const z = x[1] // { item: string | number; }

我喜欢的是显示类型：

const y = x[0] // { item: number; }
const z = x[1] // { item: string; }

想象一下 doIt 函数返回一个完全通用且长度可变的元组类型；由函数的输入驱动。所以这也行得通：

const x = makeOutputArrayBasedOnInputArray([7, 'nine', Date]);
const a = x[0] // { item: number; }
const b = x[1] // { item: string; }
const c = x[2] // { item: Date; }

这可能吗？还是我达到了 infer 和元组的限制？

另请参阅： and

根据@A_blop的回答更新：

您好，感谢您的回答！虽然它确实回答了问题，但它依赖于调用者使用 as const。没有 as const，唉，它不起作用。

这可能是关键。一些上下文：问题背后的问题是我提出的一个 PR，以改进 react-query 的类型定义：https://github.com/tannerlinsley/react-query/pull/1527/files

目前的变化是这样的：

export function useQueries<
  TQueryFnData = unknown,
  TError = unknown,
  TData = TQueryFnData
>(
  queries: UseQueryOptions<TQueryFnData, TError, TData>[]
): UseQueryResult<TData, TError>[] {
// ...
}

这很好，但存在非特定类型推断问题。理想情况下，我们希望这种行为：

const result = useQueries([
    { queryKey: key1, queryFn: () => 1 },
    { queryKey: key2, queryFn: () => 'two' },
])
// result[0].data => number | undefined
// result[1].data => string | undefined

但不需要调用者指定 as const - 这可能是不可能的？

Answer 1

您可以添加由映射元组类型组成的显式函数 return 类型：

function fn<T extends readonly any[]>(arr: T): {[K in keyof T]: {item: T[K]} } {
    return arr.map(item => ({ item })) as any;
}

const x = fn([1, 'two'] as const);
// x: readonly [{ item: 1; }, { item: "two"; }]
const y = x[0] // y: { item: 1; }
const z = x[1] // z: { item: "two"; }

更新：要从被调用方缩小类型，您可以使用可变元组类型（TS 4.0）：

function fn<T extends readonly any[]>(arr: [...T]): // <-- note [...T]
  {[K in keyof T]: {item: T[K]} } {...}

Playground code

返回可变长度通用数组元组的函数

Function returning a variable length generic array tuple

tuples

inferred-type

typescript

根据@A_blop的回答更新：