【聲明】本博客所有內(nèi)容均為個(gè)人業(yè)余時(shí)間創(chuàng)作所述技術(shù)案例均來(lái)自公開(kāi)開(kāi)源項(xiàng)目如GithubApache基金會(huì)不涉及任何企業(yè)機(jī)密或未公開(kāi)技術(shù)如有侵權(quán)請(qǐng)聯(lián)系刪除標(biāo)題180、【Agent】【OpenCode】TuiThreadCmd類(lèi)型增長(zhǎng)背景上篇 blog【Agent】【OpenCode】TuiThreadCmdU包含T補(bǔ)充分析了在 CommandBuilder((args: ArgvT) ArgvU)這個(gè)函數(shù)簽名里T 和 U 毫無(wú)關(guān)系它們只是兩個(gè)獨(dú)立的泛型占位符可以把 T 換成 X、U 換成 Y類(lèi)型系統(tǒng)完全不在意包含關(guān)系不靠這個(gè)函數(shù)簽名而是靠在函數(shù)體里面寫(xiě)的代碼是函數(shù)體里調(diào)用的那些 yargs 方法——它們的返回值簽名才是類(lèi)型累積的唯一來(lái)源。 如果函數(shù)體里不用鏈?zhǔn)秸{(diào)用而是直接return {} as ArgvanyU 就和 T 徹底無(wú)關(guān)了所以包含關(guān)系不在函數(shù)簽名里不在 CommandBuilder 里只在那些被調(diào)用的方法里下面繼續(xù)分析OpenCode下面再說(shuō)下這個(gè)增長(zhǎng)的類(lèi)型類(lèi)型一直在增長(zhǎng)但需要做一個(gè)關(guān)鍵區(qū)分增長(zhǎng)的是類(lèi)型信息而不是運(yùn)行時(shí)值。?正確的部分結(jié)構(gòu)確實(shí)在增長(zhǎng)從形狀Shape 的角度看階段類(lèi)型形狀類(lèi)比值初始 T{}空對(duì)象model{ model?: string }加了一個(gè)字段continue{ model?: string; continue?: boolean }又加了一個(gè)字段最終 U{ model?: string; continue?: boolean; project?: string } NetworkOptions完整的參數(shù)對(duì)象每一步.option()都在類(lèi)型層面追加了新字段這和往一個(gè)對(duì)象里不斷Object.assign新屬性的結(jié)構(gòu)增長(zhǎng)模式是一樣的。??需要注意的部分這不是值在增長(zhǎng)類(lèi)型是編譯時(shí)的靜態(tài)描述值是運(yùn)行時(shí)的動(dòng)態(tài)數(shù)據(jù)。 兩者有本質(zhì)區(qū)別// ? 錯(cuò)誤理解以為 builder 在執(zhí)行時(shí)真的在累積值builder:(yargs)yargs.option(model,...)// 運(yùn)行時(shí) yargs.option() 確實(shí)修改了 yargs 內(nèi)部狀態(tài)// 但 TS 類(lèi)型系統(tǒng)根本不關(guān)心運(yùn)行時(shí)發(fā)生了什么// ? 正確理解類(lèi)型增長(zhǎng)是編譯器推導(dǎo)出來(lái)的不是執(zhí)行出來(lái)的// 編譯器看到 .option(model, { type: string })// → 查 ArgvT 接口上 option 的返回簽名// → 算出返回類(lèi)型是 ArgvT { model?: string }// → 這個(gè)算出發(fā)生在編譯期和運(yùn)行時(shí)無(wú)關(guān)更精確的說(shuō)法類(lèi)型在信息量上增長(zhǎng)而不是在值上增長(zhǎng)。類(lèi)型層面T → T A → T A B信息越來(lái)越豐富約束越來(lái)越具體值層面yargs 對(duì)象始終是同一個(gè)引用.option()只是修改了它的內(nèi)部配置表并沒(méi)有變大兩者的連接點(diǎn)yargs 的設(shè)計(jì)者刻意讓方法的返回值類(lèi)型簽名鏡像反映了運(yùn)行時(shí)的配置累積行為所以在寫(xiě)代碼時(shí)感覺(jué)類(lèi)型跟著值一起長(zhǎng)了但這是一種精心設(shè)計(jì)的對(duì)應(yīng)關(guān)系不是同一件事為什么這個(gè)區(qū)分很重要因?yàn)槿绻J(rèn)為值在增長(zhǎng)可能會(huì)誤以為類(lèi)型推導(dǎo)依賴(lài)運(yùn)行時(shí)執(zhí)行順序 → ?不依賴(lài)純靜態(tài)條件分支里的.option()會(huì)影響類(lèi)型 → ?不會(huì)TS 只看所有可能路徑的聯(lián)合異步 builder 的類(lèi)型增長(zhǎng)機(jī)制不同 → ? 相同只是包了一層 PromiseLike一句話總結(jié)類(lèi)型的形狀忠實(shí)反映配置的累積過(guò)程。但要記住這是編譯器在紙面上**畫(huà)出來(lái)的增長(zhǎng)不是程序在內(nèi)存里跑出來(lái)的增長(zhǎng)**。這里再說(shuō)下類(lèi)型增長(zhǎng)了但 yargs 變量在內(nèi)存中完全沒(méi)有膨脹。為什么 yargs 沒(méi)有變大因?yàn)?option()修改的不是對(duì)象的數(shù)據(jù)結(jié)構(gòu)大小而是一個(gè)固定大小的內(nèi)部配置表。// yargs 內(nèi)部的真實(shí)結(jié)構(gòu)極度簡(jiǎn)化classYargsInstance{// ? 這些字段在創(chuàng)建時(shí)就已分配好永遠(yuǎn)不會(huì)變privateoptions:Mapstring,OptionConfig;// 引用不變Map 內(nèi)容變privatepositionals:ArrayPositionalConfig;// 引用不變數(shù)組內(nèi)容變privatemiddleware:Function[];// 引用不變privatehelpText:string;// 值替換不是追加}當(dāng)調(diào)用yargs.option(model, { type: string })時(shí)Map 里多了一個(gè) entry → 這是堆上已有的 Map 對(duì)象內(nèi)部的哈希表擴(kuò)容不是 yargs 對(duì)象本身變大yargs 實(shí)例的字段數(shù)量 → 始終是那幾個(gè)一個(gè)都沒(méi)加yargs 實(shí)例的內(nèi)存地址 → 始終同一個(gè)引用關(guān)鍵區(qū)分容器 vs 內(nèi)容yargs 對(duì)象容器類(lèi)型 T描述本質(zhì)運(yùn)行時(shí)固定結(jié)構(gòu)的實(shí)例編譯時(shí)靜態(tài)的形狀描述.option()后同一塊內(nèi)存內(nèi)部 Map 多了個(gè) keyT { model?: string }信息量增加是否膨脹? 容器結(jié)構(gòu)不變? 類(lèi)型形狀變大類(lèi)比一個(gè)固定格子的文件柜文件柜的標(biāo)簽/目錄頁(yè)往文件柜里塞新文件Map 加 entry文件柜本身的格子數(shù)沒(méi)變。但描述這個(gè)文件柜內(nèi)容的目錄類(lèi)型 T確實(shí)變長(zhǎng)了——因?yàn)榈妙~外寫(xiě)一行來(lái)記錄新文件的位置。??那什么情況下 JS 對(duì)象才會(huì)真正膨脹只有當(dāng)動(dòng)態(tài)添加自有屬性時(shí)// ? 這才是真正的運(yùn)行時(shí)膨脹yargs.modelgpt-4;// 給對(duì)象加了新屬性yargs.customFlagtrue;// 又加了一個(gè)// ? .option() 不是這種操作yargs.option(model,...);// 只是調(diào)用了已有方法修改了內(nèi)部 Mapyargs 刻意避免了第一種模式。它把所有用戶定義的選項(xiàng)都收攏到內(nèi)部的options: Map里而不是直接掛在 yargs 實(shí)例上。這樣無(wú)論定義多少個(gè)選項(xiàng)yargs 對(duì)象的自有屬性集合始終不變。最終澄清類(lèi)型增長(zhǎng)編譯器對(duì)這個(gè)對(duì)象能表達(dá)多少種參數(shù)組合的描述變豐富了。yargs 不膨脹 運(yùn)行時(shí)對(duì)象的內(nèi)存布局從頭到尾都是同一個(gè)固定結(jié)構(gòu)。yargs 把運(yùn)行時(shí)的配置存儲(chǔ)和編譯時(shí)的類(lèi)型推導(dǎo)設(shè)計(jì)成了鏡像關(guān)系但鏡像≠同一件事類(lèi)型在增長(zhǎng)但內(nèi)存保持不變。OK本篇先到這里如有疑問(wèn)歡迎評(píng)論區(qū)留言討論祝各位功力大漲技術(shù)更上一層樓更多內(nèi)容見(jiàn)下篇 blog【Agent】【OpenCode】TuiThreadCmd類(lèi)型增長(zhǎng)編譯運(yùn)行時(shí)