TypeScript筆記 (3) — function
參數類型
可以定義傳入參數的類型為何，參數如果帶問號則代表可填可不填，如果傳入的參數非指定的型別就會跳出警告
TypeScript 會自動推斷回傳值的型別為何，也可以手動聲明函式最後會回傳的型別是什麼，如下圖的 getName 函式，括號後面接著：string，代表回傳的值會是字串型別
如果回傳的陣列為複合式的值，可以推斷出為 union 的型別
若傳入的參數類型為 type，可以用 . 就知道有哪些屬性可以使用
Never
因為拋出錯誤或是無窮迴圈的緣故，讓函式永遠不會回傳值或是回傳錯誤，就會定義為 never
void
void 為空值的意思，代表這個函式不會回傳任何值
泛型
泛型會用
多個泛型可以這樣寫
泛型搭配 extends 使用，可以讓 TypeScript 推論該類型有什麼屬性或方法可以用
Function Overload 函式超載
允許用相同的函式名稱定義可接受多個型別不同的參數或是參數數量不同的函式，overload 會分作兩個部分
- overload signatures:定義函式傳入的型別
- function implementation:實作邏輯的 function，必須滿足所有的 overload signatures
假設要用 TypeScript 模擬 css 的 margin 語法（可傳入 1 ～ 4 個參數），就可以用 overload 的方式來處理，允許函式傳入不同數量的參數
坦白說第一次看到這個寫法的我反應是這樣的，好像黑魔法一樣
其餘參數（rest parameter）
以往如果需要傳入多個參數，都會乖乖的寫一個蘿蔔一個坑，不過現在可以用其餘參數的方式（…nums）來接收數量不確定的參數，並將其視作一個陣列
假如要將一個變數用其餘參數的方式傳入函式會跳出警告，因為 TypeScript 無法確認傳入的陣列長度為何
該如何解決上述問題？只要將傳入的變數斷言為 const 即可，讓 typeScript 將 nums 視作唯讀屬性的 tuple(元祖）
建構函式
