typescript: Extract

Extract 工具型別

前言

在使用 enum 或是一些限縮條件下的型別時，往往不知道如何描述其型別。 extract 提供了一個方便的方式來讓 typescript 知道我們想要的型別限縮範圍**

涵義解釋：

Extract 是 TypeScript 的一個條件型別，它用於從一個較大的型別（通常是聯合型別）中選出符合「特定」條件的型別。

舉個例：

type PrimitiveTypes = string | number | boolean;
type OnlyString = Extract<PrimitiveTypes, string>;

假設我們有一個聯合型別 PrimitiveTypes，包含 string、number 和 boolean 這三種基本型別。
當我們使用 Extract<PrimitiveTypes, string> 時，我們就是在問：“在 PrimitiveTypes 中，有哪些型別是 string 型別？”
所以只有 string 會成立。
因此，OnlyString 的型別會是 string。

好處：

這種方式的好處在於它提供了一種靈活而強大的方式來選擇型別。這在處理複雜的型別系統時特別有用，比如當你有一個包含多種型別的聯合型別，並且你只想處理其中的某些特定型別時。

常見用法與範例：

1. 過濾特定型別的元素：

   ​​​type Event = 'click' | 'scroll' | 'mousemove' | number;
   ​​​type StringEvent = Extract<Event, string>;
   ​​​// StringEvent 型別是 'click' | 'scroll' | 'mousemove'
   

   從 Event 聯合型別中提取了所有的 string 型別成員。

2. 從枚舉中提取特定的值：

   ​​​enum Status { New = 'new', InProgress = 'inProgress', Completed = 'completed' }
   ​​​type ActiveStatus = Extract<Status, 'new' | 'inProgress'>;
   ​​​// ActiveStatus 的型別是 'new' | 'inProgress'
   

從 Status 枚舉中提取了符合 'new' 或 'inProgress' 的成員。

3. 函數參數的限制：

   ​​​type Pets = 'dog' | 'cat' | 'bird';
   ​​​type DomesticPets = 'dog' | 'cat';
   
   ​​​function adoptPet(pet: Extract<Pets, DomesticPets>) {
   ​​​    // ...
   ​​​}
   ​​​
   ​​​adoptPet('dog'); // 正確
   ​​​adoptPet('bird'); // 錯誤，因為 'bird' 不在 'dog' | 'cat' 的範圍內
   

   adoptPet 的參數 pet 被限制為只能是 Pets 中也屬於 DomesticPets 的型別。