TypeScript 條件類型(conditional type)

TypeScript 條件類型(conditional type) 是 TypeScript 3.0 版本新增的功能，它可以讓開發者在型別定義時，根據條件來決定型別的變化。

什麼是條件類型

條件類型是一種型別轉換，它可以根據某個條件，將一個型別轉換成另一個型別。它的語法是 T extends U ? X : Y，其中 T 是一個型別，U 是一個型別，X 和 Y 是兩個型別，如果 T 繼承自 U，則結果為 X，否則結果為 Y。

舉個例子，假設我們有一個型別 T，它可以是 string 或 number，我們可以使用條件類型來決定 T 的型別：

type T = T extends string ? string : number;

上面的程式碼會將 T 的型別決定為 string 或 number，取決於 T 是否繼承自 string。

條件類型的應用

條件類型可以用於許多不同的場景，例如：

• 將一個型別轉換為另一個型別，例如將 string 轉換為 number；
• 將一個型別轉換為另一個型別的子類型，例如將 string 轉換為 string | number；
• 將一個型別轉換為另一個型別的聯合類型，例如將 string 轉換為 string & number；
• 將一個型別轉換為另一個型別的交集類型，例如將 string 轉換為 string & number；
• 將一個型別轉換為另一個型別的差集類型，例如將 string 轉換為 string & number；
• 將一個型別轉換為另一個型別的反向類型，例如將 string 轉換為 string & number。

結論

TypeScript 條件類型(conditional type) 是 TypeScript 3.0 版本新增的功能，它可以讓開發者在型別定義時，根據條件來決定型別的變化。條件類型可以用於許多不同的場景，例如將一個型別轉換為另一個型別、將一個型別轉換為另一個型別的子類型、將一個型別轉換為另一個型別的聯合類型等等。

閱讀全文

TypeScript 安裝

TypeScript 是一個由 Microsoft 開發的 JavaScript 的超集，它提供了更多的特性，讓開發者可以更容易地開發出更大型的應用程式。TypeScript 可以讓開發者在開發時就可以檢查出程式碼中的錯誤，並且可以更容易地將程式碼移植到其他平台上。

閱讀全文

TypeScript 類型繼承(type inheritance)

TypeScript 是一種強型別的 JavaScript 語言，它可以讓開發者在程式碼中定義資料型別，並且提供了類型繼承的功能，讓開發者可以更有效率的開發出更健壯的程式碼。

什麼是類型繼承

類型繼承是指一個類型可以繼承另一個類型的屬性和方法，讓開發者可以更有效率的開發出更健壯的程式碼。

TypeScript 中的類型繼承

TypeScript 中的類型繼承是使用 extends 關鍵字來定義的，下面是一個簡單的範例：

class Animal {
    name: string;
    constructor(name: string) {
        this.name = name;
    }
    move(distanceInMeters: number) {
        console.log(`{this.name} moved{distanceInMeters}m.`);
    }
}

class Dog extends Animal {
    bark() {
        console.log('Woof! Woof!');
    }
}

const dog = new Dog('Puppy');
dog.bark();
dog.move(10);

在上面的範例中，我們定義了一個 Animal 類別，並且定義了一個 Dog 類別，並且使用 extends 關鍵字來繼承 Animal 類別，這樣 Dog 類別就可以繼承 Animal 類別的屬性和方法，並且可以定義自己的屬性和方法。

總結

TypeScript 提供了類型繼承的功能，讓開發者可以更有效率的開發出更健壯的程式碼。使用 extends 關鍵字可以讓一個類型繼承另一個類型的屬性和方法，讓開發者可以更有效率的開發出更健壯的程式碼。

閱讀全文

TypeScript 函數(functions)的函數重載

TypeScript 是一種強型別的 JavaScript 語言，它可以讓開發者在程式碼中指定變數的型別，以及函數的參數和回傳值的型別，讓開發者可以在編譯時期就可以發現錯誤，減少在執行時期發生的錯誤。

TypeScript 也支援函數重載，讓開發者可以定義不同參數的函數，在執行時期，TypeScript 會根據參數的型別來決定要執行哪個函數，以下是一個簡單的範例：

function add(a: number, b: number): number;
function add(a: string, b: string): string;
function add(a: any, b: any): any {
    return a + b;
}

let result1 = add(1, 2); // result1 為 3
let result2 = add("Hello", "World"); // result2 為 "HelloWorld"

上面的程式碼中，我們定義了兩個函數 add，一個接受兩個 number 型別的參數，另一個接受兩個 string 型別的參數，當我們呼叫 add 函數時，TypeScript 會根據參數的型別來決定要執行哪個函數，如果參數的型別不符合任何一個函數的定義，就會執行最後一個函數，也就是 any 型別的函數。

閱讀全文

TypeScript 泛型(generics)的泛型約束

TypeScript 泛型(generics)是一種強大的工具，可以讓我們在編寫程式時更加彈性，可以讓我們在不改變程式碼的情況下，對程式碼的型別進行更多的控制。在 TypeScript 中，我們可以使用泛型約束來更加精確地控制我們的程式碼，讓我們可以更容易地撰寫出更健壯的程式碼。

閱讀全文

TypeScript 函數(functions)的基本用法

TypeScript 是一種 JavaScript 的超集，它擁有 JavaScript 的所有功能，並且擁有額外的特性，其中之一就是函數(functions)。函數是 TypeScript 程式設計的基礎，它可以讓開發者更有效率的開發程式碼，並且更容易維護。本文將介紹 TypeScript 函數的基本用法，讓開發者可以更有效率的開發程式碼。

定義函數

在 TypeScript 中，可以使用 function 關鍵字來定義函數，例如：

function add(x: number, y: number): number {
    return x + y;
}

上面的函數定義了一個名為 add 的函數，它接受兩個參數，並且傳回一個數字。

閱讀全文

TypeScript 類型擦除(type erasure)

TypeScript 是一種 JavaScript 的超集，它提供了類型檢查功能，可以在編譯時期檢查出程式碼中的錯誤，以提高程式碼的品質。

然而，TypeScript 編譯後的 JavaScript 程式碼，並不會保留原本的類型資訊，這種現象被稱為「類型擦除(type erasure)」。

閱讀全文

TypeScript 類型謂詞保護(type predicate protection)

TypeScript 是一種強型別的 JavaScript 語言，它可以提供給開發者更多的安全性和可靠性。TypeScript 類型謂詞保護(type predicate protection) 是一種特殊的類型檢查，它可以幫助開發者更好地控制程式碼的行為，並且可以減少程式碼中的錯誤。

閱讀全文

TypeScript 泛型(generics)的泛型類是一種強大的工具，可以讓開發者在不改變原有程式碼的情況下，對程式碼進行更多的擴充與改變。它可以讓開發者在程式碼中定義一個泛型類，讓程式碼可以接受任何類型的資料，而不需要改變原有的程式碼。

閱讀全文