TypeScript系列之-理解TypeScript类型系统画图讲解

TypeScript的输入输出

如果我们把 Typescript 编译器看成一个黑盒的话。其输入则是使用 TypeScript 语法书写的文本或者文本集合。

输出是编译之后的 JS 文件 和 .d.ts 的声明文件

其中 JS 是将来需要运行的文件(里面是没有ts语法，有一个类型擦除的操作)，而 .d.ts 声明文件则是 ts 文件中的类型声明，这个类型声明就是你在 ts 文件声明的类型和 TypeScript 类型推导系统推导的类型。当然你也可以自己写 .d.ts 声明文件。

TypeScript作用

1. 来自知乎网友的回答

至于说什么类型提示，其实很鸡肋，代码整体读熟了，这个提示有啥用？如果没读熟，ts也帮不了你。为了个提示，我写一堆interface，还有一大堆文件。。。真的是为了拉屎，现场盖厕所一样。

我这只是为了喷那些活动页也特么要上ts的项目。至于复杂分层多的项目，ts是有必要的。

----。。。。

1. 提供了丰富的类型系统，比如interface，type......
2. 提供了类型操作 API。TypeScript 不但提供内置类型，用户也可以利用集合操作和泛型对类型操作从而生成新的类型

1. 对每一种类型的属性和方法都进行了定义(也就是类型检查作用)。
2. 提供了模块系统（module，namespace）
3. 提供了更加方面的 API，比如 class（这在 ES6 class 出来之前尤其好用），装饰器等

。。。。。。。

TypeScript 编译器原理

这块我自己一脸懵逼，先放着。。。。。

类型系统

变量类型和值类型

• JavaScript 中的类型其实是值的类型。实际上不仅仅是 JavaScript，任何动态类型语言都是如此，这也是动态类型语言的本质。
• Typescript 中的类型其实是变量的类型。实际上不仅仅是 Typescript，任何静态类型语言都是如此，这也是静态类型语言的本质。

在 JavaScript 中，一个变量可以是任意类型 ，对于 Typescript 来说，一个变量只能接受和它类型兼容的类型的值。

let a = 1
let a = 'das'
let a = []
//js中变量可以任意赋值
let a: number = 1;
a = "lucifer"; // error
a = 2222; // ok 智能赋值数字

从集合的角度理解TS数据类型

TypeScript 只检查 Shape，即类型定义的约束条件，听起来和集合（Set）这一概念颇为相像。从集合的角度能更深层次地理解 TypeScript 的类型。

如上number可以看作所有数字的并集，string可以看作所有字符串的并集

补充：number 和 Nunmber 区别

平常我们js会看到两种数字类型number和Number，它们之间的区别是什么如下：

如上number表示的是二进制的数据结构，而Number表示的是封装的对象。但我们平时用let a = 45;也可以用a.toFixed(2)呀！其中js帮你把number转换成Number，调用完toFixed后又给你返回数字，该过程叫包装对象。