建站
咨詢
售后
建站咨詢
新聞中心
1. never 的特點(diǎn)
TypeScript使用never關(guān)鍵字來(lái)表示邏輯上不應(yīng)該發(fā)生的情況和控制流。實(shí)際上，我們?cè)诠ぷ髦胁粫?huì)常遇到使用 never 的情況，但是還是很有必要了解它是如何有助于 TypeScript 的類型安全的。
官方文檔對(duì) never 的描述：
never 類型是任何類型的子類型，也可以賦值給任何類型;但是，沒(méi)有類型是never的子類型或可以賦值給never類型(never 本身除外)。
也就是說(shuō)，可以將never類型的變量分配給任何其他變量，但不能將其他變量分配給never。下面來(lái)看一個(gè)例子：
const throwErrorFunc = () => { throw new Error("error") };
let neverVar: never = throwErrorFunc()
const myString = ""
const myInt:number = neverVar;
neverVar = myString // Type 'string' is not assignable to type 'never'
我們可以暫時(shí)忽略 throwErrorFunc 的功能，只需知道，這樣可以初始化類型為 never 的變量。
從上面的代碼中可以看到，可以將 never 類型的變量 neverVar 分配給 number 類型的變量myInt。但是，不能將 string 類型的 myString 變量分配給 neverVar，這樣分配會(huì)報(bào)錯(cuò)。這也就是上面所說(shuō)的，不能將任何其他類型的變量分配給 never，即使是 any 類型的變量。
2. 函數(shù)中的 never
TypeScript 使用 never 作為那些無(wú)法達(dá)到的終點(diǎn)的函數(shù)的返回值類型。主要有兩種情況：
函數(shù)拋出一個(gè)錯(cuò)誤異常。
函數(shù)包含一個(gè)無(wú)限循環(huán)。
來(lái)看上面提到的 throwErrorFunc 函數(shù)，TypeScript 就會(huì)推斷此函數(shù)的返回類型為 never：
const throwErrorFunc = () => {
throw new Error("error")
};
另一種情況就是如果有一個(gè)一直為真的表達(dá)式產(chǎn)生了無(wú)限循環(huán)，它沒(méi)有中斷或者返回語(yǔ)句。TypeScript 就會(huì)推斷此函數(shù)的返回類型為 never：
const output = () => {
while (true) {
console.log("循環(huán)");
}
};
3. never 和 void 的區(qū)別
那什么是 void 類型呢?我們有 void 為什么還要 never 類型呢?
never 和 void 的主要區(qū)別在于，void 類型的值可以是 undefined 或 null。
TypeScript 對(duì)不返回任何內(nèi)容的函數(shù)使用 void。如果沒(méi)有為函數(shù)指定返回類型，并且在代碼中沒(méi)有返回任何內(nèi)容，TypeScript 將推斷其返回類型為void。在TypeScript中，不返回任何內(nèi)容的 void 函數(shù)實(shí)際上返回的是 undefined。
來(lái)看一個(gè)例子：
const functionWithVoidReturnType = () => {};
console.log(functionWithVoidReturnType()); // undefined
這里，TypeScript 會(huì)推斷此函數(shù)的返回類型為 void。我們通常會(huì)忽略 void 函數(shù)的返回值。
這里需要注意：根據(jù) never 類型的特征，我們不能將 void 指定給 never：
const myVoidFunction = () => {}
neverVar = myVoidFunction() // ERROR: Type 'never' is not assignable to type 'void'
4. never 作為可變類型守
如果變量被一個(gè)永遠(yuǎn)不可能為 true 的類型保護(hù)縮小范圍，那么變量就可能成為 never類型。通常，這表明條件邏輯存在缺陷。
來(lái)看下面的例子：
const unExpectedResult = (myParam: "this" | "that") => {
if (myParam === "this") {
} else if (myParam === "that") {
} else {
console.log({ myParam })
}
}
在這個(gè)例子中，當(dāng)函數(shù)執(zhí)行到 console.log({ myParam }) 時(shí)，myParam 的類型將為 never。
這是因?yàn)槲覀儗?myParam 的類型設(shè)置為了 this 或 that。由于 TypeScript 認(rèn)為 myParam 類型屬于兩個(gè)類型之一，所以從邏輯上講，第三個(gè) else 語(yǔ)句永遠(yuǎn)不會(huì)出現(xiàn)。所以TypeScript 就會(huì)將參數(shù)類型設(shè)置為 never。
5. 詳盡檢查
在實(shí)踐中可能會(huì)用到 never 的一個(gè)地方就是進(jìn)行詳細(xì)的檢查。這有助于確保我們處理了代碼中的每個(gè)邊緣情況。
下面來(lái)看看如何使用詳盡檢查為 switch 語(yǔ)句添加更好的類型安全性：
type Animal = "cat" | "dog" | "bird"
const shouldNotHappen = (animal: never) => {
throw new Error("error")
}
const myPicker = (pet: Animal) => {
switch(pet) {
case "cat": {
// ...
return
}
case "dog": {
// ...
return
}
}
return shouldNotHappen(pet)
}
當(dāng)添加 「return shouldNotHappen(pet)」時(shí)，會(huì)看到一個(gè)錯(cuò)誤提示：
這里的錯(cuò)誤提示告訴我們，忘記包含在 switch 語(yǔ)句中的情況。這是一種獲得編譯時(shí)安全性并確保處理 switch 語(yǔ)句中的所有情況的巧妙模式。
6. 結(jié)論如你所見(jiàn)，TypeScript 中的 never 類型在特定情況很有用。大多數(shù)情況下，never 表明代碼存在缺陷。
但在某些情況下，例如詳盡檢查，它可以成為幫助編寫更安全的 TypeScript 代碼的好工具。
網(wǎng)頁(yè)標(biāo)題：理解TypeScript的Never類型
網(wǎng)站鏈接：http://www.dlmjj.cn/article/djhsise.html
