TypeScript型別檢查詳談及火爆原因

2022-05-17 13:01:24

讓我們先思考一個問題：型別是什麼？

型別具體點來說就是指 number、boolean、string 等基礎型別和 Object、Function 等複合型別，它們是程式語言提供的對不同內容的抽象：

不同型別變數佔據的記憶體大小不同：boolean 型別的變數只會分配 1 個位元組的記憶體，而 number 型別的變數則會分配 8 個位元組的記憶體，給變數宣告了不同的型別就代表了會佔據不同的記憶體空間。

不同型別變數可做的操作不同：number 型別可以做加減乘除等運算，boolean 就不可以，複合型別中不同型別的物件可用的方法不同，比如 Date 和 RegExp，變數的型別不同代表可以對該變數做的操作就不同。

我們知道了什麼是型別，那自然可以想到型別和所做的操作要匹配才行，這就是為什麼要做型別檢查。

如果能保證對某種型別只做該型別允許的操作，這就叫做型別安全**。比如你對 boolean 做加減乘除，這就是型別不安全，你對 Date 物件呼叫 exec 方法，這就是型別不安全。反之，就是型別安全。

所以，型別檢查是為了保證型別安全的。

型別檢查可以在執行時做，也可以執行之前的編譯期做。這是兩種不同的型別，前者叫做動態型別檢查，後者叫做靜態型別檢查。兩種型別檢查各有優缺點。

在原始碼中不保留型別資訊，對某個變數賦什麼值、做什麼操作都是允許的，寫程式碼很靈活。但這也埋下了型別不安全的隱患，比如對 string 做了乘除，對 Date 物件呼叫了 exec 方法，這些都是執行時才能檢查出來的錯誤。

其中，最常見的錯誤應該是

“null is not an object”、“undefined is not a function”

之類的了，寫程式碼時沒發現型別不匹配，到了執行的時候才發現，就會有很多這種報錯。

所以，動態型別雖然程式碼寫起來簡單，但程式碼中很容易藏著一些型別不匹配的隱患。

則是在原始碼中保留型別資訊，宣告變數要指定型別，對變數做的操作要和型別匹配，會有專門的編譯器在編譯期間做檢查。

靜態型別給寫程式碼增加了一些難度，因為你除了要考慮程式碼要表達的邏輯之外，還要考慮型別邏輯：變數是什麼型別的、是不是匹配、要不要做型別轉換等。

不過，靜態型別也消除了型別不安全的隱患，因為在編譯期間就做了型別檢查，就不會出現對 string 做了乘除，呼叫了 Date 的 exec 方法這類問題。

所以，靜態型別雖然程式碼寫起來要考慮的問題多一些，會複雜一些，但是卻消除了程式碼中潛藏型別不安全問題的可能。

知道了動態型別檢查和靜態型別檢查的區別，我們自然可以得出這樣的結論：

動態型別只適合簡單的場景，對於大專案卻不太合適，因為程式碼中可能藏著的隱患太多了，萬一線上報一個型別不匹配的錯誤，那可能就是大問題。

而靜態型別雖然會增加寫程式碼的成本，但是卻能更好的保證程式碼的健壯性，減少 Bug 率。

所以，大型專案註定會用靜態型別語言開發。

JavaScript 本來是為了瀏覽器的表單驗證而設計的，所以就設計成了動態型別的，寫程式碼比較簡單。

但 JavaScript 也沒想到它後來會被用來開發各種專案，比如 PC 和行動端的網頁、React Native 跨端 App、小程式、Electron 桌面端、Node.js 伺服器端、Node.js 工具鏈等。

開發各種大型專案的時候，JavaScript 的動態型別語言的缺點就暴露出來了，bug 率太高了，健壯性很難保證。那自然就有了對靜態型別的強烈需求，於是 TypeScript 應運而生。

TypeScript 給 JavaScript 新增了一套靜態型別系統，從動態型別語言變成了靜態型別語言，可以在編譯期間做型別檢查，提前發現一些型別安全問題。

而且，因為程式碼中新增了靜態型別，也就可以配合編輯器來實現更好的提示、重構等，這是額外的好處。

所以，TypeScript 的火爆是一個偶然麼？不，我覺得是必然，因為大型專案註定會用靜態型別語言來開發。

型別決定了變數的記憶體大小和可以對它進行的操作，保證對什麼型別只做什麼操作就叫做型別安全，而保證型別安全的方式就是型別檢查。

型別檢查可以在執行時做，叫做動態型別檢查，也可以在編譯時做，叫做靜態型別檢查。

動態型別可能藏在程式碼裡的隱患太多了，bug 率比較高，所以大型專案註定會用靜態型別語言來開發。

JavaScript 本身是一門動態型別語言，因為被越來越多的用來開發各種大型專案，所以就有了對靜態型別的需求。TypeScript 就滿足了這個需求。而且還有額外的更好的提示、更易於重構的好處。

所以，TypeScript 的出現和現在的火爆是必然會發生的。

以上就是TypeScript型別檢查詳談及火爆原因的詳細內容，更多關於TypeScript型別檢查的資料請關注it145.com其它相關文章！