為什麼需要型別保護？探索不同類型及其用例

在 TypeScript 中，類型保護在使程式碼庫更加可靠、對開發人員更友善方面發揮著重要作用。它們透過允許開發人員縮小類型來幫助確保類型安全，這有助於減少運行時錯誤並使程式碼更易於理解和維護。

什麼是型別保護？

類型保護是對類型執行運行時檢查的函數表達式，確保值在進一步處理之前滿足特定條件。它們有助於維護類型安全，使開發人員能夠適當地處理值。

為什麼需要型別保護？

在 JavaScript 中，您經常會遇到可能具有多種類型的值，例如傳回字串或數字的函數。如果沒有類型保護，TypeScript 將無法確定確切的類型，從而導致潛在的運行時錯誤和不正確的行為。類型防護可讓您在執行時間檢查值的類型，幫助 TypeScript 縮小類型範圍並提供更準確的類型檢查。

類型保護的常見類型及其用例

1。 typeof 類型保護

用例：基本類型的基本型別檢查。
例子：

function printValue(value: string | number) {
  if (typeof value === "string") {
    console.log(`String value: ${value.toUpperCase()}`);
  } else {
    console.log(`Number value: ${value.toFixed(2)}`);
  }
}

說明：typeof 對原始型別（字串、數字、布林值）有效。它允許函數以不同的方式處理字串和數字類型。

2.自訂型別防護（是關鍵字）

使用案例：對於複雜的邏輯，檢查自訂形狀或介面。

例子：

 interface Square {
    side: number;
  }
  interface Circle {
    radius: number;
  }

  function isSquare(shape: Square | Circle): shape is Square {
    return (shape as Square).side !== undefined;
  }

  function calculateArea(shape: Square | Circle) {
    if (isSquare(shape)) {
      return shape.side * shape.side;
    } else {
      return Math.PI * shape.radius * shape.radius;
    }
  }

說明：自訂類型防護可讓您定義檢查特定屬性以確定類型的函數。在這裡，isSquare 檢查 side 屬性是否存在。

3.在運算子類型保護

使用案例：檢查物件是否具有特定屬性。
例子：

 interface Car {
    drive(): void;
  }
  interface Boat {
    sail(): void;
  }

  function move(vehicle: Car | Boat) {
    if ("drive" in vehicle) {
      vehicle.drive();
    } else {
      vehicle.sail();
    }
  }

說明：in 運算子檢查屬性是否存在，幫助 TypeScript 理解型別並允許存取相關方法。

結論

類型防護是 TypeScript 中的一項強大功能，可實現精確的類型檢查、減少錯誤並提高程式碼的可讀性和可維護性。透過利用 typeof、instanceof、自訂類型保護和 in 運算符，您可以在 TypeScript 專案中安全有效地處理複雜類型。