从类型中创建类型

TypeScript的类型系统非常强大，因为它允许用其他类型的术语来表达类型。

这个想法的最简单形式是泛型，我们实际上有各种各样的类型操作符可以使用。也可以用我们已经有的值来表达类型。

通过结合各种类型操作符，我们可以用一种简洁、可维护的方式来表达复杂的操作和值。在本节中，我们将介绍用现有的类型或值来表达一个新类型的方法。

• 泛型 - 带参数的类型

• Keyof 类型操作符 - keyof 操作符创建新类型

• Typeof 类型操作符 - 使用 typeof 操作符来创建新的类型

• 索引访问类型 - 使用 Type['a'] 语法来访问一个类型的子集

• 条件类型 - 在类型系统中像if语句一样行事的类型

• 映射类型 - 通过映射现有类型中的每个属性来创建类型

• 模板字面量类型 - 通过模板字面字符串改变属性的映射类型