文檔教程【免費下載鏈接】typescript-bookThe Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.項目地址https://gitcode.com/gh_mirrors/typ/typescript-book點擊查看免費下載導(dǎo)讀本文以《The Concise TypeScript Book》西班牙語版的 type-from-value.md 章節(jié)為核心系統(tǒng)講解 TypeScript 的從值推斷類型機制編譯器如何根據(jù)一個值或表達式自動推導(dǎo)出類型const與let在推斷上的差異、字面量類型的放大widening與收窄、as const斷言與泛型const修飾符等進階手段。讀完本文你將掌握 TypeScript 類型推斷的核心規(guī)則能夠準(zhǔn)確預(yù)判const x x這類表達式最終得到的類型并能在實際項目中利用推斷寫出既簡潔又類型安全的代碼。一、什么是從值推斷類型Type from Value從值推斷類型是 TypeScript 中最基礎(chǔ)也最重要的能力之一編譯器自動從一個值或表達式中推斷出它的類型而不需要開發(fā)者顯式書寫類型注解。原文檔給出了它的定義與最經(jīng)典的示例const x x; // TypeScript infers x as a string literal with const (immutable), // but widens it to string with let (reassignable).這一行代碼蘊含了兩條關(guān)鍵規(guī)則當(dāng)使用const聲明時變量不可重新賦值因此 TypeScript 可以把它收窄narrow到最精確的字面量類型x當(dāng)使用let聲明時變量之后可以被重新賦值因此 TypeScript 會把類型放大widen為更寬泛的string。在 exploring-the-type-system.md西語版第 607 行起中文檔進一步明確了 TypeScript 會在以下四類場景自動推斷類型變量的初始化類成員的初始化參數(shù)默認(rèn)值的推導(dǎo)函數(shù)返回類型的推導(dǎo)。也就是說推斷inference是 TypeScript 編譯器分析值或表達式后、基于已有信息得出類型的過程它與我們下面要講的字面量類型、類型放大、const斷言等一系列機制環(huán)環(huán)相扣。二、字面量類型推斷的最小單位要理解從值推斷類型必須先理解字面量類型Literal Types。字面量類型是某個集合類型中的單元素子集它定義一個非常精確的值而這個值本身是 JavaScript 的原始值primitive。TypeScript 中的字面量類型包括字符串字面量、數(shù)字字面量和布爾字面量三種。參見 literal-types.md 中的示例const a a; // String literal type字符串字面量類型 const b 1; // Numeric literal type數(shù)字字面量類型 const c true; // Boolean literal type布爾字面量類型字面量類型最常見的用途是與聯(lián)合類型union配合構(gòu)成一個只接受固定取值集合的類型別名。例如 literal-types.md 中的type O a | b | c;此時O只能取a、b、c這三個值中的任意一個任何其他字符串都會導(dǎo)致類型錯誤。這正是字面量類型在聯(lián)合類型、類型守衛(wèi)type guards和類型別名中發(fā)揮價值的場景?；氐絚onst x x因為x不可變編譯器把它的類型推斷為字面量x而let y y因為可變被放大為string。這一點在 literal-inference.md字面量推斷中有完整對比const x x; // Literal type of x, because this value cannot be changed let y y; // Type string, as we can change this value三、類型放大Widening為什么let會失去精確性從值推斷類型中一個容易踩坑的環(huán)節(jié)是類型放大。所謂放大是 TypeScript 給一個沒有顯式類型注解、由初始化值推導(dǎo)類型的變量分配類型的過程——它允許從受限窄類型走向更寬wide的類型但反過來不行。exploring-the-type-system.md第 644 行起給出的放大示例非常直觀let x x; // TypeScript infers as string, a wide type let y: y | x y; // y types is a union of literal types y x; // Invalid Type string is not assignable to type x | y.這里x被放大為string而y的類型是字面量聯(lián)合y | x。把寬泛的string賦給狹窄的字面量聯(lián)合編譯器會直接報錯——放大的方向是單向的窄 → 寬不能逆向。放大還有一個更隱蔽的陷阱對象屬性的推斷默認(rèn)也是放大的。在 literal-inference.md 中文檔給出了一個非常經(jīng)典的生產(chǎn)級示例type X a | b; let o { x: a, // This is a wider string }; const fn (x: X) ${x}-foo; console.log(fn(o.x)); // Argument of type string is not assignable to parameter of type X盡管初始化時o.x的字面值是a但 TypeScript 認(rèn)為對象屬性在未來可以被重新賦值于是把它的類型推斷為寬泛的string而不是字面量a。當(dāng)把o.x傳給形參類型為X字面量聯(lián)合的函數(shù)fn時就觸發(fā)了Argument of type string is not assignable to parameter of type X錯誤——string無法賦給更窄的a | b。這個例子是理解從值推斷類型邊界的最佳教材推斷不是簡單地照抄字面值而是結(jié)合可變性預(yù)期做出的保守判斷。四、解決問題as const與類型斷言對于上一節(jié)的對象屬性放大問題literal-inference.md 給出了兩種標(biāo)準(zhǔn)解法。方案一使用const類型斷言as constlet o { x: a as const, };as const告訴編譯器把這個值當(dāng)作不可變字面量處理不要放大。此時o.x的類型就是字面量a可以安全地傳給fn。方案二斷言為具體類型Xlet o { x: a as X, };直接把屬性斷言為字面量聯(lián)合X同樣能讓o.x滿足fn的參數(shù)約束。關(guān)于as const的更多用法exploring-the-type-system.md第 701 行起進行了系統(tǒng)展開作用于單個屬性const v { x: 3 as const, }; v.x 3;作用于整個對象深度只讀const v { x: 1, y: 2, } as const;配合元組tuple使用效果尤其突出const x [1, 2, 3]; // number[] const y [1, 2, 3] as const; // Tuple of readonly [1, 2, 3]同樣的數(shù)組字面量不加斷言推斷為可變的number[]加了as const則得到只讀元組readonly [1, 2, 3]——元素的字面量精度和不可變性都被完整保留。五、進階const修飾符與泛型類型參數(shù)TypeScript 5.0除了as constTypeScript 5.0 開始支持在泛型參數(shù)上使用const修飾符讓編譯器推斷出最精確的類型。這是從值推斷類型在泛型場景下的直接延伸。exploring-the-type-system.md第 675 行起給出了對比示例。不使用const時屬性被放大為stringfunction identityT(value: T) { // No const here return value; } const values identity({ a: a, b: b }); // Type inferred is: { a: string; b: string; }使用const后屬性被保留為字符串字面量function identityconst T(value: T) { // Using const modifier on type parameters return value; } const values identity({ a: a, b: b }); // Type inferred is: { a: a; b: b; }同樣的函數(shù)調(diào)用普通泛型推斷出{ a: string; b: string }而const T版本能精確到{ a: a; b: b }。當(dāng)你需要保留傳入?yún)?shù)的精確字面量信息時例如構(gòu)建配置對象、路由表、常量映射這個特性非常實用。注意const修飾符作用于類型參數(shù)需要 TypeScript 5.0 或更高版本。六、const關(guān)鍵字本身聲明級收窄除了as const與泛型const聲明變量的const關(guān)鍵字本身也是一種從值推斷類型時的收窄手段。exploring-the-type-system.md第 660 行起指出用const聲明變量會得到更受限的類型推斷。const x x; // TypeScript infers the type of x as x, a narrower type let y: y | x y; y x; // Valid: The type of x is inferred as x與第 3 節(jié)的放大例子對比當(dāng)x用const聲明后其類型是字面量x因此y x合法而用let聲明時x被放大為string賦值就會報錯。可見**能否精確推斷本質(zhì)上取決于變量是否可能被重新賦值**——這正是const與let在推斷結(jié)果上產(chǎn)生差異的根源。七、從函數(shù)返回值推斷類型Type from Func Return從值推斷類型在函數(shù)層面的體現(xiàn)是返回類型推斷TypeScript 根據(jù)函數(shù)實現(xiàn)自動推導(dǎo)其返回類型無需顯式注解。這與本文主題同屬基于值的推斷家族原書在相鄰章節(jié) type-from-func-return.md 中有專門講解const add (x: number, y: number) x y; // TypeScript can infer that the return type of the function is a number這里add的返回類型被自動推斷為number。函數(shù)返回類型推斷的適用范圍很廣表達式函數(shù)體直接取表達式類型塊函數(shù)體則取return語句類型并在存在多個返回路徑時合并為聯(lián)合類型。結(jié)合第 2 節(jié)的推斷場景列表返回類型推斷正是類型推斷四大場景中最常用的一環(huán)。八、與顯式類型注解的配合Type Annotations從值推斷類型的目標(biāo)是讓編譯器自己算出類型但這并不意味著要完全放棄注解。type-annotations.md 系統(tǒng)說明了何時該依賴推斷、何時該顯式注解變量注解是可選的const x: number 1;由于 TypeScript 對簡單類型的推斷非常準(zhǔn)確大多數(shù)情況下這類注解并不必要。函數(shù)參數(shù)注解通常必不可少function sum(a: number, b: number) { return a b; }箭頭函數(shù)lambda同樣支持參數(shù)注解const sum (a: number, b: number) a b;有默認(rèn)值的參數(shù)可以省略注解const sum (a 10, b: number) a b;默認(rèn)值讓編譯器可以從10推斷出a的類型為number。返回類型注解可以顯式寫出const sum (a 10, b: number): number a b;對復(fù)雜函數(shù)先寫返回類型再寫實現(xiàn)能幫你把函數(shù)契約想清楚是提升代碼可讀性的重要手段。原文檔還給出了一條非常實用的工程準(zhǔn)則在 type-annotations.md 結(jié)尾一般來說考慮注解類型簽名type signatures但不要注解函數(shù)體內(nèi)部的局部變量并且始終為對象字面量添加類型。這條準(zhǔn)則的精髓在于讓編譯器在它擅長的地方局部變量、簡單值充分發(fā)揮推斷能力而在契約邊界函數(shù)簽名、對象字面量顯式聲明類型從而兼顧簡潔性與可維護性。關(guān)于顯式注解控制放大exploring-the-type-system.md第 730 行起還補充了用字面量聯(lián)合注解來精確控制對象屬性的手法const v: { x: 1 | 2 | 3 } { x: 1, // x is now a union of literal types: 1 | 2 | 3 }; v.x 3; // Valid v.x 100; // Invalid通過顯式注解{ x: 1 | 2 | 3 }v.x被限定為數(shù)字字面量聯(lián)合賦值100會直接報錯——注解與推斷互為補充共同構(gòu)成從值/到類型的完整控制手段。九、實踐總結(jié)從值推斷的決策要點綜合原文檔 type-from-value.md 及其關(guān)聯(lián)章節(jié)可提煉出以下實戰(zhàn)要點場景推斷結(jié)果依據(jù)與手段const x x字面量類型xconst不可變 → 不放大見 literal-inference.mdlet y y寬泛類型stringlet可重新賦值 → 放大widening對象屬性o.x astring即使值看起來是字面量屬性被認(rèn)為可改變 → 放大需要精確字面量a或a \| bas const斷言或as X斷言泛型參數(shù)保留字面量{ a: a; b: b }TS 5.0 的const T類型參數(shù)修飾符數(shù)組/元組需要精確類型readonly [1, 2, 3]整體as const函數(shù)返回類型自動推斷如number返回類型推斷見 type-from-func-return.md核心心法可以濃縮為一句話類型推斷的精確度取決于可變性預(yù)期——不可變const、as const、const T則保留字面量精度可變let、對象屬性則被放大為寬泛類型。在此基礎(chǔ)上用顯式注解約束契約邊界函數(shù)簽名、對象字面量就能寫出既簡潔又安全的 TypeScript 代碼。延伸閱讀本文核心出處type-from-value.md西語版 與 type-from-value.md英語原版字面量類型literal-types.md西語版 / literal-types.md英語版字面量推斷與as const修復(fù)合集literal-inference.md西語版 / literal-inference.md英語版推斷、放大、const與顯式注解的系統(tǒng)講解exploring-the-type-system.md西語版函數(shù)返回類型推斷type-from-func-return.md西語版 / type-from-func-return.md英語版顯式類型注解的最佳實踐type-annotations.md西語版 / type-annotations.md英語版原始值類型基礎(chǔ)primitive-types.md英語版贊分享文檔教程【免費下載鏈接】typescript-bookThe Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.項目地址https://gitcode.com/gh_mirrors/typ/typescript-book點擊查看免費下載相關(guān)推薦TypeScript 從值推斷類型Type from Value類型推斷、字面量寬度化與 as const 實戰(zhàn)解析TypeScript 從值推斷類型Type from Value類型推斷、字面量寬度化與 as const 實戰(zhàn)解析 導(dǎo)讀 本文圍繞 The Conci文檔教程The Concise TypeScript Book從值推導(dǎo)類型Type from Value——TypeScript 類型推斷機制與實戰(zhàn)The Concise TypeScript Book從值推導(dǎo)類型Type from Value——TypeScript 類型推斷機制與實戰(zhàn) 導(dǎo)讀 本篇文檔教程TypeScript 類型收窄Narrowing實戰(zhàn)指南從聯(lián)合類型到精確類型推斷TypeScript 類型收窄Narrowing實戰(zhàn)指南從聯(lián)合類型到精確類型推斷 本文基于開源書籍《The Concise TypeScript Book文檔教程上一篇OpenTSDB與InfluxDB終極對比如何選擇最適合的時間序列數(shù)據(jù)庫下一篇Python數(shù)據(jù)采集教程DataAnalysisInAction項目微博自動化運營實現(xiàn)創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考 TypeScript 從值推斷類型（Type from Value）完全指南：從 `const` 字面量到類型收窄
文檔教程【免費下載鏈接】typescript-bookThe Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.項目地址https://gitcode.com/gh_mirrors/typ/typescript-book點擊查看免費下載導(dǎo)讀本文以《The Concise TypeScript Book》西班牙語版的 type-from-value.md 章節(jié)為核心系統(tǒng)講解 TypeScript 的從值推斷類型機制編譯器如何根據(jù)一個值或表達式自動推導(dǎo)出類型const與let在推斷上的差異、字面量類型的放大widening與收窄、as const斷言與泛型const修飾符等進階手段。讀完本文你將掌握 TypeScript 類型推斷的核心規(guī)則能夠準(zhǔn)確預(yù)判const x x這類表達式最終得到的類型并能在實際項目中利用推斷寫出既簡潔又類型安全的代碼。一、什么是從值推斷類型Type from Value從值推斷類型是 TypeScript 中最基礎(chǔ)也最重要的能力之一編譯器自動從一個值或表達式中推斷出它的類型而不需要開發(fā)者顯式書寫類型注解。原文檔給出了它的定義與最經(jīng)典的示例const x x; // TypeScript infers x as a string literal with const (immutable), // but widens it to string with let (reassignable).這一行代碼蘊含了兩條關(guān)鍵規(guī)則當(dāng)使用const聲明時變量不可重新賦值因此 TypeScript 可以把它收窄narrow到最精確的字面量類型x當(dāng)使用let聲明時變量之后可以被重新賦值因此 TypeScript 會把類型放大widen為更寬泛的string。在 exploring-the-type-system.md西語版第 607 行起中文檔進一步明確了 TypeScript 會在以下四類場景自動推斷類型變量的初始化類成員的初始化參數(shù)默認(rèn)值的推導(dǎo)函數(shù)返回類型的推導(dǎo)。也就是說推斷inference是 TypeScript 編譯器分析值或表達式后、基于已有信息得出類型的過程它與我們下面要講的字面量類型、類型放大、const斷言等一系列機制環(huán)環(huán)相扣。二、字面量類型推斷的最小單位要理解從值推斷類型必須先理解字面量類型Literal Types。字面量類型是某個集合類型中的單元素子集它定義一個非常精確的值而這個值本身是 JavaScript 的原始值primitive。TypeScript 中的字面量類型包括字符串字面量、數(shù)字字面量和布爾字面量三種。參見 literal-types.md 中的示例const a a; // String literal type字符串字面量類型 const b 1; // Numeric literal type數(shù)字字面量類型 const c true; // Boolean literal type布爾字面量類型字面量類型最常見的用途是與聯(lián)合類型union配合構(gòu)成一個只接受固定取值集合的類型別名。例如 literal-types.md 中的type O a | b | c;此時O只能取a、b、c這三個值中的任意一個任何其他字符串都會導(dǎo)致類型錯誤。這正是字面量類型在聯(lián)合類型、類型守衛(wèi)type guards和類型別名中發(fā)揮價值的場景?；氐絚onst x x因為x不可變編譯器把它的類型推斷為字面量x而let y y因為可變被放大為string。這一點在 literal-inference.md字面量推斷中有完整對比const x x; // Literal type of x, because this value cannot be changed let y y; // Type string, as we can change this value三、類型放大Widening為什么let會失去精確性從值推斷類型中一個容易踩坑的環(huán)節(jié)是類型放大。所謂放大是 TypeScript 給一個沒有顯式類型注解、由初始化值推導(dǎo)類型的變量分配類型的過程——它允許從受限窄類型走向更寬wide的類型但反過來不行。exploring-the-type-system.md第 644 行起給出的放大示例非常直觀let x x; // TypeScript infers as string, a wide type let y: y | x y; // y types is a union of literal types y x; // Invalid Type string is not assignable to type x | y.這里x被放大為string而y的類型是字面量聯(lián)合y | x。把寬泛的string賦給狹窄的字面量聯(lián)合編譯器會直接報錯——放大的方向是單向的窄 → 寬不能逆向。放大還有一個更隱蔽的陷阱對象屬性的推斷默認(rèn)也是放大的。在 literal-inference.md 中文檔給出了一個非常經(jīng)典的生產(chǎn)級示例type X a | b; let o { x: a, // This is a wider string }; const fn (x: X) ${x}-foo; console.log(fn(o.x)); // Argument of type string is not assignable to parameter of type X盡管初始化時o.x的字面值是a但 TypeScript 認(rèn)為對象屬性在未來可以被重新賦值于是把它的類型推斷為寬泛的string而不是字面量a。當(dāng)把o.x傳給形參類型為X字面量聯(lián)合的函數(shù)fn時就觸發(fā)了Argument of type string is not assignable to parameter of type X錯誤——string無法賦給更窄的a | b。這個例子是理解從值推斷類型邊界的最佳教材推斷不是簡單地照抄字面值而是結(jié)合可變性預(yù)期做出的保守判斷。四、解決問題as const與類型斷言對于上一節(jié)的對象屬性放大問題literal-inference.md 給出了兩種標(biāo)準(zhǔn)解法。方案一使用const類型斷言as constlet o { x: a as const, };as const告訴編譯器把這個值當(dāng)作不可變字面量處理不要放大。此時o.x的類型就是字面量a可以安全地傳給fn。方案二斷言為具體類型Xlet o { x: a as X, };直接把屬性斷言為字面量聯(lián)合X同樣能讓o.x滿足fn的參數(shù)約束。關(guān)于as const的更多用法exploring-the-type-system.md第 701 行起進行了系統(tǒng)展開作用于單個屬性const v { x: 3 as const, }; v.x 3;作用于整個對象深度只讀const v { x: 1, y: 2, } as const;配合元組tuple使用效果尤其突出const x [1, 2, 3]; // number[] const y [1, 2, 3] as const; // Tuple of readonly [1, 2, 3]同樣的數(shù)組字面量不加斷言推斷為可變的number[]加了as const則得到只讀元組readonly [1, 2, 3]——元素的字面量精度和不可變性都被完整保留。五、進階const修飾符與泛型類型參數(shù)TypeScript 5.0除了as constTypeScript 5.0 開始支持在泛型參數(shù)上使用const修飾符讓編譯器推斷出最精確的類型。這是從值推斷類型在泛型場景下的直接延伸。exploring-the-type-system.md第 675 行起給出了對比示例。不使用const時屬性被放大為stringfunction identityT(value: T) { // No const here return value; } const values identity({ a: a, b: b }); // Type inferred is: { a: string; b: string; }使用const后屬性被保留為字符串字面量function identityconst T(value: T) { // Using const modifier on type parameters return value; } const values identity({ a: a, b: b }); // Type inferred is: { a: a; b: b; }同樣的函數(shù)調(diào)用普通泛型推斷出{ a: string; b: string }而const T版本能精確到{ a: a; b: b }。當(dāng)你需要保留傳入?yún)?shù)的精確字面量信息時例如構(gòu)建配置對象、路由表、常量映射這個特性非常實用。注意const修飾符作用于類型參數(shù)需要 TypeScript 5.0 或更高版本。六、const關(guān)鍵字本身聲明級收窄除了as const與泛型const聲明變量的const關(guān)鍵字本身也是一種從值推斷類型時的收窄手段。exploring-the-type-system.md第 660 行起指出用const聲明變量會得到更受限的類型推斷。const x x; // TypeScript infers the type of x as x, a narrower type let y: y | x y; y x; // Valid: The type of x is inferred as x與第 3 節(jié)的放大例子對比當(dāng)x用const聲明后其類型是字面量x因此y x合法而用let聲明時x被放大為string賦值就會報錯。可見**能否精確推斷本質(zhì)上取決于變量是否可能被重新賦值**——這正是const與let在推斷結(jié)果上產(chǎn)生差異的根源。七、從函數(shù)返回值推斷類型Type from Func Return從值推斷類型在函數(shù)層面的體現(xiàn)是返回類型推斷TypeScript 根據(jù)函數(shù)實現(xiàn)自動推導(dǎo)其返回類型無需顯式注解。這與本文主題同屬基于值的推斷家族原書在相鄰章節(jié) type-from-func-return.md 中有專門講解const add (x: number, y: number) x y; // TypeScript can infer that the return type of the function is a number這里add的返回類型被自動推斷為number。函數(shù)返回類型推斷的適用范圍很廣表達式函數(shù)體直接取表達式類型塊函數(shù)體則取return語句類型并在存在多個返回路徑時合并為聯(lián)合類型。結(jié)合第 2 節(jié)的推斷場景列表返回類型推斷正是類型推斷四大場景中最常用的一環(huán)。八、與顯式類型注解的配合Type Annotations從值推斷類型的目標(biāo)是讓編譯器自己算出類型但這并不意味著要完全放棄注解。type-annotations.md 系統(tǒng)說明了何時該依賴推斷、何時該顯式注解變量注解是可選的const x: number 1;由于 TypeScript 對簡單類型的推斷非常準(zhǔn)確大多數(shù)情況下這類注解并不必要。函數(shù)參數(shù)注解通常必不可少function sum(a: number, b: number) { return a b; }箭頭函數(shù)lambda同樣支持參數(shù)注解const sum (a: number, b: number) a b;有默認(rèn)值的參數(shù)可以省略注解const sum (a 10, b: number) a b;默認(rèn)值讓編譯器可以從10推斷出a的類型為number。返回類型注解可以顯式寫出const sum (a 10, b: number): number a b;對復(fù)雜函數(shù)先寫返回類型再寫實現(xiàn)能幫你把函數(shù)契約想清楚是提升代碼可讀性的重要手段。原文檔還給出了一條非常實用的工程準(zhǔn)則在 type-annotations.md 結(jié)尾一般來說考慮注解類型簽名type signatures但不要注解函數(shù)體內(nèi)部的局部變量并且始終為對象字面量添加類型。這條準(zhǔn)則的精髓在于讓編譯器在它擅長的地方局部變量、簡單值充分發(fā)揮推斷能力而在契約邊界函數(shù)簽名、對象字面量顯式聲明類型從而兼顧簡潔性與可維護性。關(guān)于顯式注解控制放大exploring-the-type-system.md第 730 行起還補充了用字面量聯(lián)合注解來精確控制對象屬性的手法const v: { x: 1 | 2 | 3 } { x: 1, // x is now a union of literal types: 1 | 2 | 3 }; v.x 3; // Valid v.x 100; // Invalid通過顯式注解{ x: 1 | 2 | 3 }v.x被限定為數(shù)字字面量聯(lián)合賦值100會直接報錯——注解與推斷互為補充共同構(gòu)成從值/到類型的完整控制手段。九、實踐總結(jié)從值推斷的決策要點綜合原文檔 type-from-value.md 及其關(guān)聯(lián)章節(jié)可提煉出以下實戰(zhàn)要點場景推斷結(jié)果依據(jù)與手段const x x字面量類型xconst不可變 → 不放大見 literal-inference.mdlet y y寬泛類型stringlet可重新賦值 → 放大widening對象屬性o.x astring即使值看起來是字面量屬性被認(rèn)為可改變 → 放大需要精確字面量a或a \| bas const斷言或as X斷言泛型參數(shù)保留字面量{ a: a; b: b }TS 5.0 的const T類型參數(shù)修飾符數(shù)組/元組需要精確類型readonly [1, 2, 3]整體as const函數(shù)返回類型自動推斷如number返回類型推斷見 type-from-func-return.md核心心法可以濃縮為一句話類型推斷的精確度取決于可變性預(yù)期——不可變const、as const、const T則保留字面量精度可變let、對象屬性則被放大為寬泛類型。在此基礎(chǔ)上用顯式注解約束契約邊界函數(shù)簽名、對象字面量就能寫出既簡潔又安全的 TypeScript 代碼。延伸閱讀本文核心出處type-from-value.md西語版 與 type-from-value.md英語原版字面量類型literal-types.md西語版 / literal-types.md英語版字面量推斷與as const修復(fù)合集literal-inference.md西語版 / literal-inference.md英語版推斷、放大、const與顯式注解的系統(tǒng)講解exploring-the-type-system.md西語版函數(shù)返回類型推斷type-from-func-return.md西語版 / type-from-func-return.md英語版顯式類型注解的最佳實踐type-annotations.md西語版 / type-annotations.md英語版原始值類型基礎(chǔ)primitive-types.md英語版贊分享文檔教程【免費下載鏈接】typescript-bookThe Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.項目地址https://gitcode.com/gh_mirrors/typ/typescript-book點擊查看免費下載相關(guān)推薦TypeScript 從值推斷類型Type from Value類型推斷、字面量寬度化與 as const 實戰(zhàn)解析TypeScript 從值推斷類型Type from Value類型推斷、字面量寬度化與 as const 實戰(zhàn)解析 導(dǎo)讀 本文圍繞 The Conci文檔教程The Concise TypeScript Book從值推導(dǎo)類型Type from Value——TypeScript 類型推斷機制與實戰(zhàn)The Concise TypeScript Book從值推導(dǎo)類型Type from Value——TypeScript 類型推斷機制與實戰(zhàn) 導(dǎo)讀 本篇文檔教程TypeScript 類型收窄Narrowing實戰(zhàn)指南從聯(lián)合類型到精確類型推斷TypeScript 類型收窄Narrowing實戰(zhàn)指南從聯(lián)合類型到精確類型推斷 本文基于開源書籍《The Concise TypeScript Book文檔教程上一篇OpenTSDB與InfluxDB終極對比如何選擇最適合的時間序列數(shù)據(jù)庫下一篇Python數(shù)據(jù)采集教程DataAnalysisInAction項目微博自動化運營實現(xiàn)創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考