類型斷言
類型斷言用于清楚地知道一個實體具有比它現有類型更確切的類型，其實就是在使用時（而非定義時）手動指定變量類型。
- 類型斷言的作用是使typescript假設已經進行了類型檢查
- 類型斷言類似其他語言里的類型轉換，但是不進行特殊的類型轉換和解構
- 只在編譯階段起作用，沒有運行時的影響
兩種形式的語法：尖括號語法與as語法
//尖括號語法
let someValue: any = "this is a string";
let strLength: number = (<string>someValue).length;
//as語法
let someValue: any = "this is a string";
let strLength: number = (someValue as string).length;
類型推論
類型推論的含義就是“類型是在哪里如何被推斷的”， 主要作用是“在有些沒有明確指出類型的地方幫助確定與提供類型“
最佳通用類型
最佳通用類型，顧名思義，就是對于某些表達式的最合適的通用類型
計算通用類型的算法會考慮所有的候選類型，并給出一個兼容所有候選類型的類型。
let x = 3; // => number
let y = [0, 1, 2];
let z = [1, 's', null]; // (number|string|null)[]
z[3] = 'ss';
z[4] = false
let zoo: Animal[] = [new Rhino(), new Elephant(), new Snake()];
如果沒有找到最佳通用類型，則類型推斷的結果為聯合數組類型（因為此時變量一定是多種類型的集合）。比如上面的zoo，如果沒有指定Animal[]類型，則推斷結果為(Rhino | Elephant | Snake)[]
上下文類型
上下文類型推論是反方向進行TypeScript類型推論（個人理解：從變量類型推斷值或者參數的類型），被叫做“按上下文歸類”，會發生在表達式的類型與所處的位置相關時，通常包含函數的參數，賦值表達式的右邊，類型斷言，對象成員和數組字面量和返回值語句
window.onmousedown = function(mouseEvent) {
console.log(mouseEvent.button);
};
此時函數表達式處在上下文類型的位置，TypeScript類型檢查器使用Window.onmousedown函數的類型來推斷右邊函數表達式的類型。 因此，就能推斷出 mouseEvent參數的類型了（也就是MouseEvent類型）
上下文類型也會做為最佳通用類型的候選類型
區分類型與類型保護
對于是聯合類型的變量，如何確切的知道是哪一種類型呢？javascript中常用的方式是檢查成員是否存在，但是typescript中聯合類型只能訪問聯合類型中共同擁有的成員。
可是通過類型斷言來進行類型判斷，但是有個問題就是每個分支都需要進行類型判斷
typescript的類型保護機制： 一次判斷，整個作用域/所有分支有效。
類型保護就是一些表達式，它們會在運行時檢查以確保在某個作用域里的類型
typeof類型保護
typeof類型保護用來判斷變量是哪種原始類型。
有兩種形式： typeof v === "typename" typeof v !== "typename"
"typename"必須是 "number"， "string"， "boolean"或 "symbol"，也可以與其它字符串比較，但是typescript不會把那些表達式識別為類型保護
instanceof 類型保護
instanceof類型保護是通過構造函數來細化類型，其右側要求是一個構造函數，TypeScript將細化為：
- 此構造函數的 prototype屬性的類型，如果它的類型不為 any的話
- 構造簽名所返回的類型的聯合
自定義類型保護
首先解釋一個名詞： 類型謂詞。 類型謂詞為 parameterName is Type這種形式， parameterName必須是來自于當前函數簽名里的一個參數名。
定義一個類型保護，只要簡單地定義一個函數，其返回值是一個 類型謂詞
function isFish(pet: Fish | Bird): pet is Fish {
return (<Fish>pet).swim !== undefined;
}
if (isFish(pet)) {
pet.swim();
} else {
pet.fly();
}
使用變量來調用自定義類型保護時，TypeScript會將變量縮減為那個具體的類型，只要這個類型與變量的原始類型是兼容的。
