介绍

TypeScript是一个由微软开发的开源编程语言，它是JavaScript的超集，为大型和复杂的代码库带来了静态类型检查。

在TypeScript中，部分机制和语法是我们所熟知的，如泛型、枚举、接口等。但在该语言的版本更新中，还加入了另一个非常有用的特性——映射类型。

在本文中，我们将更深入地探讨 TypeScript 映射类型，以及如何使用 TypeScript 提供的字面量类型推断功能，通过两个具体示例来理解这些概念。

映射类型

映射类型是TypeScript中的一种高级类型，它可以用于将一个已知的类型映射到另一个类型，从而生成一个新类型。这有助于我们在不改变原来类型的结构的情况下，对类型进行转换和操作。

让我们来看看以下示例代码：

type Person = {
  name: string;
  age: number;
};

type PersonOptions = {
  [P in keyof Person]?: Person[P];
};

在这个示例中，我们定义了两个类型，一个是Person类型，它是一个拥有名字和年龄属性的对象类型。另一个是PersonOptions类型，它是通过映射类型生成的一个新类型，我们可以有选择地复制Person类型的属性。这里我们使用了 keyof 操作符，它会把一个对象类型的键集合作为键的类型返回。我们通过这种方式来定义一个键值对类型，其中键是来自Person类型的键，值可以是来自同一个地方类型的值或undefined。换句话说，PersonOptions类型是Person类型的键值对类型的可选版本。

现在让我们考虑另一个常见的情况：将一个已知对象类型中的所有属性都转换为只读属性，使其不能被修改。通过使用映射类型，我们可以很容易地实现这一点：

type Readonly<T> = {
  readonly [P in keyof T]: T[P];
};

type Person = {
  name: string;
  age: number;
};

type ReadonlyPerson = Readonly<Person>;

在上面的示例中，我们首先定义了一个通用的 Readonly 映射类型，它包含一个类型参数 T。我们使用 in 关键字将 T 中的每个属性作为键，其相应的类型被替换为可读的只读版本 readonly T[P]。最终，我们将这个通用的 Readonly 映射类型应用于 Person 类型，从而获得了 ReadonlyPerson 类型。

字面量类型推断

除了映射类型之外，TypeScript还应用了更好的字面量类型推断功能，这是TS最近版本更新的一项新特性。在早期版本中，TypeScript对字面量类型的推断能力非常弱，难以确定变量是否应该具有特定的字面量类型。

让我们通过一个示例来说明这一点：

function greet(name: string) {
  console.log(`Hello, ${name}!`);
}

greet('John'); // Hello, John!
greet('Mary' as 'Mary'); // Hello, Mary!
greet('Smith' as string); // Hello, Smith!

在上面的代码中，我们定义了一个 greet 函数，它需要一个字符串类型的参数 name。但是，在调用函数时，我们可以使用 TypeScript 中的字面量类型推断功能，以使得传递的参数具有特定的字面量类型。在这个例子中，我们使用 as 关键字将字符串强制转换成字面量类型。

在TypeScript 4.1中，字面量类型推断进一步改进。现在，TypeScript可以根据上下文自动推断字面量类型，不需要强制转换。让我们通过以下示例来演示：

type Gender = 'male' | 'female';
type Person = {
  name: string;
  age: number;
  gender: Gender;
};

function createPerson(name: string, age: number, gender: Gender): Person {
  return {
    name,
    age,
    gender,
  };
}

const person = createPerson('John', 25, 'male');

console.log(person); // { name: 'John', age: 25, gender: 'male' }

在上面的示例中，我们定义了一个 Person 类型，它包含一个 gender 属性，其类型是字面量类型 Gender。我们还定义了一个 createPerson 函数，该函数返回 Person 类型。在调用 createPerson 函数时，我们传递了 'male' 字符串值作为 gender 参数。由于上下文信息表明 gender 属性应该是 Gender 字面量类型，TypeScript会自动推断出 gender 参数为字面量类型 'male'。