推断其余元组类型中的泛型参数

Question

阅读rest elements in tuple types 并试图弄清楚如何提取类型的泛型部分：

type Attribute<Type> = { id: string, type?: Type };

type Position = { x: number, y: number };
let Position: Attribute<Position> = { id: "position" };

type Status = "active" | "inactive";
let Status: Attribute<Status> = { id: "status" };

我确信有一种方法可以编写条件类型，它将各种Attribute<T> 的元组映射到各种T 的元组。

type AttributeTypes<Attributes extends Attribute<any>[]> =
   Attributes extends Attribute<infer T> ? T[] : never;

type Result = AttributeTypes<[typeof Position, typeof Status]> // should be `[Position, Status]`

但我不太了解推理步骤，它总是以never 分支结束。

最后一步是编写一个函数，使用推断类型作为返回的一部分 (Playground)：

function getAll<Attributes extends Attribute<any>[]>(
  ...attributes: Attributes
): AttributeTypes<Attributes> {
  return attributes.map(attribute => attribute.type);
}

let [position, status]: [Position, Status] = getAll(Position, Status);

Answer 1

条件类型没有理由在元组上工作，您的条件类型基本上解决了[typeof Position, typeof Status] extends Attribute<infer T> 的问题，它显然没有解决，所以您最终得到了 never。

您可以将联合传递给类型 (AttributeTypes<typeof Position | typeof Status>)，然后您将得到 Position[] | Status[]，这并不是您真正想要的 (Play)

您也可以在条件类型中使用数组 (Attributes extends Array<Attribute<infer T>> ? T[] : never)，但这不会保留输入中的元组结构 (Play)

获得所需输出的最佳方法是使用映射类型。映射类型保留元组，同时允许您将元组的每个元素类型映射到结果元组中的新元素类型：

type Attribute<Type> = { id: string, type?: Type };

type Position = { x: number, y: number };
let Position: Attribute<Position> = { id: "position" };

type Status = "active" | "inactive";
let Status: Attribute<Status> = { id: "status" };

type AttributeTypes<Attributes extends Attribute<any>[]> = {
  [P in keyof Attributes]: Attributes[P] extends Attribute<infer T> ? T : never;
}

type Result = AttributeTypes<[typeof Position, typeof Status]> // is [Position, Status]

Play