TypeScript中never類型的妙用詳解

更新時間：2023年11月21日 10:52:28 作者：子辰Web草廬

TypeScript?是一種靜態(tài)類型的編程語言,它可以讓我們在編寫?JavaScript?代碼時,提前發(fā)現(xiàn)并避免一些潛在的錯誤,本文主要為大家介紹了TypeScript中never類型的妙用,感興趣的可以了解下

什么是 never 類型

在 TypeScript 中，never 類型表示一個永遠不會出現(xiàn)的值。

它是所有類型的子類型，也就是說，任何類型都可以賦值給 never 類型，但是 never 類型不能賦值給任何類型，當然除了它自己。

never 類型有什么用呢？我們可以用它來表示一些永遠不會發(fā)生的情況，比如：

拋出異常的函數(shù)
死循環(huán)的函數(shù)
永遠不會進入的分支

例如：

// 拋出異常的函數(shù)
function error(message: string): never {
  throw new Error(message);
}

// 死循環(huán)的函數(shù)
function loop(): never {
  while (true) {}
}

// 永遠不會進入的分支
function foo(x: string | number) {
  if (typeof x === "string") {
  // do something
  } else if (typeof x === "number") {
  // do something else
  } else {
  // x is never
  const n: never = x;
  }
}

在上面的例子中，error 函數(shù)和 loop 函數(shù)都永遠不會返回任何值，所以它們的返回類型是 never 。

foo 函數(shù)中，如果 x 是 string 或者 number ，就會進入相應的分支處理；如果 x 不是這兩種類型，就會進入最后一個分支，但是這個分支永遠不會進入，因為 x 的類型已經被收縮為 never 了。

所以我們可以用 never 類型來標記這個分支，并且把 x 賦值給一個 never 類型的變量 n ，這樣就可以確保這個分支永遠不會被執(zhí)行。

never 的妙用

我們已經知道了 never 類型可以表示一些永遠不會發(fā)生的情況，那么我們如何利用它來確保類型約束的精確性呢？

我們來看一個例子。

假設我們要封裝一個 Ajax 請求的方法。

// 定義一個類型
type Method = 'GET' | 'POST'
// 封裝一個 Ajax 請求的方法，為兩個參數(shù)約束類型
function request(method: Method, url: string) { }

可以看到方法已經寫好了，并且在調用 request 時也有提示了。

那么我們再來寫函數(shù)里邊的東西。

type Method = 'GET' | 'POST'
function request(method: Method, url: string) {
  // 因為有多種請求類型，我們這里用 switch
  // 每一個類型隨便給它返回一個值僅做模擬
  switch (method) {
    case "GET":
      return "get"
    case "POST":
      return "post"
    default:
      return 'default'
  }
}

可以看到函數(shù)里邊用 switch 來根據(jù)不同的請求類型返回不同的值。

但是這里有一個問題：我們定義了 Method 類型只有兩種可能：GET 和 POST ，那么為什么還要寫 default 分支呢？因為這個分支永遠不會進入！

我們看一下 default 分支里是什么類型。

可以看到，它變成了 never 類型，這就得益于 TS 里的類型收縮，就是 TS 他會分析你的分支，根據(jù)你分支的條件來對類型做一個相應的收縮。

比如在下圖的分支里，就被收縮成了 GET 值，它就不在是聯(lián)合類型了。

那么在 default 里由于這個分支永遠不會進來，所以說它就用類型 never 來表示了。

那么這個對我們實際開發(fā)到底有什么用呢？

我們考慮這么一種情況，如果我們不寫 default 分支，我們對 Method 類型擴展了其他可能性，比如：PUT 或者 DELETE 等。

你看，在下圖中我們加了一個 PUT 類型以后，并沒有報錯，你壓根就不知道這個函數(shù)里還應該加一個 PUT 分支。

當你的代碼寫多了，然后再非常繁雜的代碼里邊，改了一個類型，你就很難知道，你這個改動會影響到哪些地方。

就是其他地方的代碼到底哪些地方會做相應的修改，你是很難知道的。

當然這個代碼很少，一眼就能看出來，那如果是上萬行代碼呢？因為 TS 往往是在大型項目工程中使用的，幾萬行代碼你還能清楚的知道嗎？

這個時候呢，我們就可以借助 never 了，來看下怎么做。

type Method = 'GET' | 'POST'
function request(method: Method, url: string) {
  switch (method) {
    case "GET":
      return "get"
    case "POST":
      return "post"
    default:
      const n: never = method;
      return n
  }
}

我們回到最初的情況，我們就加一個 default 分支，分支里定一個變量 n，標注為 never 類型，然后吧 method 賦值給它，然后返回這個 n。

它不會影響代碼的執(zhí)行，因為這個分支永遠進不來。

而且這個賦值也是安全的，因為現(xiàn)在 default 分支里的 method 是 never 類型，never 是可以賦值給 never 的，但是其他類型就不能賦值給 never 了。

接下來我們就可以放心大膽的去修改類型了。