协变和逆变是编程理论中一个很重要的话题。用于表达父类子类在安全类型转换后的兼容性（或者说继承关系）。定义为：如果A，B代表两个类型；f()表示类型转换；A -> B表示A是B的子类。 我们有名为Animial的父类，Cat是Animal的子类。WhiteCat是Cat的子类， …

❗️准备知识 :熟悉 React熟悉 TypeScript (参考书籍：2ality's guide, 初学者建议阅读：chibicode's tutorial）熟读 React 官方文档 TS部分熟

unknown 指的是不可预先定义的类型，在很多场景下，它可以替代 any 的功能同时保留静态检查的能力。 这个时候 unknown 的作用就跟 any 高度类似了，你可以把它转化成任何类型，不同的地方是，在静态编译的时候，unknown 不能调用任何方法，而 any 可以。 …

vue3🔥是用typescript实现的, 所以我认为他的源码是我们学习tyepscript的最佳实践, 下面我就用他源码中的实例让大家学会使用typescript的"is"特性. 是一种类型推断表达式的关键字, 通过和函数返回值的比较, 从而"缩小"参数的类型范围. 😠看…

对于有 JavaScript 基础的同学来说，入门 TypeScript 其实很容易，只需要简单掌握其基础的类型系统就可以逐步将 JS 应用过渡到 TS 应用。 然而，当应用越来越复杂，我们很容易把一些变量设置为 any 类型，TypeScript 写着写着也就成了 AnySc…

在 typescript （后面简称为 ts）中定义 interface（后面简称为“接口”） 时，常常需要对进行二次封装或调整，而 ts 在2.1版本中加入了一些程序类型工具，供开发者方便的进行此类操作。 这些程序类型早在2016年就发布了，因此已经被很多框架或插件所使用。那…

在上一篇我重点讲述了 ts 的交叉类型，本期将结合实例重点讲述 ts 中的一些高级操作符。本篇文章略长，笔者之前的文章都略短，作为男人还是要好好学习，文章还是长点好。 自己的 ts 代码更加智能，不再是满屏的 any 了。 下面我将结合具体实栗向大家讲述 ts 中的高级操作符。…

欢迎来到 《探索 TypeScript 类型注解》 系列教程。 上一篇介绍了类型检查机制，本篇深入探索高级类型。 具有联合类型的值只能访问类型的共有成员。 keyof T：表示为 T 的公有属性名的联合。 T[K]：表示 T 的属性 K 的类型。 如果类型 T 带有字符串索引签…

在编写 TS 时，它做了比我们看到的更多的事情，例如类型保护机制。让我们编写的代码更加严谨，至于怎么回事，让我们来看看吧。 由于这些机制的存在，就算你仍旧以 JS 原生的书写方式，也能帮助你提前发现代码中潜在的问题。（对于认为 TS 语句更复杂的人，也能实现 0 门槛，不改变已…