本文主要整理一下extends关键字在TS中的两种用法，即接口继承和条件判断。文章重点说明extends条件判断在ts中的特殊用法，以及尝试解释一些特殊示例。最后，举例说明extends在高级类型推断

不久前曾做了一场分享，希望可以用 md 记录下来，主要是想深入浅出地帮助大家搞懂 TypeScript 中最难的一部分，协变逆变和 infer 以及前置知识。

使用 JS 的数组时，发现 JS 的数组可以存放不同类型的元素、并且数组长度是可变的。what？？这跟我之前接触的数组不一样啊。数据结构中定义的数组是定长的、数据类型一致的存储结构。 JS 中的数组竟然如此特殊，这也是为什么标题中数组二字加上了“”的原因。带着一脸的懵逼，打开搜…

感谢 Babel 的 TypeScript 插件（@babel/preset-typescript），TypeScript 从未变得如此简单，这是 TypeScript 和 Babel 团队长达一年的官方合作成果。本文列举出了4条理由来证明 TypeScript 和 Babel…