深入理解 TypeScript 抽象類

隨著軟體開發業務的複雜度和規模不斷增加，代碼的維護和管理變得越來越困難，編程語言也在不斷演進以適應這個變化。TypeScript，作為 JavaScript 的超集，提供了一種強類型檢查和面向對象編程的能力，有助於減少程序的錯誤和提高代碼的可讀性和可維護性。而抽象類，作為 TypeScript 中的一個重要概念，更是在面向對象編程中發揮了重要的作用。

一、抽象類是什麼？

抽象類是一個不能被實例化的類，只能被繼承，且必須實現其中定義的抽象方法。抽象方法是沒有實現的方法，它只是一個方法簽名，用來描述子類應該實現什麼樣的方法。抽象方法通過 abstract 關鍵字來定義，並且必須被定義在抽象類中。

abstract class Animal {
    abstract makeSound(): void;
}

以上代碼定義了一個抽象類 Animal，其中只定義了一個抽象方法 makeSound。如果我們試圖直接實例化 Animal 類，就會報錯：

const animal = new Animal(); // 報錯：無法創建抽象類的實例。

二、抽象類的用途

抽象類的存在並不是為了被實例化，而是為了約束子類的行為。通過定義抽象方法，抽象類就可以定義子類應該遵守的規範。如果某個子類沒有實現抽象方法，就會在編譯時發出警告，提示該子類中有未實現的抽象方法。

除了作為約束外，抽象類還可以用於實現代碼的復用。抽象類可以定義一些通用的屬性和方法，供子類繼承和重寫，從而避免出現重複或相似的代碼。在具有相似行為和屬性的多個類中，抽象類可以幫助開發者提煉抽象出來的通用屬性和方法，並對其進行統一的管理和維護。

三、抽象類和介面的區別

抽象類和介面是 TypeScript 中兩種重要的概念。它們都可以用於面向對象編程，都提供了一種規範行為的機制。不過它們也有不同之處。

首先，它們不同在於關注點的不同。抽象類的主要目的是為了被繼承和實現，而介面的主要目的是為了描述對象的形狀。

其次，它們在定義方法上的差異。介面中定義的方法都是抽象的，沒有實現內容；而抽象類中可以定義具體的方法並且有實現內容。

最後，抽象類和介面在使用上的不同也是值得注意的。通常，抽象類用於混合實現（mixins）和基類，而介面主要用於定義模塊的公共 API 以及類型標註。

四、抽象類的實例

儘管抽象類不能被實例化，但其子類是可以實例化的。在實例化一個抽象類的子類時，需要先調用 super() 函數來獲取其繼承屬性。例如：

abstract class Animal {
   abstract makeSound(): void;
   move(): void {
      console.log("moving");
   }
}
class Dog extends Animal {
   makeSound(): void {
      console.log("wang wang");
   }
   run(): void {
      console.log("running");
   }
}
const dog = new Dog();
dog.makeSound(); // 輸出"wang wang"
dog.move(); // 輸出"moving"
dog.run(); // 輸出"running"

五、總結

抽象類提供了一種規範子類行為的機制，能夠約束子類的行為並幫助開發者避免無意義的繼承，同時也能夠提高代碼的可復用性和可維護性。在 TypeScript 中，抽象類還能夠實現代碼的復用和統一管理，有助於提高代碼的質量和開發效率。