TypeScript 中的映射类型修饰符
在 2016 年 12 月 Typescript 2.1 的时候，映射类型被添加到了这门语言中。作为 Typescript 2.8 的一部分，映射类型增加了给属性添加或删除特定修饰符的能力。在这之前，我们只能给属性添加修饰符，而不能移除它们。
? 属性修饰符
你可以在一个对象类型声明的任意属性后添加 ? 修饰符来使得该属性变成可选属性：
interface TodoItem {
description: string
priority?: 'high' | 'medium' | 'low'
}
添加了 ? 之后，在创建一个 TodoItem 类型的对象时可以设置也可以不设置 priority 属性：
// We can set the `priority` property to one of the 3 values
const todo1: TodoItem = {
description: 'Mow the lawn',
priority: 'high',
}
// Or we can leave it out entirely (since it's optional)
const todo2: TodoItem = {
description: 'Mow the lawn',
}
// Or we can explicitly set the value `undefined`
const todo3: TodoItem = {
description: 'Mow the lawn',
priority: undefined,
}
我们已经知道如何将一个特定对象类型的特定属性变为可选属性。现在我们来看一看如何在泛型中运用 ? 修饰符来让一个给定类型的所有属性变成可选。
Partial<T> 映射类型
转换一个给定类型的所有属性是映射类型典型的使用场景。一个映射类型定义了类型的转换程序。也就是，它可以得到一个已存在类型的所有属性，然后根据映射规则转换它们，最后创造一个由这些转换后属性组成的新类型。
让我们来定义一个 Partial<T> 映射类型，给泛型 T 的所有属性添加 ? 修饰符：
type Partial<T> = {
[P in keyof T]?: T[P]
}
我们的 Partial<T> 类型使用了 keypf 操作符来得到 T 类型定义的所有属性。它同时使用了索引访问类型T[P]来查询T 的每一个 P 属性的类型。最后，通过 ?修饰符把每一个属性变成了可选。
如果我们将 Partial<T> 应用于前面的 TodoItem 类型，结果类型会得到两个可选的属性：
type PartialTodoItem = Partial<TodoItem>
// {
// description?: string | undefined;
// priority?: "high" | "medium" | "low" | undefined;
// }
可以发现 Partial<T> 在很多应用中都非常有用，所以 Typescript 团队决定将它包括在 lib.es5.d.ts 文件中，作为 typescript 这个 npm 包的一部分一起发布。
/**
* Make all properties in T optional
*/
type Partial<T> = {
[P in keyof T]?: T[P]
}
移除 ？映射类型修饰符
我们已经知道如何通过Partial<T>给一个给定类型 T 的所有属性添加 ? 修饰符。那我们如何从一个给定类型的所有属性中移除 ? 修饰符呢？
在 Typescript 2.8 中，你可以给 ? 修饰符添加 - 前缀来移除它。一个移除了 ? 修饰符的属性会变成一个必需的属性。lib.es5.d.ts 文件现在包含了一个新定义的 Required<T> 类型来做这件事：
/**
* Make all properties in T required
*/
type Required<T> = {
[P in keyof T]-?: T[P]
}
我们可以使用 Required<T> 来使得 TodoItem 类型的所有属性都变成必需：
type RequiredTodoItem = Required<TodoItem>
// {
// description: string;
// priority: "high" | "medium" | "low";
// }
注意，在经过这个转换后，priority 属性不再是可选的。
添加 ? 映射类型修饰符
我们已经知道通过 -? 移除 ? 修饰符。为了保持对称和一致性，Typescript 允许你通过 +? 来给属性添加 ? 修饰符。所以你也可以像下面这样定义 Partial<T> 类型：
type Partial<T> = {
[P in keyof T]+?: T[P]
}
注意一个不包含 + 或者 - 前缀的属性修饰符和添加了 + 前缀的属性修饰符效果是一样的。写 +? 相比 ? 并没有什么额外的好处。我建议你还是继续使用 ?，它是你在一个接口或类型别名中定义可选属性所使用的语法。
readonly 属性修饰符
你可以在映射类型中使用 readonly 修饰符来使得属性变成只读：
type ReadonlyTodoItem = Readonly<TodoItem>
// {
// readonly description?: string | undefined;
// readonly priority?: "high" | "medium" | "low" | undefined;
// }
如果你给一个只读属性赋值编译器会提示错误：
const todo: ReadonlyTodoItem = {
description: 'Mow the lawn',
priority: 'high',
}
// Error: Cannot assign to 'priority'
// because it is a read-only property.
todo.priority = 'medium'
移除 readonly 映射类型修饰符
和通过 -? 移除 ? 修饰符类似，你可以通过 -readonly 移除 readonly 修饰符。让我们来定义一个 Mutable<T> 类型，帮助我们移除 T 类型中的所有属性的 readonly 修饰符：
type Mutable<T> = {
-readonly [P in keyof T]: T[P]
}
现在，下面的代码变成类型正确了，编译器不会再抱怨说不能给一个只读属性赋值：
const todo: Mutable<ReadonlyTodoItem> = {
description: 'Mow the lawn',
priority: 'high',
}
todo.priority = 'medium'
添加 readyonly 映射类型修饰符
和通过 +? 给属性添加 ? 修饰符类似，你也可以通过 +readonly 给属性添加 readonly 修饰符。所以你可以像下面这样重写预定义的 Readonly<T> 映射类型：
type Readonly<T> = {
+readonly [P in keyof T]: T[P]
}
再一次，我建议你继续使用普通的 readonly，因为使用 +readonly 并没有什么额外的好处。