首先，让我们看看如何检查数组是否是元组（文字类型）。
不同之处在于数组类型的长度。在元组的情况下，它是一个有限的数字。我们先来看看：

type Case1 = 1 extends number ? true : false
//   ^? true

type Case2 = number extends 1 ? true : false
//   ^? false

1扩展了number，因为它是number的子类型，但不是相反。
使用数组/元组的示例：

type Case1 = [1, 2, 3]["length"];
//   ^? 3

type Case2 = (readonly [1, 2, 3])["length"];
//   ^? 3

type Case3 = number[]["length"];
//   ^? number

type Case4 = (readonly number[])["length"];
//   ^? number

因此，我们可以得出结论，如果数组的length是一个有限数，那么它是一个元组，否则它是一个数组，我们无法确定它的确切长度。让我们为此编写一个实用程序类型：

type IsTuple<T extends readonly unknown[]> = number extends T['length'] ? false : true

注意，我们使用readonly修饰符来接受readonly数组/元组，因为readonly版本的数组/元组是该数组的超类型：

type Case1 = readonly number[] extends number[] ? true : false;
//   ^? false

type Case2 = number[] extends readonly number[] ? true : false;
//   ^? true

在search,中，我们必须修改泛型参数T，使其受readonly SearchType[]而不是SearchType的约束。此外，我们需要将T转换为const类型参数，以防止编译器将数组类型扩展为原始数组。请注意，const type parameters是在Typescript >= 5.0中添加的，如果您有较低版本，则需要在将数组传入函数时使用constAssert。我们需要这些更改才能使用IsTuple，添加readonly的原因在前面已经提到过：

declare const search: <const T extends readonly SearchType[]>(types: T) => ToBeDefined

我们将在indexed access中得到T的元素：

T[number]

为了避免代码重复，我们将使用inert关键字将pick的结果存储在推断参数R中：

Pick<SearchResults, ResourceTypeToResultKey[T[number]]> extends infer R 
 ? DoSomething
 : never // in theory, never will be reached

接下来，我们将看看T是否是一个元组，如果是，我们将使R为非可选的，否则返回原样：

Pick<SearchResults, ResourceTypeToResultKey[T[number]]> extends infer R
  ? IsTuple<T> extends false
    ? R
    : Required<R>
  : never;

我们准备好了：

declare const search: <const T extends readonly SearchType[]>(
  types: T
) => Pick<SearchResults, ResourceTypeToResultKey[T[number]]> extends infer R
  ? IsTuple<T> extends false
    ? R
    : Required<R>
  : never;

测试：

declare const types: SearchType[];
const result = search(types);
result.tracks; // (property) tracks?: unknown

const result2 = search([ResourceType.Track]);

result2.tracks; // (property) tracks: unknown

链接到Playground