三、TypeScript的关键特性

以下是一些 TS 的关键特性：

• 静态类型检查：在代码运行之前，TS编译器会检查类型错误。这有助于在早期发现潜在的问题。
• 类型推断：TS 能够根据上下文自动推断变量的类型，减少了必须显式声明类型的情况。
• 类型注解：可以在变量、函数参数和函数返回值上添加类型注解，以明确它们的类型。
• 接口和类：TS支持面向对象编程的特性，如类、接口和继承。
• 枚举类型：TS提供了枚举类型，这在 JS 中是没有的，可以用来定义一组命名常量。
• 泛型：泛型允许用户创建可重用的组件，这些组件可以支持多种类型而不会丢失其原有类型。
• 模块化：TS 支持模块，可以帮助组织和维护大型代码库。
• 工具支持：TS有很好的编辑器支持，比如自动完成、导航到定义和重构支持。

四、TypeScript的类型系统

TS的类型系统是该语言的核心特性之一，它在 JS的基础上添加了类型注释和静态类型检查。这意味着你可以在编码阶段指定变量、函数参数和返回值的类型，这样 TS 编译器就可以在代码运行之前检测到潜在的类型错误。

1、什么是类型注释？

在TS中，类型注释是一种轻量级的方式来记录函数或变量的期望类型。类型注释可以帮助开发者理解代码应如何使用，同时也允许TS编译器检查类型错误。

类型注释通常跟在变量名后面，使用冒号和空格分隔，然后是类型名称。下面是一些基本的类型注释示例：

作用：为变量添加类型约束。比如，上述例子中：
name 是一个类型为 string 的变量；
age 是一个类型为 number 的变量；
isActive 是一个类型为 boolean 的变量；
函数 greet 接收一个 string 类型的参数，并返回一个 string 类型的值；
对象 user 有两个属性，分别为 string 类型的 name 和 number 类型的 age；
数组 numbers 和 names 分别包含 number 类型和 string 类型的元素；
元组 tuple 包含一个 string 类型和一个 number 类型的元素；

⚠️！！！约定了什么类型，就只能给变量赋值该类型的值，否则，就会报错。

类型注释不是JS的一部分，它们在TS代码被编译成JS时会被移除。这意味着它们不会影响生成的JS代码的性能。它们的主要目的是在开发阶段提供类型校验和编辑器支持。

2、类型系统核心 - 常用类型

下面是 TS类型系统的一些基本组成部分：

1） 基本类型（原始类型）：    

在TS中，基本类型（也称为原始类型）是构建其他类型的基石。下面是TS中的一些基本类型，这些类型，完全按照 JS 中类型的名称来书写。 

• 数字（Number） 

       在TS中，不管是整数还是浮点数，统一使用number类型表示。它还支持十进制、十六进制、二进制和八进制字面量。

// 数字（Number）类型
let decimal: number = 6;
let hex: number = 0xf00d;
let binary: number = 0b1010;
let octal: number = 0o744;

• 字符串（String）

       字符串数据用于表示文本数据，可以是单引号('), 双引号(")或模板字符串(``)。TS中的文本数据类型是string。

// 字符串（String）
let name: string = "letu";
name = '樂途';
let sentence: string = `Hello, my name is ${ name }.`;

• 布尔值（Boolean）

      布尔值是最基本的数据类型，在TS中，它表示逻辑上的真（true）或假（false）。只有两个值：true和false，它通常用于控制条件语句，如if语句。

// 布尔值（Boolean）
let isDone: boolean = false;
isDone = true

• Null 和 Undefined 

       在TypeScript中，null和undefined是所有类型的子类型。这意味着你可以将null和undefined赋值给像number或string这样的类型。但是，当你使用--strictNullChecks标志时，null和undefined只能赋给any和它们各自的类型（这意味着undefined只能赋给undefined类型，null只能赋给null类型）

Undefined:
undefined类型代表未定义的值。在JavaScript中，如果你声明一个变量但没有给它赋值，那么它的值就是undefined。在

let notAssigned: undefined; // 变量没有赋值，只定义了类型为undefined
console.log(notAssigned); // 输出 "undefined"

TypeScript中，通常不会直接使用undefined类型，因为这限制了变量只能被赋予undefined值。

Null：

null类型表示没有任何对象值。在JavaScript中，null通常被用来表示一个意料之中的缺失值。

let emptyValue: null; // 变量被赋予null类型
emptyValue = null; // 合法的赋值

和undefined一样，直接使用null类型不是特别有用，因为这样变量除了null之外不能赋予任何其它值。但是，你可以通过联合类型来指定一个变量可能是null。

当启用--strictNullChecks时，null和undefined的行为会更加严格。任何不显式包含null或undefined的类型都不能被赋予这些值。

let strictString: string;
strictString = null; // 错误，不能将类型“null”分配给类型“string”
strictString = undefined; // 错误，不能将类型“undefined”分配给类型“string”

• Symbol

  symbol类型是ECMAScript 2015的新特性，symbol是不可改变且唯一的。常用来作为对象属性的键。

  let sym1 = Symbol();
  let sym2 = Symbol("key"); // 可选的字符串key
  

  symbol类型的值是通过Symbol构造函数创建的。每个symbol都是唯一的。即使你用相同的字符串来创建两个symbol，它们也是不相等的。

  let sym3 = Symbol("key");
  let sym4 = Symbol("key");
  console.log(sym3 === sym4); // 输出 "false"
  

  symbol类型的主要用途之一是作为对象属性的键，这些属性不会与其他属性冲突，并且不会被通常的方法（如Object.keys或for...in循环）枚举到。

  let obj = {[sym1]: "value"
  };
  console.log(obj[sym1]); // "value"
  

2. 数组：
   - `type[]`: 表示一个元素类型为 `type` 的数组。
   - `Array<type>`: 另一种表示数组的方式。

3. 元组：
   - `[type1, type2]`: 表示一个已知元素数量和类型的数组，各元素的类型不必相同。

4. 枚举：
   - `enum`: 用于定义一组命名常量。

5. 任意类型：
   - `any`: 可以是任何类型，TypeScript 不会对这些变量进行类型检查。

6. Void：
   - 用于表示没有任何类型，通常用于函数没有返回值的情况。

7. Never：
   - 表示永远不存在的值的类型，例如，一个抛出异常或永不返回的函数的返回类型。

8. 联合类型：
   - `type1 | type2`: 表示一个值可以是 `type1` 或 `type2`。

9. 交叉类型：
   - `type1 & type2`: 表示一个值同时是 `type1` 和 `type2`。

10. 类型别名：
    - `type Name = ...`: 创建一个新名字来引用某种类型。

11. 接口：
    - `interface`: 定义对象类型，可以包括属性和方法的类型定义。

12. 泛型：
    - 允许在定义函数、接口、类时不预先指定具体的类型，而是在使用时再指定类型的特性。

疑问

1、--strictNullChecks标志是什么？

--strictNullChecks 是 TypeScript 编译器的一个选项。当这个标志被启用时，编译器会更加严格地检查 null 和 undefined 值，以避免可能的运行时错误。

在没有启用 --strictNullChecks 的情况下，所有类型都隐式地包含 null 和 undefined 值。这意味着如果你有一个类型为 string 的变量，那么它实际上可以被赋予 string、null 或 undefined 值。

let myString: string;myString = null; // 没有错误，即使在没有 --strictNullChecks 的情况下
myString = undefined; // 没有错误