TypeScript入门实战笔记 -- 02 简单基础类型：TypeScript 与 JavaScript 有何不同？

🍍TypeScript 简介

TypeScript 其实就是类型化的 JavaScript，它不仅支持 JavaScript 的所有特性，还在 JavaScript 的基础上添加了静态类型注解扩展。

这里我们举个例子来说明一下，比如 JavaScript 中虽然提供了原始数据类型 string、number，但是它无法检测我们是不是按照约定的类型对变量赋值，而 TypeScript 会对赋值及其他所有操作默认做静态类型检测。

因此，从某种意义上来说，TypeScript 其实就是 JavaScript 的超集，如下图所示：

TypeScript 是 JavaScript 的超集示意图

在 TypeScript 中，我们不仅可以轻松地重用 JavaScript 代码和使用最新的特性，还可以通过可选的静态类型检查来提高代码的健壮性和可维护性。在开发阶段，我们可以借助 TypeScript 编译器快速解决许多常见的低级错误。

🍍基本语法

在语法层面，缺省类型注解的 TypeScript 与 JavaScript 完全一致。因此，我们可以把 TypeScript 代码的编写看作是为 JavaScript 代码添加类型注解。在 TypeScript 语法中，类型的标注主要通过类型后置语法来实现，下面我们通过一个具体示例进行说明。

let num = 1;

示例中的语法同时符合 JavaScript 语法和 TypeScript 语法。而 TypeScript 语法与 JavaScript 语法的区别在于，我们可以在 TypeScript 中显式声明变量num仅仅是数字类型，也就是说只需在变量num后添加: number类型注解即可，如下代码所示：

let num:number  = 1;

特殊说明：number表示数字类型，:用来分割变量和类型的分隔符。

同理，我们也可以把:后的number换成其他的类型（比如 JavaScript 原始类型：number、string、boolean、null、undefined、symbol 等），此时，num 变量也就拥有了 TypeScript 同名的原始类型定义。

关于 JavaScript 原始数据类型到 TypeScript 类型的映射关系如下表所示：

🍍原始类型

在 JavaScript 中，原始类型指的是一类特殊的数据类型，它们既不是对象，也没有任何方法。这些类型包括 string、number、bigint、boolean、undefined 和 symbol 六种。需要注意的是，null 被认为是一个伪原始类型，尽管它实际上是一个对象，但所有的结构化类型都是通过 null 原型链派生而来。

在 TypeScript 中，原始类型值是最底层的实现，它们是 TypeScript 类型系统中最基本的类型。在 TypeScript 中，每个原始类型都有一个对应的类型关键字。例如，字符串类型对应 string 关键字，数字类型对应 number 关键字，布尔类型对应 boolean 关键字，以此类推。使用 TypeScript 提供的原始类型关键字，在代码中就可以对这些原始类型进行类型检查和类型推断。

字符串

在 JavaScript 中，我们可以使用string表示 JavaScript 中任意的字符串（包括模板字符串），具体示例如下所示：

let firstname: string = 'Ks'; // 字符串字面量
let familyname: string = String('w'); // 显式类型转换
let fullname: string = `my name is ${firstname}.${familyname}`;?// 模板字符串

说明：所有 JavaScript 支持的定义字符串的方法，我们都可以直接在 TypeScript 中使用。

数字

同样，我们可以使用number类型表示 JavaScript 已经支持或者即将支持的十进制整数、浮点数，以及二进制数、八进制数、十六进制数，具体的示例如下所示：

/** 十进制整数 */
let integer: number = 11;
/** 十进制整数 */
let integer2: number = Number(42);
/** 十进制浮点数 */
let decimal: number = 3.14;
/** 二进制整数 */
let binary: number = 0b1010;
/** 八进制整数 */
let octal: number = 0o744;
/** 十六进制整数 */
let hex: number = 0xf00d;

如果使用较少的大整数，那么我们可以使用bigint类型来表示，如下代码所示。

let big: bigint =  100n;

请注意：虽然number和bigint都表示数字，但是这两个类型不兼容。

因此，如果我们在 VS Code IDE 中输入如下示例，问题面板中将会抛出一个类型不兼容的 ?ts ?错误。

big = integer;
integer = big;

布尔值

同样，我们可以使用boolean表示 True 或者 False，如下代码所示。

/** TypeScript 很棒 为 真 */
let TypeScriptIsGreat: boolean = true;
/** TypeScript 太糟糕了 为 否 */
let TypeScriptIsBad: boolean = false;

Symbol

自 ECMAScript 6 起，TypeScript 开始支持新的Symbol原始类型， 即我们可以通过Symbol构造函数，创建一个独一无二的标记；同时，还可以使用symbol表示如下代码所示的类型。

let sym1:symbol = Symbol()
let sym2:symbol = Symbol('11')

当然，TypeScript 还包含 Number、String、Boolean、Symbol 等类型（注意区分大小写）。

特殊说明：请你千万别将它们和小写格式对应的 number、string、boolean、symbol 进行等价。不信的话，你可以思考并验证如下所示的示例。

let sym: symbol = Symbol('a');
let sym2: Symbol = Symbol('b');
sym = sym2 // ok or fail?
sym2 = sym // ok or fail?
let str: String = new String('a');
let str2: string = 'a';
str = str2; // ok or fail?
str2 = str; // ok or fail?

错误提示效果图

实际上，我们压根使用不到 Number、String、Boolean、Symbol 类型，因为它们并没有什么特殊的用途。这就像我们不必使用 JavaScript Number、String、Boolean 等构造函数 new 一个相应的实例一样。

介绍完这几种原始类型后，你可能会心生疑问：缺省类型注解的有无似乎没有什么明显的作用，就像如下所示的示例一样：

{
  let mustBeNum = 1;
}
{
  let mustBeNum: number = 1;
}

其实，以上这两种写法在 TypeScript 中是等价的，这得益于基于上下文的类型推导。

下面，我们对上面的示例稍做一下修改，如下代码所示：

{
  let mustBeNum = 'badString';
}
{
  let mustBeNum: number = 'badString';
}

此时，我们可以看到 VS Code 的内容和问题面板区域提示了错误（其他 IDE 也会出现类似提示），如下图所示：

错误提示效果图

以上就是类型注解作用的直观体现。

如果变量所处的上下文环境特别复杂，在开发阶段就能检测出低级类型错误的能力将显得尤为重要，而这种能力主要来源于 TypeScript 实现的静态类型检测。

🍍静态类型检测

在编译时期，静态类型的编程语言即可准确地发现类型错误，这就是静态类型检测的优势。

在编译（转译）时期，TypeScript 编译器将通过对比检测变量接收值的类型与我们显示注解的类型，从而检测类型是否存在错误。如果两个类型完全一致，显示检测通过；如果两个类型不一致，它就会抛出一个编译期错误，告知我们编码错误，具体示例如下代码所示：

const trueNum: number = 42;
const fakeNum: number = "42"; // ts(2322) Type 'string' is not assignable to type 'number'.

错误提示效果图

在以上示例中，首先我们声明了一个数字类型的变量trueNum，通过编译器检测后，发现接收值是 42，且它的类型是number，可见两者类型完全一致。此时，TypeScript 编译器就会显示检测通过。而如果我们声明了一个string类型的变量fakeNum，通过编译器检测后，发现接收值为 "42"，且它的类型是number，可见两者类型不一致 。此时，TypeScript 编译器就会抛出一个字符串值不能为数字类型变量赋值的ts(2322) ?错误，也就是说检测不通过。