淺談TypeScript3.7中值得注意的3個新特性
前言
距typescript 3.7正式釋出已經有一段時間了，這段時間正在對手上的專案進行typescript的遷移工作，所以會特別留意每一次的release。
對於3.7中包含的新特性，其實相比較之前幾次release來說，算是一個比較小的釋出版本，但是其中包含的幾個特性對程式碼質量本身，會帶來顯著地提升。
Optional Chaining
首先第一個特性是對於optional chaining操作符的支援，翻譯過來應該可以叫做可選鏈操作符，當然我還是覺得這樣翻譯有點怪怪的，暫且就直接用英文好了。
這個特性首先是ewww.cppcns.coms2019中包含的一個新特性，對於特性本身，有興趣的可以參考這裡。
由於typescript是javascript的超集，所以預先實現這個特性也是在預料之內的事情，大概使用方式是這樣的：
a?.b();
等價於：
if(a) a.b(); // 或者 a && a.b()
如果是多層巢狀，比如b也是一個物件，要繼續呼叫c()，那麼可以這樣：
a?.b?.c()
但其實就算這樣寫的話，它也不是安全的，因為bwww.cppcns.com()中的b也有可能是空值，直接呼叫的話，也會丟擲異常。為了絕對的安全，可以這樣寫：
a?.b?.();
值得注意的是，這裡一定要對於可選的含義有一個正確的理http://www.cppcns.com
interface A {}
const a: A = {};
a?.b?.(); // Property 'b' does not exist on type 'A'
除非A介面的宣告改為：
interface A {
b?: any
}
這個特性在專案的實踐意義是很大的，我們可以寫更少的if斷言語句或者&&操作符，但是卻達到了相同的效果。
Nullish Coalescing
中文翻譯過來會叫做雙問號操作符，這個其實挺形象的，因為它的語法確實就是??。
這個操作符的功能，往簡單說，就是為一個空值，指定一個預設值，類似下面的程式碼：
let a = b || 'foo'
當b為空值時，由於||操作符的特性，a的值會被賦予foo。如果使用??操作符進行改寫，如下：
let a = b ?? 'foo'
表面上看，似乎兩者沒什麼區別，但其實這裡隱含了一個問題，就是||對於空值的概念，並不僅僅指null和undefined，類似false、0等一系列邏輯上為false的值都會算作空值，這顯然是有問題的，比如：
const b = 0 let a = b || 'foo' // a 為 'foo'
這個示例中，我們期望a只有在b為真正意義上的空值（null或者undefined）時，才被賦予預設值，a應當等於0，而實際執行結果確實foo，因為b=0，在||操作符的執行過程中，它會被解釋為false。我曾在實際專案中，編寫過一個驗證碼元件，很不幸，踩上了這個坑，當時為了debug這個問題，花了很長時間。
但使用??操作符，就不會存在這個問題。
Uncalled Function Checks
我相信很多人都曾經遇過類似的ZFqryuz問題，因為缺乏有效的命名規範，斷言屬性和斷言方法會在實際專案中被混用，比如：
class A {
isFoo(): boolean {
return false;
}
}
function test(a: A) {
if (a.isFoo) {
...
}
}
這裡如果我們的本意是要通過呼叫a.isFoo來獲取一個斷言值，我們明顯犯了一個錯誤，我們應當使用if (a.isFoo())，而不是直接if (a.isFoo)，因為後者雖然在語法層面沒有錯誤，但是在邏輯含義，它將被斷言為true。但在3.7釋出之後，typescript會嘗試幫助我們發現這個問題。
雖然如此，但我仍然建議大家針對斷言方法和斷言屬性制定統一的命名規範，比如isXXX代表屬性，而assertXXX代表方法。
其他
其他的一些變更，均是易用性上的一些改變，比如：
- Flatter Error Reporting：會將一大段的型別重複的錯誤日誌，儘可能地壓縮為單條、更準確、更精簡的錯誤日誌
- 檔案級別的@ts-nocheck：之前版本中該註解僅支援行內級別
- 遞迴型別宣告：能夠在型別宣告中，使用遞迴語法來宣告更復雜的型別，比如json型別
- 對js檔案提供declaration支援，以減小從js專案遷移的遷移成本
以上就是淺談TypeScript3.www.cppcns.com7中值得注意的3個新特性的詳細內容，更多關於TypeScript3.7新特性的資料請關注我們其它相關文章！