日韩无码专区无码一级三级片|91人人爱网站中日韩无码电影|厨房大战丰满熟妇|AV高清无码在线免费观看|另类AV日韩少妇熟女|中文日本大黄一级黄色片|色情在线视频免费|亚洲成人特黄a片|黄片wwwav色图欧美|欧亚乱色一区二区三区

我們要實(shí)現(xiàn)的高級(jí)類型如下：

它的類型參數(shù)是參數(shù)字符串 query string，會(huì)返回解析出的參數(shù)對(duì)象，如果有同名的參數(shù)，會(huì)把值做合并。

先不著急實(shí)現(xiàn)，我們先回顧下相關(guān)的類型體操基礎(chǔ)：

類型體操基礎(chǔ)

模式匹配

模式匹配是指用一個(gè)類型匹配一個(gè)模式類型來提取其中的部分類型到 infer 聲明的局部變量中。

比如提取 a=b 中的 a 和 b：

這種模式匹配的套路在數(shù)組、字符串、函數(shù)等類型中都有很多應(yīng)用。

詳細(xì)了解可以看之前的一篇文章：模式匹配-讓你 ts 類型體操水平暴增的套路

構(gòu)造

映射類型用于生成索引類型，生成的過程中可以對(duì)索引或者索引值做一些修改。

比如指定 key 和 value 來生成一個(gè)索引類型：

詳細(xì)了解可以看之前的一篇文章：TS 類型體操：索引類型的映射再映射

遞歸

TypeScript 高級(jí)類型支持遞歸，可以處理數(shù)量不確定的問題。

比如不確定長度的字符串的反轉(zhuǎn)：

type ReverseStr< 
    Str extends string,
    Result extends string = '' 
> = Str extends `${infer First}${infer Rest}` 
    ? ReverseStr 
    : Result;

簡單了解下模式匹配、構(gòu)造、遞歸都是什么之后，就可以開始實(shí)現(xiàn)這個(gè)復(fù)雜的高級(jí)類型 ParseQueryString 了：

思路分析

假設(shè)有這樣一個(gè) query string：a=1&a=2&b=3&c=4。

我們要首先把它分成 4 部分：也就是 a=1、a=2、b=3、c=4。這個(gè)就是用通過上面講的模式匹配來提取。

每一部分又可以進(jìn)一步處理，提取出 key value 構(gòu)造成索引類型，比如 a=1 就可以通過模式匹配提取出 a、1，然后構(gòu)造成索引類型 {a: 1}。

這樣就有了 4 個(gè)索引類型 {a:1}、{a:2}、{b:3}、{c:4}。

結(jié)下來把它合并成一個(gè)就可以了，合并的時(shí)候如果有相同的 key 的值，要放到數(shù)組里。

就產(chǎn)生了最終的索引類型：{a: [1,2], b: 3, c: 4}

整體流程是這樣的：

其中第一步并不知道有多少個(gè) a=1、b=2 這種 query param，所以要遞歸的做模式匹配來提取。

這就是這個(gè)高級(jí)類型的實(shí)現(xiàn)思路。

下面我們具體來寫一下：

代碼實(shí)現(xiàn)

我們按照上圖的順序來實(shí)現(xiàn)，首先提取 query string 中的每一個(gè) query param：

query param 數(shù)量不確定，所以要用遞歸：

type ParseQueryString
    = Str extends `${infer Param}&${infer Rest}`
        ? MergeParams, ParseQueryString> 
        : ParseParam;

類型參數(shù) Str 為待處理的 query string。

通過模式匹配提取其中第一個(gè) query param 到 infer 聲明的局部變量 Param 中，剩余的字符串放到 Rest 中。

用 ParseParam 來處理 Param，剩余的遞歸處理，最后把它們合并到一起，也就是 MergeParams 。

如果模式匹配不滿足，說明還剩下最后一個(gè) query param 了，也用 ParseParam 處理。

然后分別實(shí)現(xiàn)每一個(gè) query param 的 parse：

這個(gè)就是用模式匹配提取 key 和 value，然后構(gòu)造一個(gè)索引類型：

type ParseParam 
    = Param extends `${infer Key}=${infer Value}` 
        ? { [K in Key]: Value } 
        : {};

這里構(gòu)造索引類型用的就是映射類型的語法。

先來測試下這個(gè) ParseParam：

做完每一個(gè) query param 的解析了，之后把它們合并到一起就行：

合并的部分就是 MergeParams：

type MergeParams<
    OneParam extends object,
    OtherParam extends object
> = {
  [Key in keyof OneParam | keyof OtherParam]: 
    Key extends keyof OneParam
        ? Key extends keyof OtherParam
            ? MergeValues
            : OneParam[Key]
        : Key extends keyof OtherParam 
            ? OtherParam[Key] 
            : never
}

兩個(gè)索引類型的合并也是要用映射類型的語法構(gòu)造一個(gè)新的索引類型。

key 是取自兩者也就是 key in keyof OneParam | keyof OtherParam。

value 要分兩種情況：

• 如果兩個(gè)索引類型都有的 key，就要做合并，也就是 MergeValues。
• 如果只有其中一個(gè)索引類型有，那就取它的值，也就是 OtherParam[key] 或者 OneParam[Key]。

合并的時(shí)候，如果兩者一樣就返回任意一個(gè)，如果不一樣，就合并到數(shù)組里返回，也就是 [One, Other]。如果本來是數(shù)組的話，那就是數(shù)組的合并 [One, ...Other]。

type MergeValues = 
    One extends Other 
        ? One
        : Other extends unknown[]
            ? [One, ...Other]
            : [One, Other];

測試下 MergeValues：

這樣，我們就實(shí)現(xiàn)了整個(gè)高級(jí)類型，整體測試下：

這個(gè)案例綜合運(yùn)用到了遞歸、模式提取、構(gòu)造的套路，還是比較復(fù)雜的。

可以對(duì)照著這張圖來看下完整代碼：

type ParseParam = 
    Param extends `${infer Key}=${infer Value}`
        ? {
            [K in Key]: Value 
        } : {};

type MergeValues = 
    One extends Other 
        ? One
        : Other extends unknown[]
            ? [One, ...Other]
            : [One, Other];

type MergeParams<
    OneParam extends object,
    OtherParam extends object
> = {
  [Key in keyof OneParam | keyof OtherParam]: 
    Key extends keyof OneParam
        ? Key extends keyof OtherParam
            ? MergeValues
            : OneParam[Key]
        : Key extends keyof OtherParam 
            ? OtherParam[Key] 
            : never
}

type ParseQueryString = 
    Str extends `${infer Param}&${infer Rest}`
        ? MergeParams, ParseQueryString>
        : ParseParam;


type ParseQueryStringResult = ParseQueryString<'a=1&a=2&b=2&c=3'>;

總結(jié)

我們首先復(fù)習(xí)了下 3 種類型體操的套路：

模式匹配：一個(gè)類型匹配一個(gè)模式類型，提取其中的部分類型到 infer 聲明的局部變量中

構(gòu)造：通過映射類型的語法來構(gòu)造新的索引類型，構(gòu)造過程中可以對(duì)索引和值做一些修改

遞歸：當(dāng)處理數(shù)量不確定的類型時(shí)，可以每次只處理一個(gè)，剩下的遞歸來做

然后用這些套路來實(shí)現(xiàn)了一個(gè) ParseQueryString 的復(fù)雜高級(jí)類型。

如果能獨(dú)立實(shí)現(xiàn)這個(gè)高級(jí)類型，說明你對(duì)這三種類型體操的套路掌握的就挺不錯(cuò)的了。

分享名稱：TS 類型體操：圖解一個(gè)復(fù)雜高級(jí)類型
鏈接分享：http://m.5511xx.com/article/djjosig.html