BFE.devAI解答 - TypeScript 类型谜题
19. implement FirstItem<T>

可以使用infer关键字来获取tuple type中的第一个类型。具体实现如下：

type FirstItem<T extends any[]> = T extends [infer F, ...any[]] ? F : never;

首先，定义一个泛型类型T extends any[]，它必须是一个tuple类型。

然后使用条件类型，判断T是否extends [infer F, ...any[]]，即判断T的第一个元素类型是否可以被推断出来并赋值给变量F。如果可以，返回F；否则返回never。

这样，通过传入不同的tuple类型，就可以得到它们的第一个类型。