三、TypeScript的關鍵特性

以下是一些 TS?的關鍵特性：

• 靜態類型檢查：在代碼運行之前，TS編譯器會檢查類型錯誤。這有助于在早期發現潛在的問題。
• 類型推斷：TS 能夠根據上下文自動推斷變量的類型，減少了必須顯式聲明類型的情況。
• 類型注解：可以在變量、函數參數和函數返回值上添加類型注解，以明確它們的類型。
• 接口和類：TS支持面向對象編程的特性，如類、接口和繼承。
• 枚舉類型：TS提供了枚舉類型，這在 JS 中是沒有的，可以用來定義一組命名常量。
• 泛型：泛型允許用戶創建可重用的組件，這些組件可以支持多種類型而不會丟失其原有類型。
• 模塊化：TS 支持模塊，可以幫助組織和維護大型代碼庫。
• 工具支持：TS有很好的編輯器支持，比如自動完成、導航到定義和重構支持。

四、TypeScript的類型系統

TS的類型系統是該語言的核心特性之一，它在 JS的基礎上添加了類型注釋和靜態類型檢查。這意味著你可以在編碼階段指定變量、函數參數和返回值的類型，這樣 TS 編譯器就可以在代碼運行之前檢測到潛在的類型錯誤。

1、什么是類型注釋？

在TS中，類型注釋是一種輕量級的方式來記錄函數或變量的期望類型。類型注釋可以幫助開發者理解代碼應如何使用，同時也允許TS編譯器檢查類型錯誤。

類型注釋通常跟在變量名后面，使用冒號和空格分隔，然后是類型名稱。下面是一些基本的類型注釋示例：

作用：為變量添加類型約束。比如，上述例子中：
name?是一個類型為?string?的變量；
age?是一個類型為?number?的變量；
isActive?是一個類型為?boolean?的變量；
函數?greet?接收一個?string?類型的參數，并返回一個?string?類型的值；
對象?user?有兩個屬性，分別為?string?類型的?name?和?number?類型的?age；
數組?numbers?和?names?分別包含?number?類型和?string?類型的元素；
元組?tuple?包含一個?string?類型和一個?number?類型的元素；

??！！！約定了什么類型，就只能給變量賦值該類型的值，否則，就會報錯。

類型注釋不是JS的一部分，它們在TS代碼被編譯成JS時會被移除。這意味著它們不會影響生成的JS代碼的性能。它們的主要目的是在開發階段提供類型校驗和編輯器支持。

2、類型系統核心 - 常用類型

下面是 TS類型系統的一些基本組成部分：

1）?基本類型（原始類型）：? ??

在TS中，基本類型（也稱為原始類型）是構建其他類型的基石。下面是TS中的一些基本類型，這些類型，完全按照 JS 中類型的名稱來書寫。?

• 數字（Number）?

? ? ? ?在TS中，不管是整數還是浮點數，統一使用number類型表示。它還支持十進制、十六進制、二進制和八進制字面量。

// 數字（Number）類型
let decimal: number = 6;
let hex: number = 0xf00d;
let binary: number = 0b1010;
let octal: number = 0o744;

• 字符串（String）

? ? ? ?字符串數據用于表示文本數據，可以是單引號('), 雙引號(")或模板字符串(``)。TS中的文本數據類型是string。

// 字符串（String）
let name: string = "letu";
name = '樂途';
let sentence: string = `Hello, my name is ${ name }.`;

• 布爾值（Boolean）

? ? ? 布爾值是最基本的數據類型，在TS中，它表示邏輯上的真（true）或假（false）。只有兩個值：true和false，它通常用于控制條件語句，如if語句。

// 布爾值（Boolean）
let isDone: boolean = false;
isDone = true

• Null 和 Undefined?

? ? ? ?在TypeScript中，null和undefined是所有類型的子類型。這意味著你可以將null和undefined賦值給像number或string這樣的類型。但是，當你使用--strictNullChecks標志時，null和undefined只能賦給any和它們各自的類型（這意味著undefined只能賦給undefined類型，null只能賦給null類型）

Undefined:
undefined類型代表未定義的值。在JavaScript中，如果你聲明一個變量但沒有給它賦值，那么它的值就是undefined。在

let notAssigned: undefined; // 變量沒有賦值，只定義了類型為undefined
console.log(notAssigned); // 輸出 "undefined"

TypeScript中，通常不會直接使用undefined類型，因為這限制了變量只能被賦予undefined值。

Null：

null類型表示沒有任何對象值。在JavaScript中，null通常被用來表示一個意料之中的缺失值。

let emptyValue: null; // 變量被賦予null類型
emptyValue = null; // 合法的賦值

和undefined一樣，直接使用null類型不是特別有用，因為這樣變量除了null之外不能賦予任何其它值。但是，你可以通過聯合類型來指定一個變量可能是null。

當啟用--strictNullChecks時，null和undefined的行為會更加嚴格。任何不顯式包含null或undefined的類型都不能被賦予這些值。

let strictString: string;
strictString = null; // 錯誤，不能將類型“null”分配給類型“string”
strictString = undefined; // 錯誤，不能將類型“undefined”分配給類型“string”

• Symbol

  symbol類型是ECMAScript 2015的新特性，symbol是不可改變且唯一的。常用來作為對象屬性的鍵。

  let sym1 = Symbol();
  let sym2 = Symbol("key"); // 可選的字符串key
  

  symbol類型的值是通過Symbol構造函數創建的。每個symbol都是唯一的。即使你用相同的字符串來創建兩個symbol，它們也是不相等的。

  let sym3 = Symbol("key");
  let sym4 = Symbol("key");
  console.log(sym3 === sym4); // 輸出 "false"
  

  symbol類型的主要用途之一是作為對象屬性的鍵，這些屬性不會與其他屬性沖突，并且不會被通常的方法（如Object.keys或for...in循環）枚舉到。

  let obj = {[sym1]: "value"
  };
  console.log(obj[sym1]); // "value"
  

2. 數組：
? ?- `type[]`: 表示一個元素類型為 `type` 的數組。
? ?- `Array<type>`: 另一種表示數組的方式。

3. 元組：
? ?- `[type1, type2]`: 表示一個已知元素數量和類型的數組，各元素的類型不必相同。

4. 枚舉：
? ?- `enum`: 用于定義一組命名常量。

5. 任意類型：
? ?- `any`: 可以是任何類型，TypeScript 不會對這些變量進行類型檢查。

6. Void：
? ?- 用于表示沒有任何類型，通常用于函數沒有返回值的情況。

7. Never：
? ?- 表示永遠不存在的值的類型，例如，一個拋出異常或永不返回的函數的返回類型。

8. 聯合類型：
? ?- `type1 | type2`: 表示一個值可以是 `type1` 或 `type2`。

9. 交叉類型：
? ?- `type1 & type2`: 表示一個值同時是 `type1` 和 `type2`。

10. 類型別名：
? ? - `type Name = ...`: 創建一個新名字來引用某種類型。

11. 接口：
? ? - `interface`: 定義對象類型，可以包括屬性和方法的類型定義。

12. 泛型：
? ? - 允許在定義函數、接口、類時不預先指定具體的類型，而是在使用時再指定類型的特性。

疑問

1、--strictNullChecks標志是什么？

--strictNullChecks?是 TypeScript 編譯器的一個選項。當這個標志被啟用時，編譯器會更加嚴格地檢查?null?和?undefined?值，以避免可能的運行時錯誤。

在沒有啟用?--strictNullChecks?的情況下，所有類型都隱式地包含?null?和?undefined?值。這意味著如果你有一個類型為?string?的變量，那么它實際上可以被賦予?string、null?或?undefined?值。

let myString: string;myString = null; // 沒有錯誤，即使在沒有 --strictNullChecks 的情況下
myString = undefined; // 沒有錯誤