「重学TS 2.0 」TS 练习题第十题 about awesome-typescript HOT 13 OPEN

type TrimLeft<V extends string> = V extends ` ${infer R}` ? TrimLeft<R> : V;
type TrimRight<V extends string> = V extends `${infer R} ` ? TrimRight<R> : V;

type Trim<V extends string> = TrimLeft<TrimRight<V>>;

// 测试用例
Trim<' semlinker '>
//=> 'semlinker'

// 实现一个 Trim 工具类型，用于对字符串字面量类型进行去空格处理。具体的使用示例如下所示：
type TrimLeft<T extends string> = T extends ` ${infer A}` ? TrimLeft<A> : T;
type TrimRight<T extends string> = T extends `${infer A} ` ? TrimRight<A> : T;

type Trim<V extends string> = TrimLeft<TrimRight<V>>;

// 测试用例
type T1 = Trim<' semlinker '>
type T2 = Trim<' semlinker              '>
type T3 = Trim<'             semlinker              '>
//=> 'semlinker'

type Trim<V extends string> = V extends ` ${infer R}` | `${infer R} ` ? Trim<R> : V
type foo = Trim<'    semlinker    '>

type Trim<T extends string> = T extends `${infer F}${infer Rest}`
  ? F extends ' '
    ? Trim<Rest>
    : `${F}${Trim<Rest>}`
  : ''
type TTestTrim = Trim<' s em link    er '>
// semlinker

type Trim<V extends string> = V extends ` ${infer R} ` ? R : V; // 你的实现代码

// 测试用例
type R = Trim<' semlinker '>

type TrimLeft<V extends string> = V extends ` ${infer U}` ? TrimLeft<U> : V
type TrimRight<V extends string> = V extends `${infer U} ` ? TrimRight<U> : V

type Trim<V extends string> = TrimLeft<TrimRight<V>>

// 测试用例
type Result = Trim<' semlinker '>
//=> 'semlinker'

// 去除左侧空格
type TrimLeft<V extends string> = V extends ` ${infer R}` ? TrimLeft<R> : V
// 去除右侧空格
type TrimRight<V extends string> = V extends `${infer L} ` ? TrimRight<L> : V
type Trim<V extends string> = TrimRight<TrimLeft<V>>

// 测试用例
type R = Trim<' semlinker '>
//=> 'semlinker'

type Trim<V extends string, Str extends string = ''> = 
  V extends `${infer First}${infer Rest}`
    ? First extends ' '
      ? Trim<Rest, Str>
      : Trim<Rest, `${Str}${First}`>
    : Str

type Trim<V extends string> = V extends ` ${infer S} ` ? Trim<S> : V