三、TypeScript的关键特性

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

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

四、TypeScript的类型系统

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

1、什么是类型注释？

在TS中，类型注释是一种语法，用于明确变量、函数参数、返回值等的类型。以一种轻量级的方式来记录函数或变量的期望类型。类型注释可以帮助开发者了解代码中变量的预期类型，并且能够让 TypeScript 编译器在编译过程中进行类型检查，以确保类型的一致性和正确性。

类型注释的基本语法是在变量名或函数参数名后面加上冒号（:）和类型名称。下面是一些基本的类型注释示例：

let name: string = "Alice";
let age: number = 28;
let isActive: boolean = true;// 函数参数和返回值的类型注释
function greet(name: string): string {return "Hello, " + name + "!";
}const greet0 =(name: string): string=> {return "Hello, " + name + "!";
}// 对象类型注释
let user: { name: string; age: number } = {name: "Bob",age: 25
};// 数组类型注释
let numbers: number[] = [1, 2, 3, 4, 5];
let names: Array<string> = ["Alice", "Bob", "Charlie"];// 元组类型注释
let tuple: [string, number] = ["Alice", 30];

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

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

类型注释不是 TS 的一个必须特性，因为 TS 有很强的类型推断能力。但是，在很多情况下，明确指定类型注释可以提高代码的可读性和可维护性，尤其是在复杂的项目中或者当函数的意图不是很明显时。

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

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

TS 作为 JS的超集，引入了静态类型系统。在 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中，用boolean表示，它表示逻辑上的真（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"

在 TS 中，undefined 是一种类型，它只有一个值，即 undefined。它通常用于未初始化的变量。通常不会直接使用undefined类型，因为这限制了变量只能被赋予undefined值。

let und: undefined = undefined;

Null：

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

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

TS中和undefined类似，null 也是一种类型，它只有一个值，即 null。它通常用于表示某个对象是“无”的。

let n: null = null;

⚠️：直接使用null类型不是特别有用，因为这样变量除了null之外不能赋予任何其它值。但是，你可以通过联合类型来指定一个变量可能是null（后续联合类型模块会详细介绍）。

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

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

• Symbol

  symbol类型是ECMAScript 2015的新特性（ES6 引入的新原始数据类型），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"
  

TS中的基本类型是构建强类型代码的基础，它们提供了丰富的类型环境，帮助开发者编写更安全、更可维护的代码。

2） 对象类型：

TypeScript 中的对象类型使得开发者可以定义复杂的数据结构。下面是对每个对象类型的详细解析和示例：

• 接口（Interfaces）

       接口在 TS中用于定义对象的形状，它指定了对象可以有哪些属性和方法以及它们的类型。

// 给users定义的包含name、age、talk属性的IPerson接口
interface IPerson {name: string;age: number;talk: () => void;}let users: IPerson = {name: "樂途",age: 28,talk() {console.log(`Hello, my name is ${this.name}`);}};console.log(users.talk()) // 输出: Hello, my name is 樂途

• 类（Classes）

       类是定义对象的模板，可以包含属性和方法。TS支持基于类的面向对象编程。

       （涉及点比较多，梳理中……）

• 数组（Arrays）

        数组类型定义同一类型元素的集合。可以使用元素类型后跟 [] 或使用泛型数组类型 Array<元素类型>。

let list: number[] = [1, 2, 3];
// 或者使用泛型数组类型
let list: Array<number> = [1, 2, 3];

• 元组（Tuples）

       元组类型允许表示一个已知元素数量和类型的数组，各元素的类型不必相同。

let x: [string, number];
x = ["hello", 10]; // true
x = [10, "hello"]; // false

• 枚举（Enums）：

       枚举类型是对 JS 标准数据类型的一个补充，是一种特殊的类，它可以的方便地处理一组相关的常量值，用于定义一组命名常量。

enum Color {Red, Green, Blue}
let c: Color = Color.Green;

3）复合类型：

• 联合类型（Union Types）：允许一个值是几种类型之一。
• 交叉类型（Intersection Types）：组合多个类型成为一个类型。
• 类型别名（Type Aliases）：提供类型的新名字，可以是基本类型、联合类型、交叉类型等的别名。

4）特殊类型：

• any: 可以是任何类型，相当于逃避类型检查。
• void：空类型，与 any 类型相反，它表示没有任何类型。当一个函数没有返回值时，你通常会看到其返回值类型是 void。
• unknown: 表示任何类型的值，比 any 更安全，因为它不允许你做太多的操作，除非你类型缩小（type narrowing）。
• never: 表示永远不会有值的类型，常用于那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型。
• object: 表示非原始类型，也就是除 number，string，boolean，symbol，null 或 undefined 之外的类型。

5）类型操作：

• 类型断言（Type Assertions）：允许你手动指定一个值的类型。
• 类型守卫（Type Guards）：运行时检查类型，确保在特定块中变量属于某种特定类型。
• 映射类型（Mapped Types）：基于旧类型创建新类型的一种方式。
• 条件类型（Conditional Types）：根据条件表达式选择类型。

6）泛型（Generics）：

允许在定义函数、接口或类的时候不预先指定具体的类型，而在使用的时候再指定类型的一种特性。

TypeScript 的类型系统非常强大和灵活，允许开发者以几乎和静态类型语言一样的方式来确保代码的安全性和可维护性。

疑问

1、--strictNullChecks标志是什么？

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

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

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