套路1-模式匹配提取

[huibu]

//提取guang
    type p = Promise<'guang'>;
    type GetValueType<P> = P extends Promise<infer Value> ? Value : never;


//提取1
    type arr = [1,2,3]
    type GetFirst<Arr extends unknown[]> = 
    Arr extends [infer First, ...unknown[]] ? First : never;

//提取last  ，即3
    type GetLast<Arr extends unknown[]> = 
    Arr extends [...unknown[], infer Last] ? Last : never;


//去除数组最后一个元素

    type PopArr<Arr extends unknown[]> = 
    Arr extends [] ? [] 
        : Arr extends [...infer Rest, unknown] ? Rest : never;

//去除第一个元素
    type ShiftArr<Arr extends unknown[]> = 
    Arr extends [] ? [] 
        : Arr extends [unknown, ...infer Rest] ? Rest : never;


//字符串匹配

//判断字符串前缀开头
    type StartsWith<Str extends string, Prefix extends string> = 
    Str extends `${Prefix}${string}` ? true : false;


//字符串替换   替换
    type ReplaceStr<
        Str extends string,
        From extends string,
        To extends string
    > = Str extends `${infer Prefix}${From}${infer Suffix}` 
            ? `${Prefix}${To}${Suffix}` : Str;


//去除空白字符串
    type TrimStrRight<Str extends string> = 
    Str extends `${infer Rest}${' ' | '\n' | '\t'}` 
        ? TrimStrRight<Rest> : Str;

    type TrimStrLeft<Str extends string> = 
    Str extends `${' ' | '\n' | '\t'}${infer Rest}` 
        ? TrimStrLeft<Rest> : Str;

``
//获取函数返回值
    type GetReturnType<Func extends Function> = 
    Func extends (...args: any[]) => infer ReturnType 
        ? ReturnType : never;


//获取函数参数类型
    type GetConstructorParameters<
    ConstructorType extends new (...args: any) => any
    > = ConstructorType extends new (...args: infer ParametersType) => any
    ? ParametersType
    : never;