BFE.devAI解答 - TypeScript 类型谜题
43. 请实现Trim<T>

type Trim<T extends string> = T extends ` ${infer R}` | `\n${infer R}` | `\t${infer R}` | `\r${infer R}` | `${infer R} ` | `${infer R}\n` | `${infer R}\t` | `${infer R}\r` ? Trim<R> : T;

这个代码中，我们使用递归为字符串中的所有开始和结尾的空格字符删除它们。

首先，我们定义接受一个泛型T作为输入的类型，并且我们需要确保这个输入T是一个字符串类型。

type Trim<T extends string> =

接下来，我们使用条件类型检查字符串T是否以空格、换行符、制表符或回车符开始，并忽略它们。同样，我们也检查字符串T是否以空格、换行符、制表符或回车符结束，并忽略它们。

T extends ` ${infer R}` // trim left
| `\n${infer R}` 
| `\t${infer R}` 
| `\r${infer R}` 
| `${infer R} ` // trim right
| `${infer R}\n`
| `${infer R}\t`
| `${infer R}\r` 

如果我们发现了这些空字符，则使用递归来删除它们，否则我们将直接返回原始的字符串T。在递归中，我们将从T的左侧或右侧开始调用Trim函数，并继续执行，直到清除所有空字符。

? Trim<R>
: T;

最终，Trim类型将输出一个字符串，其中所有开始和结尾的空格字符已被删除。