「重学TS 2.0 」TS 练习题第四十八题 about awesome-typescript

[zhaoxiongfei]

type ConsistsOnlyOf<LongString extends string, Substring extends string> = LongString extends ''
  ? true
  : LongString extends `${Substring}${infer B}`
    ? ConsistsOnlyOf<B, Substring>
    : false;

思路: 字符串匹配，利用 extends 、利用ts下支持的模板字符串语法，利用 infer 从开头一步步的去匹配，减治的**。
随着递归的深入字符串愈来愈短，直至为空，注意空的话算匹配成功。

[zjxxxxxxxxx]

type ConsistsOnlyOf<
  LongString extends string,
  Substring extends string
> = LongString extends `${Substring}${infer R}`
  ? ConsistsOnlyOf<R, Substring>
  : LongString extends ""
  ? true
  : false;

[bill-lai]

type ConsistsOnlyOf<LongString extends string, Substring extends string> = 
  LongString extends '' 
    ? true
    : LongString extends `${Substring}${infer S}` 
      ? ConsistsOnlyOf<S, Substring>
      : false

[zhengyimeng]

type ConsistsOnlyOf<LongString extends string, Substring extends string> 
  = LongString extends `${Substring}${infer Others}`
    ? ConsistsOnlyOf<Others, Substring>
    : LongString extends '' ? true : false