知识运用：
- 涉及到模板字符类型。
- 涉及到infer关键字使用。
- 涉及到类型编程中递归使用。
题目分析：
题目地址：108-medium-trim
实现Trim<T>，它是一个字符串类型，并返回一个新字符串，其中两端的空白符都已被删除。
例如
type trimed = Trim<' Hello World '> // expected to be 'Hello World'
题目解答：
测试用例：
- 通过我们设计的类型工具将输入的类型处理为预期的类型。
- 分别需要处理空白字符、换行符、制表符三种。
/* _____________ 测试用例 _____________ */ import type { Equal, Expect } from '@type-challenges/utils' type cases = [ Expect<Equal<Trim<'str'>, 'str'>>, Expect<Equal<Trim<' str'>, 'str'>>, Expect<Equal<Trim<' str'>, 'str'>>, Expect<Equal<Trim<'str '>, 'str'>>, Expect<Equal<Trim<' str '>, 'str'>>, Expect<Equal<Trim<' \n\t foo bar \t'>, 'foo bar'>>, Expect<Equal<Trim<''>, ''>>, Expect<Equal<Trim<' \n\t '>, ''>>, ]
答案及解析：
这道题的应用是前两道提的合集，分别递归处理前面的空白字符和递归处理后面的空白字符类型。
- 老套路，使用泛型来约束输入类型为String类型。
- 使用TrimLeft类型工具来处理输入类型中左侧出现的空白字符、换行符、制表符。
- 使用TrimRight类型工具来处理输入类型中右侧出现的空白字符、换行符、制表符。
- 可以先处理右侧再处理左侧，不做限制。
/* _____________ 答案 _____________ */ type TrimLeft<S extends string> = S extends `${" " | "\n" | "\t"}${infer Rest}` ? TrimLeft<Rest> : S; type TrimRight<S extends string> = S extends `${infer Rest}${" " | "\n" | "\t"}` ? TrimRight<Rest> : S; type Trim<S extends string> = TrimLeft<TrimRight<S>>;
