TypeScript 类型剖析：从两个视角理解其内涵

一、类型定义视角

在 TypeScript 中，类型是值的一种特性，用于该值可以具有的可能值集。类型定义用于指定变量或表达式的类型，并可使用各种类型操作符（如联合、交集、差集等）来组合基本类型，从而创建新的类型。

1. 原始类型：TypeScript 中提供了多种原始类型，包括数字类型（number）、字符串类型（string）、布尔类型（boolean）和符号类型（symbol）。这些类型是 TypeScript 中最基本的类型，不能被进一步拆分。

2. 数组类型：数组类型表示一个有序的元素集合，每个元素都具有相同的数据类型。数组类型的声明格式为：

let myArray: string[];

3. 元组类型：元组类型表示一个值的集合，该集合中的元素可以具有不同的数据类型。元组类型的声明格式为：

let mySet: Set<number>;

4. 关联类型：关联类型表示一个键值对的集合，其中键和值都具有不同的数据类型。关联类型的声明格式为：

let myMap: Map<string, number>;

5. 函数类型：函数类型表示一个函数的类型，该函数接受的参数和返回值都具有不同的数据类型。函数类型的声明格式为：

let myFunction: (a: number, b: string) => number;

二、类型推断视角

TypeScript 具有强大的类型推断功能，这意味着编译器可以根据变量的赋值或表达式的结果来推断出变量或表达式的类型。类型推断对于提高代码的可读性和可维护性非常重要。

1. 隐式类型推断：隐式类型推断是指编译器根据变量的赋值或表达式的结果来推断变量或表达式的类型，而不需要显式地指定类型。例如：

let myVariable = 10;

在这种情况下，编译器会根据变量的赋值来推断出变量的类型为 number。

2. 显式类型推断：显式类型推断是指在变量或表达式的声明中显式地指定变量或表达式的类型。例如：

let myVariable: number = 10;

在这种情况下，编译器会根据变量的类型声明来推断出变量的类型为 number。

3. 联合类型推断：联合类型推断是指编译器根据变量或表达式的可能值集来推断变量或表达式的类型。例如：

let myVariable: number | string = 10;

在这种情况下，编译器会根据变量的可能值集来推断出变量的类型为 number 或 string。

总结

通过从类型定义和类型推断两个视角来理解 TypeScript 中的类型，开发者可以更加深入地掌握 TypeScript 类型系统的运作原理，并在实际项目中充分利用类型系统的强大功能，编写出更加健壮和可维护的代码。