青椒肉丝盖浇饭

什么是协变?什么是逆变? 前面我们学习了类型层级, 下至never, 上至any/unknown, 中间夹杂了字面量类型、联合类型、原始类型、包装类型等等; 我们也从结构化类型/类型信息多少的角度,

前面我们学习了类型工具、类型层级、泛型等概念, 并用它们组装了一些工具类型,其实在Typescript中, 系统是内置了很多工具类型的, 利用好它们, 可以提高我们的编程效率, 学习它们, 也有利于加

通过前面的学习, 我们知道了条件类型可以用来判断类型的兼容性, 从而确定类型的层级, 本节我们来看下统一学习下它的特性; 泛型 通过前面的学习,我们知道了, 泛型和类型工具通常能组合在一起, 构成一个

概念 在Typescript中, 我们之所以会得到各种类型的提示, 是因为有兼容性这个限制条件存在, 不兼容就会提示类型错误; 那么什么是不兼容? 凭什么说一个类型不兼容另一个类型呢? 这背后起作用的

何为结构化类型系统 我们一直都说, Typescript是结构化类型系统, 或者说所谓的鸭式辨型法, 即 一个东西长得像鸭子, 那它就是鸭子, 而不在乎它实际名字叫什么; 上面的例子中, 我们定义了一

类型工具中的泛型 前面我们介绍了许多类型工具, 比如: 类型别名、索引类型、映射类型 等等; 而泛型往往会和他们组合在一起, 形成一些工具类型! 所谓的工具类型, 其实就像我们日常Javascript

我们前面介绍了各种类型, 包括原始类型、字面量类型、也了解了类型层级的基本概念, 这些都是组成类型编程世界的基础, 属于一个基本单元; 接下来要说的类型别名、映射类型都可以看作是组织起这些基本单元的工

any和unknown any 前面, 我们学习了原始类型/字面量类型, 也了解了特殊的void类型, 不过和今天要介绍的any和unknown比起来, 它们都显得过于'普通'了; any即任意的意思

在前面的章节中, 我们说的类型其实都是一个变量的值的类型, 比如, 一个变量str的值是字符串, 那它的类型自然就是string; 而在JavaScript中, 我们不可能只处理这些简单的数据, 还有