TypeScript

某天，小A正在练习类型体操，深入学习TypeScript类型操作相关知识，想要实现一个名为 MyReadonly2 的类型，该类型是内置工具类型 Readonly 的pro版本

泛型 数据结构的本质是什么？ 主要包括三个部分： 数据本身： 数据的形状：例如二叉树中数据以分层的形式排布，每个元素最多由两个子元素。在链表中，数据以链式存储，顺序布局 一组保留形状的操作：对链表进行

infer 这个词的含义即 推断，实际作用可以用四个字概括：类型推导。它会在类型未推导时进行占位，等到真正推导成功后，它能准确地返回正确的类型。

在各种类型操作中，少不了 extends关键字的身影，它主要有以下几个作用： 接口继承 类型约束以及条件类型.......

在TypeScript类型操作中typeof和in经常放在一起使用，使用频率也很高，因此将这两个关键字放在一起介绍

Type aliases and interfaces are very similar, and in many cases you can choose between them freely.

`never`和`unknown`朝着两个相反的方向行进，所有的类型都可以赋值给`unknown`, `never`可以赋值给任何类型；`unknown`不能赋值给除any和自身之外的任何类型

首先是二者的相同点：unknown和any都是顶层类型，也就是所有类型都可以赋值给unknown和any