下面所有题目来源于阿宝哥的 awesome-typescript 开源项目，可以点个star😁。

根据以下题目解题中你可以学习了解到并应用的知识点有：

泛型应用

联合类型、交叉类型使用

函数重载

元组

extends分布式条件类型、约束

in关键字

as断言

keyof关键字

infer关键字

-?操作符

-readonly 删除只读符号

循环遍历中属性值类型为never会被省略

[number]获取所有数组类型索引值

与any交叉类型时的情况

什么是Flasy类型

协变逆变

TypeScript 内置工具类型的使用

Omit

Pick

Required

Extract

Exclude

Parameters

ReturnType

下面工具类型实现以及该题实现的逻辑分析觉得错误，或书写有误，希望大佬帮忙指正😀，有更好的实现方式和不明白的地方欢迎评论区留言。

以下代码为什么会提示错误，应该如何解决下述问题。

上面代码出现错误原因：泛型 T 只是约束于User类型，并不是局限于 User类型，所以返回结果 应该还需要接收其他类型变量。

解决办法：

第一种，T 类型兼容 User 类型

第二种，返回值类型修改为 User类型

1、ReturnMake工具类型，接收 T，U 两个泛型， T 约束于 User，

2、遍历 User 中的 key ，并使用 as 断言，如果K（也就是 User 类型的 key），约束于 泛型类型的 key 就返回 K，否侧返回 never，U[K] 取键值。

本道题我们希望参数 a 和 b 的类型都是一致的，即 a 和 b 同时为 number 或 string 类型。当它们的类型不一致的值，TS 类型检查器能自动提示对应的错误信息。

解决办法：函数重载

使用函数重载当调用函数时，会依次匹配定义f函数类型，内部，使用 typeof 判断 a 和 b 的类型对应逻辑。

如何定义一个 SetOptional 工具类型，支持把给定的keys对应的属性变成可选的？对应的使用示例如下所示：

SetOptional工具类型实现：

SetOptional工具类型：接收两个泛型 ，T为目标类型，K 为指定的 keys，K 需要 约束于T 类型的 keys，Omit & Partial：

第二种SetOptionalOmit的意思 和第一种差不多理解为上面的步骤是：2 -> 1 -> 3 -> 4 -> 5。

在实现SetOptional工具类型之后，感兴趣还可以实现一个 SetRequired工具类型，把给指定的 keys 对应属性变成必填。

实现SetRequired工具方法：

Required工具类型，就是把所有接口类型属性变成必选。

Pick的作用是将某个类型中的子属性挑出来，变成包含这个类型部分属性的子类型。

那么如何定义一个 ConditionalPick工具类型，支持根据指定的 Condition 条件来生成新的类型，对应的使用示例如下：

实现ConditionalPick工具类型方法：

1、in keyof遍历 V 泛型；

2、通过类型断言判断 V[K] 对应键值是否约束于传入的 string如果是 true 那么断言成返回遍历的当前 K，否则为 never。

返回 never 在 TypeScript 编译器中，会默认认为这是个用不存在的类型，也相当于没有这个 K 会被过滤，对应值则是 V[K] 获取。

像TypeScript 内部工具实现工具方法 Extract、Exclude 也是通过返回never来排除。

定义一个工具类型 AppendArgument，为已有的函数类型增加指定类型的参数，新增的参数名是x，将作为新函数类型的第一个参数。具体的使用示例如下所示：

AppendArgument工具类型中

1、泛型 F 为需要增加参数x 的函数类型，F 约束于函数类型，泛型T为x参数指定的类型，返回一个新函数类型，

2、x参数类型为 T，...args剩余参数类型使用Parameters工具类型拿到F泛型的数组类型参数类型，ReturnType工具类型拿到F函数类型的返回类型。

infer推导拿到参数类型P返回值类型为Return，再从新返回一个新函数x参数为T，...args参数类型为前面推导保留的P，返回值即Return。

定义一个NativeFlat工具类型，支持把数组类型拍平（扁平化）。具体的使用示例如下所示：

使用递归写法：

: P : never; type NaiveResult = NaiveFlat; // type NaiveResult = "a" | "b" | "c" | "d"

上面NaiveFlat实现方式

1、首先需要在约束条件中使用infer关键字推导出 T 传入的数组类型，并用 P 保存数组类型。

2、三元嵌套判断P类型是否约束于类型any[]如果还是是数组继续递归遍历调用NaiveFlat

并传入P，放 P类型不满足 any[]，返回最后的扁平完成P类型所以得到最终联合类型"a" | "b" | "c" | "d" 。

个人步骤流程理解：

以传入[['a'], [['b', 'c']], ['d']]值为例

1、第一次得到的P被推断出的类型为 ["a"] | [["b", "c"]] | ["d"]，满足约束;

2、走到P是否约束any[]，此时还满足还存在数组情况， 因此继续递归传入 P；

3、第二次infer P推导出P的类型为 "a" | ["b", "c"] | "d"，再次约束，此时在extends条件语句中，联合类型为裸类型时，会被分发，先走'a'逻辑，不满足与any[]返回'a'；

4、走完'a'就走到['b', 'c']，即满足any[]继续递归，返回得到 =>'a' | 'b' | 'c'；

5、最后走'd',最终得到 => 'a' | 'b' | 'c' | 'd'。

另外如果是固定二维数组的话，可以试试这样：

T[number][number]可以理解为 => T[][]一个二维数组的类型表达式，类型[number]在 TypeScript 中，可以代表取数组的中值作为 key, number是数组下标。因此T[number]对应着["a"] | ["b", "c"] | ["d"]，T[number][number]则为 "a" | "b" | "c" | "d"。

使用类型别名定义一个EmptyObject类型，使得该类型只允许空对象赋值：

EmptyObject工具类型实现:

EmptyObject类型中[K in keyof any] 等同于[K in string | number | symbol]，将所有对象属性对应类型设置为never。

注意的是对象的索引类型是string | number | symbol。

在通过 EmptyObject类型的测试用例检测后， 我们来更改以下 takeSomeTypeOnly函数的类型定义 让它的参数只允许严格SomeType类型的值。具体的使用示例如下所示：

具体实现：

遍历SomeType类型，只留下SomeType类型与传入的参数类型T中共有的属性，共有的属性类型拿的是SomeType对应的属性类型。不共有的设置为never排除，也就是将prop之外的其他属性气去除。

定义NonEmptyArray工具类型，用于确保数据非空数组。

NonEmptyArray工具类型实现：

[T, ...T[]]确保第一项一定是T，[...T[]]，为剩余数组类型。

定义一个JoinStrArray工具类型，用于根据指定的Separator分隔符，对字符串数组类型进行拼接。具体的使用示例如下所示：

JoinStrArray工具类型实现：

JoinStrArray工具方法，Arr泛型必须约束于string[]类型，Separator为分隔符，也必须约束于string类型；

1、首先Arr约束于后面[infer A, ...infer B]并通过infer关键字推导拿到第一个索引A的类型，以及剩余（rest）数组的类型为B；

2、如果满足约束，则连接字符，连接字符使用模板变量，先判断A（也就是第一个索引）是否约束于string类型，满足就取第一个A否则直接返回空字符串；

3、后面连接的B（...rest）判断是否满足于[string, ...string[]]，意思就是是不是还有多个索引。如果有，用分割符号，加上递归再调用JoinStrArray工具类型方法，Arr泛型就再为 B ，分隔符泛型Separator不变。减治思想，拿出数组的每一项，直至数组为空。

最开始的话，如果Arr不满足约束，那么直接返回为空字符串。

实现一个Trim工具类型，用于对字符串字面量类型进行去空格处理。具体的使用示例如下所示：

Trim工具类型实现：

利用ts模板字符串，配合infer去除空格。

需要定义两个工具类型方法，Trim分解成TrimLeft 和 TrimRight，一个是去除左边空格的，另一个去除右边。

去除空格主要通过extends配合infer在模板字符串中使用，并且，如果去除左边空格，需要在左边添加一个空格（ ${infer R}**），**之后就是映射类型可以递归。

实现一个IsEqual工具类型，用于比较两个类型是否相等。具体的使用示例如下所示：

IsEqual工具类型实现：

这里需要考虑never类型和联合类型，所以用到元组进行处理比较。

IsEqual工具类型，如果[A]约束于[B]且[B]也满足约束于[A]说明他们相等，否则不相等。

实现一个Head工具类型，用于获取数组类型的第一个类型。具体的使用示例如下所示：

Head工具类型实现：

通过infer关键字推导取出数组第一项的类型，H保存该类型，如果泛型T满足约束，返回推导的第一项类型H，否则never，...T[]取出剩余数组。

实现一个Tail工具类型，用于获取数组类型除了第一个类型外，剩余的类型。具体的使用示例如下所示：

Tail工具类型实现：

实现方式与第十二题类似。

实现一个Unshift工具类型，用于把指定类型E作为第一个元素添加到 T 数组类型中。具体的使用示例如下所示：

Unshift实现方法：

新建一个数组，第一项类型为E，剩余使用...T连接。

实现一个Shift工具类型，用于移除T数组类型中的第一个类型。具体的使用示例如下所示：

Shift工具类型实现：

...infer B去除第一项之后的集合，使用变量B保存该类型。如果满足约束，返回剩余参数类型，也就是B。

实现一个Push工具类型，用于把指定类型E作为第最后一个元素添加到T数组类型中。具体的使用示例如下所示：

Push实现：

Push工具类型的实现与第十四题Unshift实现类似。

实现一个Includes工具类型，用于判断指定的类型E是否包含在T数组类型中。具体的使用示例如下所示：

Includes工具类型实现：

这里T[number]可以理解返回T数组元素的类型，比如传入的泛型T为[2, 2, 3, 1]，那么T[number]被解析为：2 | 2 | 3 | 1。

实现一个UnionToIntersection工具类型，用于把联合类型转换为交叉类型。具体的使用示例如下所示：

UnionToIntersection工具类型实现：

1、extends unknown始终为true，默认进入到分发情况

2、会声明一个以Union为入参类型的函数类型A，即(distributedUnion: Union) => void，该函数约束于以mergedIntersection类型为入参的函数类型B，即(mergedIntersection: infer Intersection) => void。

3、如果函数A能继承函数B则 返回infer Intersection声明的Intersection，否则返回never，再利用函数参数类型逆变，从而实现得到的结果从联合类型到交叉类型的转变。

这里是也设计到一个知识点：**分布式条件类型，**条件类型的特性：分布式条件类型。在结合联合类型使用时（只针对extends左边的联合类型），分布式条件类型会被自动分发成联合类型。例如，T extends U ? X : Y，T的类型为A | B | C，会被解析为(A extends U ? X : Y) | (B extends U ? X : Y) | (C extends U ? X : Y)。

都知道infer声明都是只能出现在extends子语句中。但是，在协变的位置上，同一类型变量的多个候选类型会被推断为联合类型：

在逆变的位置上，同一个类型多个候选类型会被推断为交叉类型：

相关链接：

有条件类型中的类型推断

关于协变和逆变

实现一个OptionalKeys工具类型，用来获取对象类型中声明的可选属性。具体的使用示例如下所示：

OptionalKeys工具类型实现：

例如Peson类型：

1、首先会遍历所有Person属性，-?字符的作用是，再完成边extends判断后将T中所有的属性都变成必须属性，为防止属性值类型undefined；

2、右边，判断undefined是否约束于当前键值，如果满足约束当前属性的类型为键名。

在 TypeScript 中，如果添加了可选属性，会被隐式添加一个 undefined类型，比如from?其实是string | undefined

3、{ ... }[keyof T]取键值，因为id,age,name的属性类型都为never，取值的时候会被忽略掉，因为never是一个用不存在的类型，因此就只剩下from、speak属性的值了就是 "from" | "speak"组成联合类型返回。

实现一个Curry工具类型，用来实现函数类型的柯里化处理。具体的使用示例如下所示：

Curry工具类型实现：

F为需要柯里化的函数类型；

P通过Paramters获取F参数集合；

R通过ReturnType获取F函数类型返回值；

逻辑分析：

1、需要先拿到args数组的第一项和剩余参数集合，[infer A, ...infer B]；

2、使用 extends 判断P是否满足于[infer A, ...infer B]，不满足直接返回() => R,说明没有参数；

3、如果有一个或者多个参数，这里则继续递归；

4、首先...infer B需要判断是否约束与[]来做终止条件；

5、满足约束直接返回(args: A) => R；

6、否则递归，创建一个函数，并且参数类型为A，返回值则为Curry R>，新函数入参B，为剩余参数类型集合，它的返回值确保最后一个返回因此保留为R即(arg: A) => Curry R>。

实现一个Merge工具类型，用于把两个类型合并成一个新的类型。第二种类型（SecondType）的Keys将会覆盖第一种类型（FirstType）的Keys。具体的使用示例如下所示：

Merge工具类型实现：

注意的是：合并属性，后一个类型会覆盖前一个类型。

逻辑分析：

1、将FirstType和SecondType做交叉类型，并遍历他们的每一个属性；

2、如果当前的属性名在SecondType类型中，则使用SecondType类型中的当前属性值；

3、如果当前属性名在FirstType类型中，则使用First类型中的当前属性值；

4、否则为never。

其他解法：

结合Omit内置工具类型

1、先将FirstType类型中已有的和SecondType类型中相同属性删除

2、将前面结果和SecondType做交叉类型，得到合并后的结果。

实现一个RequireAtLeastOne工具类型，它将创建至少含有一个给定Keys的类型，其余的Keys保持原样。具体的使用示例如下所示：

RequireAtLeastOne工具类型实现：

1、给定的Keys类型需要约束于ObjectType；

2、如果给定的KeysType中的Keys在ObjectType类型里，创建一个新的类型，遍历KeysType作为Key，并且-?字符，将可选变为必选，值类型为ObjectType[K]，然后将ObjectType和这个创建的新的类型做交叉类型。联合类型在extends条件中会做分发，因此最后组成联合类型返回；

3、否则返回never。

实现一个RemoveIndexSignature工具类型，用于移除已有类型中的索引签名。具体的使用示例如下所示：

RemoveIndexSignature工具类型实现：

1、遍历T，利用as断言实现对K的判断过滤；

2、当前的key如果满足string | number直接返回never过滤当前属性；

3、否则拿当前K，当前K值类型为T[K]。

实现一个Mutable工具类型，用于移除对象类型上所有属性或部分属性的readonly修饰符。具体的使用示例如下所示：

Mutale工具类型实现：

1、遍历Keys，-readonly删除只读符号；

2、Omit返回删除在T中的Keys属性的新类型，最后与前面的结果组成交叉类型。

实现一个IsUnion工具类型，判断指定的类型是否为联合类型。具体的使用示例如下所示：

IsUnion工具类型实现方法：

1、第一步T extends any确保始终为真，联合类型做分发；

2、联合类型T写成[T]就变成了普通类型，extends的时候不会分发执行，利用其分发的特性，后面的[T]就是一个联合类型拆开后的某一个，

3、因此如果是联合类型的话[U] extends [T]一定为否。

比如传入string | nuber类型会

实现一个IsNever工具类型，判断指定的类型是否为never类型。具体的使用示例如下所示：

IsNever工具类型实现：

1、[T]和[never]为元组，作为包装类型，联合类型不会被分发；

2、never类型不能扩展never类型，但是never[]可以扩展never[]。

实现一个Reverse工具类型，用于对元组类型中元素的位置颠倒，并返回该数组。元组的第一个元素会变成最后一个，最后一个元素变成第一个。

Reverse工具类型实现：

采用递归方式，每次递归都把第一项First放在最后，并把递归结果展开。

实现一个Split工具类型，根据给定的分隔符（Delimiter）对包含分隔符的字符串进行切割。可用于定义 String.prototype.split方法的返回值类型。具体的使用示例如下所示：

Split工具类型实现：

1、${infer Head}${Delimiter}${infer Tail}映射类型在模板变量中使用，将一个字符串做拆解;

2、第一步会变成${infer "semlinker"}${,}${infer "lolo,kakuqo"}，减治思想，再递归依次取第二位，直至递归到Delimiter符号的最后一项，S extends Delimiter处理Delimiter为空格的情况。

实现一个ToPath工具类型，用于把属性访问（.或 []）路径转换为元组的形式。具体的使用示例如下所示：

ToPath工具类型实现：

1、IndexSignature工具类型处理以.为拆分，并递归将每一项的子项放入到元组中；

2、IndexSignature处理比如完foo[0][1]会得到=>``["foo", "0", "", "1"]；

3、NonSpace处理IndexSignature工具类型返回值数组中的空字符串；

4、ToPath以分隔符.拆分字符串，多项则拼接并递归，否则直接处理并返回。

完善Chainable类型的定义，使得 TS 能成功推断出result变量的类型。调用option方法之后会不断扩展当前对象的类型，使得调用get方法后能获取正确的类型。

Chainable类型实现：

config可以进行链式调用，可以联想到 js 中return this这种思路，所以这里opiton的返回值就应该是一个新的Chainable，把添加的属性类型当做下一个Chainable的T。

1、Chainable类型定义中的option返回值类型为新的Chainable，将添加的属性当做下一个Chainable的T；

2、get类型直接就返回Chainable中的T。

实现一个Repeat工具类型，用于根据类型变量C的值，重复T类型并以元组的形式返回新的类型。具体的使用示例如下所示：

Repeat工具类型实现：

1、A为接收根据C数量，重复T类型以元组形式返回的新类型；

2、判断A的数组长度是否满足C；

3、不满足则继续往里面添加需要重复的T类型；

4、否则返回添加完成的A类型结果。

实现一个RepeatString工具类型，用于根据类型变量C的值，重复T类型并以字符串的形式返回新的类型。具体的使用示例如下所示：

RepeatString工具类型实现：

与三十一题类似，多添加了一个返回最终的结果的S类型，A记录添加的数量。

实现一个ToNumber工具类型，用于实现把数值字符串类型转换为数值类型。具体的使用示例如下所示：

ToNumber工具类型实现：

在 TypeScript 中没有直接的数字运算，但是可以通过数组长度转字符串再匹配需要字符串转换的字符串。

1、S类型为累加记录，L获取S的数组类型长度；

2、判断${L}是否满足约束T，不满足则，继续添加''空字符串，作为长度累加。

实现一个SmallerThan工具类型，用于比较数值类型的大小。具体的使用示例如下所示：

SmallerThan工具类型实现：

这里利用构造数组的长度来判断，默认是一个空数组进行递增，哪个先匹配上说明哪个小。

例如给N, M传入 0, 0：

1、默认从空数组进行递增，第一遍A['length']数组的长度为0，0 extends 0为true，也就是，当M为0，说明要么M===N，要么就N > M，因此返回**false**。

再例如给N, M传入1, 2：

1、第一遍我们直接跳过，会走到递归，第二遍得到A['length'] = 1；

2、第二遍：1 extends 2不约束说明M >= N，走到否则1 extends 1满足约束说明M > N，最后得到结果为**true**。

实现一个Add工具类型，用于实现对数值类型对应的数值进行加法运算。具体的使用示例如下所示：

Add工具类型实现：

经过上面几道题洗礼，这到相加就很简单了，就是构建对应数值长度的数组。

GenArr工具类型通过数值构建对应长度数组。

实现一个Filter工具类型，用于根据类型变量F的值进行类型过滤。具体的使用示例如下所示：

Filter工具类型实现：

1、R为根据类型变量F的值进行类型过滤后的结果；

2、首先利用extends [infer A, ...infer B]来提取数组内的第一项，递归就能拿到全部；

3、之后判断类型的时候转换成元组类型[A] extends [F]能够避免联合类型在条件判断中分发执行的情况。

实现一个Flat工具类型，支持把数组类型拍平（扁平化）。具体的使用示例如下所示：

Flat工具类型实现：

1、[infer First, ...infer Rest]提取数组第一项

2、如果T为多项，第一项First判断是否还是数组，扁平多维数组情况，如果是，继续递归将Frist扁平，以及递归将Rest也扁平，否则First不是多为数组，递归Rest并扁平。

3、如果空数组，直接返回[]。

实现StartsWith工具类型，判断字符串字面量类型T是否以给定的字符串字面量类型U开头，并根据判断结果返回布尔值。具体的使用示例如下所示：

此外，继续实现EndsWith工具类型，判断字符串字面量类型T是否以给定的字符串字面量类型U结尾，并根据判断结果返回布尔值。具体的使用示例如下所示：

StartsWith工具类型实现：

${U}${infer Rest}将U放在开头，infer关键字，会自动推导匹配，如果推导的Rest变量类型满足约束则返回true否则返回false。

EndsWith工具类型实现：

${infer Head}${U}位置调换即可。与去除左边空格右边空格题目类型逻辑。

实现IsAny工具类型，用于判断类型T是否为any类型。具体的使用示例如下所示：

IsAny工具类型实现：

利用任何类型与any交叉都等于any实现

any类型是个 ”黑洞“ 会吞噬除了never类型之外的大多数类型。

因此需要前置0 extends 交叉结果防止交叉结果为never类型的情况处理。

实现AnyOf工具类型，只要数组中任意元素的类型非 Falsy 类型、{}类型或[]类型，则返回true，否则返回false。如果数组为空的话，则返回false。具体的使用示例如下所示：

AnyOf工具类型实现：

NotEmptyObject工具类型判断是否为空对象{}，如果是直接返回false；

type = Flasy定义属于Falsy的类型；

1、依次取出第一项，通过元组判断是否为Falsy类型（元组避免联合类型分发执行情况），如果当前项First满足Falsy类型则继续递归依次取出元素进行判断，否则再判断是否为空对象，如果是直接返回false，如果不是说明是非 Falsy类型、 {} 类型或 [] 类型。

实现Replace工具类型，用于实现字符串类型的替换操作。具体的使用示例如下所示：

此外，继续实现ReplaceAll工具类型，用于实现替换所有满足条件的子串。具体的使用示例如下所示：

Replace工具类型实现：

1、利用extends，配合infer配合字符串模板变量的写法就能提取出指定的子字符串，再将From改为To返回结果即可。

ReplaceAll工具类型实现：

ReplaceAll工具类型取出子字符串之后利用递归。

实现IndexOf工具类型，用于获取数组类型中指定项的索引值。若不存在的话，则返回-1字面量类型。具体的使用示例如下所示：

IndexOf工具类型实现：

构建数组来记录迭代到了哪一项，这样匹配到之后就能返回长度，就是索引值。

1、依次取数组的第一项与Item指定的值比较是否相等，找到就返回记录索引值的L数组；

2、找不到则继续增加L数组长度；

3、如果A extends [infer F, ...infer R]数组取完了，没有找到，直接返回-1。

实现一个Permutation工具类型，当输入一个联合类型时，返回一个包含该联合类型的全排列类型数组。具体的使用示例如下所示：

Permutation工具类型实现：

直接用传入'a' | 'b' | 'c'为例子说明：

实现Unpacked工具类型，用于对类型执行 “拆箱” 操作。具体的使用示例如下所示：

Unpacked工具类型实现：

1、(infer U)[]处理数组类型，并返回数组类型的具体类型；

2、(...args: any[]) => infer U处理函数类型，推断拿到函数的返回类型；

3、Promise处理Promise类型，这里嵌套调用返回；

4、否则都不是上面三种类型其中一种，直接返回本身类型。

实现JsonifiedObject工具类型，用于对object对象类型进行序列化操作。具体的使用示例如下所示：

JsonifiedObject工具类型实现：

依次遍历对象，对一些属性类型做特殊处理

1、属性定义为MyClass类类型需要取的是toJSON函数属性的值，从新作为属性的字面量；

2、属性定义为函数类型需要改变成never类型；

3、深层对象需要递归遍历。

实现RequireAllOrNone工具类型，用于满足以下功能。即当设置age属性时，gender属性也会变成必填。具体的使用示例如下所示：

RequireAllOrNone工具类型实现：

题目的要求是如果对象设置了age属性，那么就需要gender属性；

1、反选排除K后的结果；

2、Required先选取K在T有的属性，然后把选取完的类型，将它们变成必选；

3、Partial)先创建有K属性的对象类型，属性类型为never，然后将它们都变成可选属性；

4、以上面的'age' | 'gender'为例：

这样如果对象设置了age属性，或者gender属性那么匹配前一对象类型，否则匹配后一对象类型；

5、name属性需要保留，因此使用反选，单独将name属性抽离出来。

实现RequireExactlyOne工具类型，用于满足以下功能。即只能包含age或gender属性，不能同时包含这两个属性。具体的使用示例如下所示：

RequireExactlyOne工具类型实现：

利用联合类型extends实现分布执行，然后就是如何让联合类型规则只有其中某一个生效，那么其他属性就需要设置为可选never。

以传入'age' | 'gender'为例：

Keys用作分布执行，Keys extends any就是为了触发联合类型在条件中分发执行，K保留联合类型。

下面会被执行成

简化之后也就得到我们满足条件的样子上面的Test。

实现ConsistsOnlyOf工具类型，用于判断LongString字符串类型是否由0个或多个Substring字符串类型组成。具体的使用示例如下所示：

ConsistsOnlyOf工具类型实现：

1、首先需要判断是否为空字符串，如果是直接返回true；

2、否则利用模板字符串语法，以及infer从开头一步步的匹配，减治思想。匹配成功则继续递归，直至字符串为空为止。

后续有新的题目会同步更新在这篇文章，对应的TypeScipt工具类型库推荐type-fest。