TypeScript 中特殊类型的定义#

TypeScript 中的特殊类型指的是语言中提供的独特数据类型。这些类型主要可分为两大类：基本类型（primitive types） 和 对象类型（object types）。

理解 TypeScript 特殊类型的重要性#

理解 TypeScript 的特殊类型对于希望创建高效、无错误应用的开发者至关重要。作为 JavaScript 的强类型超集，TypeScript 提供了静态类型、接口、类型注解等特性，使得代码更加健壮，并改善调试体验。

TypeScript 中的特殊类型（如联合类型、交叉类型、可空类型等）为代码提供了强大的灵活性和表达能力。掌握这些特殊类型，开发者可以编写更简洁、可维护的代码，在编译期而非运行时捕获潜在错误，并享受更好的工具支持和代码补全功能。

TypeScript 中的基本类型（Primitive Types）#

在 TypeScript 中，基本类型是指语言内置的最基础数据类型，包括文本数据、数值、布尔值、null 以及唯一的常量值。

• String：string 类型用于存储字符和字符串，使用单引号或双引号包裹，常用于处理文本信息。
• Number：number 类型涵盖整数和浮点数，而 bigint 类型用于处理任意精度的整数。
• Boolean：boolean 类型只能取 true 或 false，常用于条件判断和逻辑运算。
• Null：null 类型表示“无值”，有意表示缺少对象值。
• Unique Symbol：TypeScript 还包含唯一常量值，用 unique symbol 类型表示，可作为程序中的唯一标识符。

通过使用这些基本类型，TypeScript 让开发者能够高效地处理和操作各种数据，同时提供强大的类型系统，提升代码的可靠性和可维护性。

TypeScript 基本类型的说明#

基本类型是能够表示简单值的最小数据单位，主要包括：

• String：表示字符序列，用于存储文本数据，如姓名、地址、消息等。
• Number：表示数值（包括整数和浮点数），可进行数学运算。
• Boolean：表示逻辑值（true 或 false），常用于程序的流程控制。

这些基本类型与 JavaScript 中的对应类型非常相似。但 TypeScript 额外提供了枚举（enum） 类型，允许开发者定义一组命名的常量值，确保变量只能取预定义的值之一，既提供类型安全，又起到自我文档化的作用。

基本类型列表及描述#

1. String：表示字符序列。用于存储和操作文本信息（如姓名或消息）。字符串通常用引号包裹，支持截取、比较、替换等操作。
2. Number：用于处理数值。可以表示整数或小数，支持加减乘除等数学运算。
3. Boolean：表示逻辑值，只有 true 和 false 两种，用于条件判断和控制程序流程。

对象类型（Object Type）#

在 JavaScript（以及 TypeScript）中，Object 类型代表非基本类型，开发者可以用它创建和操作复杂的数据结构。与基本类型不同，对象类型可以表示任何非基本值。

使用对象类型的一个主要好处是它能表示各种 API，例如 Object.create() 方法可以基于指定的原型对象创建新对象，实现原型继承。Object 类型还提供了许多内置方法，如 Object.keys() 获取对象键数组、Object.assign() 复制属性等，极大简化了对象操作。

对象类型的语法与使用示例#

TypeScript 中的对象类型通常使用 interface 或 type 别名来定义。下面是一个使用接口的简单示例：

1
interface Person {
2
    name: string;
3
    age: number;
4
    getFullName: () => string;
5
}
6

7
let person: Person = {
8
    name: "John",
9
    age: 30,
10
    getFullName: function() {
11
        return this.name;
12
    }
13
};
14

15
console.log(person.getFullName()); // 输出: John

在这个例子中，Person 接口定义了一个人的结构，person 变量则被赋值为符合该结构的对象。

联合类型（Union Type）#

在 TypeScript 中，联合类型通过组合两个或多个类型来形成，允许变量接受其中任意一种类型的值。当变量在不同场景下需要存储不同类型的值时非常有用。

定义联合类型使用管道符 分隔各个类型：

1
let myVariable: string | number;

此时 myVariable 可以是字符串或数字。下面是一个根据输入类型分别计算平均值或拼接字符串的示例：

1
let myVariable: string | number;
2

3
function calculateAverageOrConcatenate(a: string | number, b: string | number): string | number {
4
    if (typeof a === "number" && typeof b === "number") {
5
        return (a + b) / 2;
6
    } else {
7
        return a.toString() + b.toString();
8
    }
9
}
10

11
console.log(calculateAverageOrConcatenate(2, 3));     // 输出 2.5
12
console.log(calculateAverageOrConcatenate("Hello", "World")); // 输出 "HelloWorld"

联合类型的定义与目的#

联合类型允许将多个类型组合成一个，表示该值可以是其中任意一种成员类型。这对于描述变量或属性可能拥有的多种类型非常有用。

联合类型的目的是提供类型定义的灵活性。它不再将变量限制为单一类型，而是允许它是指定类型中的任意一种，从而编写更具表达力、更简洁的代码。

联合类型适用的典型场景#

1. 处理多种输入类型：当处理用户输入或外部数据时（如表单字段可能是字符串、数字或布尔值），使用联合类型可以保证类型安全。
2. 带有多种返回结果的错误处理：函数可能返回成功值或错误值，使用联合类型作为返回类型能让调用方明确知道如何处理两种情况。
3. 表示多种状态或选项：如游戏角色状态（“活着”、“死亡”、“重生中”），联合类型可以清晰地建模这些互斥状态。

字面量类型（Literal Types）#

TypeScript 中的字面量类型可以在类型位置上指定非常具体的字符串或数字值，实现更严格的类型约束。例如：

1
type Color = 'red' | 'blue' | 'green';
2

3
let myColor: Color = 'red';     // 合法
4
let anotherColor: Color = 'yellow'; // 报错

在这个例子中，Color 类型只能是 ‘red’、‘blue’ 或 ‘green’ 中的一个，赋值其他字符串会产生类型错误。

字面量类型常与联合类型结合使用，表达只接受特定已知值集合的函数：

1
type Day = 'Monday' | 'Tuesday' | 'Wednesday';
2

3
function printDay(day: Day): void {
4
    console.log(day);
5
}
6

7
printDay('Monday');  // 合法
8
printDay('Friday');  // 报错

字面量类型的说明#

字面量类型是“精确到值”的类型，只允许某一个具体的值。它提供了更严格的类型检查，提升代码清晰度。通过明确指定变量允许的值范围，TypeScript 能在编译期捕获错误，使代码更安全。

将多个字面量类型组合成联合类型，可以创建非常具表达力的函数签名，确保只传入合法值，减少意外行为发生的可能性。

如何定义和使用字面量类型#

字面量类型通过直接写出具体的值来定义，例如颜色只能是 “red”、“green” 或 “blue”。

通常会将多个字面量组合成联合类型，限制变量只能取这些特定值之一。字面量类型还可以与类型守卫结合使用，进一步精确地判断和操作可能的值。