《typescript》专题

迭代器和生成器这两个概念总是很容易混淆，经过上节的学习我们知道迭代器是一个对象，那么本节首先要记住：生成器是一种能够中途停止，然后从停止的地方继续运行的函数。可以借助 yield 或 return 停止函数运行。 1. 慕课解释 通过 function* 来创建一个生成器函数，在调用一个生成器函数后，并不会立即执行函数中的代码，而是会返回一个迭代器对象，通过调用迭代器对象的 next() 方法，可

如果要从一个数据集中获取一个数据项，可以对这个数据集进行迭代。 JavaScript 提供了许多迭代集合的方法，从简单的 for 循环到 map() 和 filter()。本节要介绍的迭代器也是一种方案，并且迭代器将迭代的概念直接带入核心语言，同时提供了一种机制来自定义 for...of 循环的行为。 1. 慕课解释 迭代器是一种特殊对象，它符合迭代器协议规范。在 TypeScript 中，我们可

除了明确的 true 和 false 两个 boolean 类型外，JavaScript 可以在需要用到布尔类型值的上下文中使用强制类型转换将值转换为布尔值。 1. 慕课解释 Truthy 指的是转换后的值为’真‘的值，Falsy 是在 Boolean 上下文中已认定可转换为‘假‘的值。 变量类型 Truthy Falsy boolean true false string 非空字符串 ‘’ nu

本节要介绍的 infer 关键字有些难理解，我们来通过一个类比来帮助理解。 语句 let num 中，通过 let 来声明了一个变量，那怎样声明一个不确定的类型变量呢？ 答案是使用 infer 关键字，infer R 就是声明了一个类型变量 R。 1. 慕课解释 在条件类型表达式中，可以在 extends 条件语句中使用 infer 关键字来声明一个待推断的类型变量。 2. 通过 ReturnTy

本节介绍 TypeScript 中的 is 关键字，它被称为类型谓词，用来判断一个变量属于某个接口或类型。如果需要封装一个类型判断函数，你应该第一时间想到它，本节列出了一些常用的类型判断函数以供参考。 1. 慕课解释 is 关键字一般用于函数返回值类型中，判断参数是否属于某一类型，并根据结果返回对应的布尔类型。 语法：prop is type 2. 举例说明 在一些兑换码场景，经常会需要将兑换码全

本节介绍 TypeScript 高级类型中的条件类型（conditional type），条件类型就是在初始状态并不直接确定具体类型，而是通过一定的类型运算得到最终的变量类型。 1. 慕课解释 条件类型用来表达非均匀类型映射，可以根据一个条件表达式来进行类型检测，从两个类型中选出其中一个： T extends U ? X : Y 语义类似三目运算符：若 T 是 U 的子类型，则类型为 X，否则类

TypeScript 会将一些好用的工具类型纳入基准库中，方便开发者直接使用，本节介绍的映射类型就是这样的工具类型。 对这种工具类型，我们不只要知道使用方法，还要了解其实现功能的本质。本节我们会从源码进行分析，逐步掌握。 1. 慕课解释 映射类型可以将已知类型的每个属性都变为可选的或者只读的。 2. Readonly 与 Partial 关键字 先来看这样一个任务：将 Person 接口的每个属性

下面是一个常见的 JavaScript 函数，实现从一个对象中选取指定属性，得到它们的属性值： function pluck(o, names) { return names.map(n => o[n]) } 实现这样一个函数的类型定义要满足： 数组参数 names 中的元素，只能是对象 o 身上有的属性。 返回类型取决于参数 o 身上属性值的类型。 我们可以通过索引类型实现这样的类型定义。

本节介绍的类型别名，就是通过关键字 type 给类型起个别名，类型别名较多应用于联合类型、交叉类型这种复合类型。 1. 慕课解释 类型别名会给类型起个新名字。类型别名有时和接口很像，但是可以作用于原始值，联合类型，元组以及其它任何你需要手写的类型。 用关键字 type 定义类型别名。 2. 举例说明 类型别名不会新建一个类型，而是创建一个新名字来引用此类型。 先看下面几个例子， 原始类型： typ

本节介绍联合类型，它使用管道符 | 把多个类型连起来，表示它可能是这些类型中的其中一个。我们把 | 理解成 or，这样便于轻松记忆。 1. 慕课解释 联合类型与交叉类型很有关联，但是使用上却完全不同。区别在于：联合类型表示取值为多种中的一种类型，而交叉类型每次都是多个类型的合并类型。 语法为：类型一 | 类型二。 2. 简单示例 联合类型之间使用竖线 “|” 分隔： let currentMont

本节起开始介绍 TypeScript 高级类型，依次是交叉类型、联合类型、类型别名、索引类型、映射类型、条件类型。 本节介绍交叉类型的语法和应用，跟数学集合里的相交不一样，TypeScript 的交叉类型并不是指每个类型的交集，& 的意思理解成 and ，A & B 表示同时包含 A 和 B 的结果。 1. 慕课解释 交叉类型是将多个类型合并为一个类型。 这让我们可以把现有的多种类型叠加到一起成为

前面小节中，介绍了 TypeScript 类型检查机制中的 类型推断 与 类型保护，本节来介绍 类型兼容性。 我们学习类型兼容性，就是在学习 TypeScript 在一个类型能否赋值给其他类型的规则。本节将会详细介绍 TypeScript 在函数、枚举、类和泛型中的类型兼容性规则。 1. 慕课解释 类型兼容性用于确定一个类型是否能赋值给其他类型。 TypeScript 的类型检查机制都是为了让开发

本节开始介绍 TypeScript 一些进阶知识点，第一个要介绍的泛型是 TypeScript 中非常重要的一个概念，它是一种用以增强函数、类和接口能力的非常可靠的手段。 使用泛型，我们可以轻松地将那些输入重复的代码，构建为可复用的组件，这给予了开发者创造灵活、可重用代码的能力。 1. 慕课解释 泛型在传统的面向对象语言中极为常见，可以使用泛型来创建可重用的组件，一个组件可以支持多种类型的数据。

本节介绍的类型保护 TypeScript 类型检查机制的第二个部分，我们可以通过 typeof、instanceof、in 和 字面量类型 将代码分割成范围更小的代码块，在这一小块中，变量的类型是确定的。 1. 慕课解释 类型保护是指缩小类型的范围，在一定的块级作用域内由编译器推导其类型，提示并规避不合法的操作。 2. typeof 通过 typeof 运算符判断变量类型，下面看一个之前介绍函数重

本节介绍类型断言，有使用关键字 as 和标签 <> 两种方式，因后者会与JSX 语法冲突，建议统一使用 as 来进行类型断言。 1. 慕课解释 TypeScript 允许你覆盖它的推断，毕竟作为开发者你比编译器更了解你写的代码。 类型断言主要用于当 TypeScript 推断出来类型并不满足你的需求，你需要手动指定一个类型。 2. 关键字 as 当你把 JavaScript 代码迁移到 TypeS