jzllove9

由题意可知我们的目标是将一个字符串进行拆解，然后形成不限制数量的各种 `自由组合`。 很明显我们需要一个能够将字符串中的每个字符单独拆分，并最终将所有的拆分结果形成一个联合类型的工具函数： ```ts type StringToUnion = S extends `${infer F}${infer R}` ? F | StringToUnion : '' ``` 利用 `infer F` 来获取字符串的首个字符，然后递归字符串的剩余部分 `infer R`，最终通过 `｜` 将后续递归的结果形成联合类型。 看看效果： ```ts type...

```ts type Contact = A['length'] extends 0 ? T : `${T}${S}${A[number]}` type BEM = Contact ```

```ts type IntersectionObj = { [P in keyof T]: T[P] } type PartialByKeys = IntersectionObj ```