BFE.devAI解答 - TypeScript 类型谜题
16. implement FirstChar<T>

解答：

可以利用TypeScript中的字符串模板和索引类型来实现此问题。具体思路如下：

1. 首先，设计一个指定字符串类型输入的泛型类型FirstChar<T>。
2. 然后，在FirstChar<T>中对于空字符串类型''，它没有任何字符，返回类型为never。
3. 接着，在FirstChar<T>中使用索引类型，将字符串类型T的第一个字符提取出来，并返回。

type FirstChar<T extends string> = T extends '' ? never : T extends `${infer Char}${infer Rest}` ? Char : never;

type A = FirstChar<'BFE'> // 'B'
type B = FirstChar<'dev'> // 'd'
type C = FirstChar<''> // never

解释以上代码的实现。在FirstChar<T>中，

• 将输入字符串类型T传给infer关键字。
• 利用模板字符串提取首字符Char和剩下子串Rest。
• 最后返回Char类型。

在实际使用中，如果字符串类型为空，返回类型为never。对于非空字符串类型，则用infer关键字进行类型推断并提取首字符返回。

运行以上代码，可以得到TypeScript的预期输出：

type A = FirstChar<'BFE'> // 'B'
type B = FirstChar<'dev'> // 'd'
type C = FirstChar<''> // never