"Extract"是一个常见的操作，用于从数据结构中获取子集。在TypeScript中，"Extract"是一个工具类型，用于从联合类型中提取特定的类型。以下是其基本用法：

type T = 'a' | 'b' | 'c';
type R = Extract'a' | 'b'>;  // 'a' | 'b'

在这个例子中，T是一个联合类型，包含'a', 'b', 'c'三种类型。Extract将从T中提取出'a'和'b'，所以R的类型是'a' | 'b'。

在TypeScript中，"Exclude"也是一个工具类型，用于从一个类型中排除出另一个类型。以下是其基本用法：

type T = 'a' | 'b' | 'c';
type R = Exclude'a' | 'b'>;  // 'c'

在这个例子中，T是一个联合类型，包含'a', 'b', 'c'三种类型。Exclude将从T中排除出'a'和'b'，所以R的类型是'c'。

看到这里可能觉得没什么难的，我们再看下两者的源码。

type Exclude = T extends U ? never : T;
type Extract = T extends U ? T : never;

在TypeScript中，如果你想要创建一个泛型，该泛型应该被约束为非字符串类型，你可以使用"Exclude"工具类型来排除字符串。以下是一个例子：

type NonString = Excludestring>;
let num: NonString<number | string>; // num can only be number nownum = 123; // OKnum = "123"; // Error: Type 'string' is not assignable to type 'number'.

在这个例子中，NonString是一个新的泛型类型，它从T中排除了字符串类型。因此，当你尝试将一个字符串赋值给num时，TypeScript会抛出一个错误，因为字符串不是NonString的一个有效类型。

"Pick"和"Omit"也是工具类型，它们用于从对象类型中选择或排除某些属性。以下是它们的基本用法：

"Pick"用法：

type Todo = {  title: string;  description: string;  completed: boolean;};
type TodoPreview = Pick'title' | 'completed'>;
let todo: TodoPreview = {  title: 'Clean room',  completed: false,};

在这个例子中，Todo是一个对象类型，包含'title', 'description', 'completed'三个属性。Pick将从Todo中选择'title'和'completed'，所以TodoPreview的类型是 { title: string; completed: boolean; }。

"Omit"用法：

type Todo = {  title: string;  description: string;  completed: boolean;};
type TodoPreview = Omit'description'>;
let todo: TodoPreview = {  title: 'Clean room',  completed: false,};

在这个例子中，Todo是一个对象类型，包含'title', 'description', 'completed'三个属性。Omit将从Todo中排除'description'，所以TodoPreview的类型是 { title: string; completed: boolean; }。

我们再看下两者的源码。

type Pickextends keyof Type> = { [P in K]: Type[P]; }
type Omitextends keyof any> = Pick>;

"Pick"和"Extract"都是工具类型，但它们的用途和工作方式有所不同。总的来说，"Pick"和"Extract"都是用于创建新的类型，但"Pick"是从一个对象类型中选择属性，而"Extract"是从一个联合类型中提取类型。