讓我們從壹個簡單的函數開始:
上述函數可以接受壹個數字或壹個字符串。假設我們希望根據輸入是數字還是字符串來執行不同的操作。在這種情況下，我們將使用JavaScript類型保護來檢查它是字符串還是數字，如下所示:
在上面的例子中，我們使用JavaScript類型保護將輸入類型縮小到數字或字符串。類型保護用於檢查變量是否屬於特定類型，即數字、字符串、對象等。使用類型保護時，Typescript希望變量屬於此類型。它會根據這些信息自動鍵入並檢查其使用情況。
在示例中，我們使用typeof運算符來縮小類型範圍，這將檢查值是否具有原始類型的類型。
以下是可用的JavaScript類型保護列表:
線
數字
bigint
布爾型
標誌
不明確的
目標
功能
讓我們看看其他縮小類型的方法。
在這種類型的縮小中，我們在使用變量之前檢查它是否為真。當變量為true時，TypeScript將自動消除條件檢查中出現錯誤（即未定義或null）的可能性。
例如，下面的函數foo接受壹個參數x，其類型為string或undefined（可選）。
通過檢查x是否為真，x的類型將變成字符串，否則它將是未定義的。
在許多情況下，將執行真理縮小:表達式（||，&；& amp、 !)、 !！和布爾運算。
如果兩個變量相等，它們必須是同壹類型。如果變量的類型不準確（即未知、任意等）。）並且等於另壹個精確類型的變量，TypeScript將使用此信息縮小第壹個變量的類型。
以下面的函數為例，它有兩個參數:x和y，x是字符串或數字，y是數字。當x的值等於y的值時，x的類型被推斷為number，否則為string。
在此方法中，您創建壹個包含文本成員的對象，該文本成員可用於區分兩個不同的聯合。
在以下示例中，該函數計算不同形狀的正方形、矩形和圓形。我們將從定義矩形和圓形的類型開始。
從以上類型來看，每個對象都有壹個形狀文本字段，可以是圓形或矩形。我們可以使用函數中的shape字段來計算面積，這將接受矩形和圓形的並集，如下所示:
當形狀字段為矩形時，您只能訪問矩形類型中的可用屬性，即寬度、高度和形狀。當shape字段為circle時，同樣適用，TypesSript只允許您訪問半徑和圓，否則將引發錯誤。
in運算符用於確定對象是否具有包含的屬性名。它在object中以“property”的格式使用，其中property是屬性的名稱，用於檢查它是否存在於對象中。
在上面的例子中，我們使用微分並集來區分圓形和矩形。我們也可以使用in運算符來實現相同的效果，但這次我們將檢查形狀是否包含某些屬性，即圓的半徑、矩形的寬度和高度，結果將是相同的。
在這種類型的縮小中，壹旦為變量賦值，TypeScript就會縮小變量的類型。取壹個數字或字符串聯合類型的變量x。如果我們給它賦值，類型就變成了數字。如果我們給它賦值string，類型就變成了string。
JavaScript的instanceof運算符用於檢查值是否是類的實例。它以值2的值實例的格式使用，並返回壹個布爾值。當檢查壹個值是否是壹個類的實例時，TypeScript會將該類型分配給壹個變量，從而縮小該類型的範圍。
以下面的例子為例，其中壹個函數接受壹個日期，可以是字符串或日期。如果它是壹個日期，我們想把它轉換成壹個字符串。如果它是壹個字符串，我們將原樣返回它。我們可以使用instanceof檢查它是否是Date的實例，並將其轉換為字符串，如下所示。