理解TypeScript中的数据类型

# 一、TypeScript简介

## 1.1 什么是TypeScript

TypeScript是一种由微软开发的开源编程语言，它是JavaScript的一个超集，可以编译成纯JavaScript代码。TypeScript添加了可选的静态类型和面向对象的特性，使得在大型应用程序的开发过程中更加容易管理和维护。

## 1.2 TypeScript的优势和特点

- **静态类型**：TypeScript引入了静态类型，可以在编码阶段发现并修复潜在的错误。
- **面向对象**：支持类、接口、泛型等面向对象的特性，使得代码更加模块化和可复用。
- **工具支持**：有丰富的编辑器支持，如Visual Studio Code等，以及强大的类型检查和智能提示。
- **跨平台**：可在任何浏览器、主机、操作系统上执行，与现有的JavaScript代码可以很好地整合和共存。

## 1.3 TypeScript与JavaScript的关系

TypeScript可以视为JavaScript的扩展，任何现有的JavaScript代码都可以与TypeScript一起工作。TypeScript编译器将TypeScript代码编译成JavaScript，因此TypeScript可以直接运行在任何浏览器或JavaScript引擎中。
### 二、 基本数据类型

在 TypeScript 中，基本数据类型包括数字、字符串、布尔、空和未定义类型。让我们逐一来了解这些基本数据类型。
### 三、复合数据类型

在TypeScript中，除了基本数据类型外，还有一些复合的数据类型，包括数组类型、元组类型和对象类型。接下来我们将详细介绍它们的定义和用法。

#### 3.1 数组类型

数组是一种特殊的变量，它可以存储多个相同类型的数据。在TypeScript中，可以使用以下方式定义数组类型：

// 定义数组的两种方式
let list: number[] = [1, 2, 3]; // 数字类型数组
let names: string[] = ['Tom', 'Jerry', 'Spike']; // 字符串类型数组

可以使用泛型的方式来定义数组：

let list: Array<number> = [1, 2, 3]; // 数字类型数组
let names: Array<string> = ['Tom', 'Jerry', 'Spike']; // 字符串类型数组

#### 3.2 元组类型

元组类型允许表示一个已知元素数量和类型的数组，各元素的类型不必相同。定义元组类型的方式如下：

let x: [string, number];
x = ['hello', 10]; // 正确
x = [10, 'hello']; // 错误，类型不匹配

#### 3.3 对象类型

在TypeScript中，可以使用接口（interface）来定义对象类型。接口描述了对象的各个属性，以及它们的类型。例如：

interface Person {
    name: string;
    age: number;
}

let person: Person = {
    name: 'Alice',
    age: 25
};

以上就是复合数据类型的介绍，包括数组类型、元组类型和对象类型。这些类型可以帮助我们更加灵活地处理复杂的数据结构。
### 四、 高级数据类型

在TypeScript中，除了基本数据类型和复合数据类型外，还存在一些高级数据类型，它们可以帮助我们更灵活地处理数据和类型。

#### 4.1 枚举类型

枚举（Enum）类型是TS中的一种特殊数据类型，它可以为一组数值赋予友好的名字。例如，我们可以使用枚举类型来定义一周的日期：

enum WeekDays {
    Monday,
    Tuesday,
    Wednesday,
    Thursday,
    Friday,
    Saturday,
    Sunday
}

console.log(WeekDays.Monday); // 输出: 0
console.log(WeekDays[1]); // 输出: Tuesday

上述代码定义了一个WeekDays枚举，其中Monday被赋值为0，Tuesday被赋值为1，以此类推。通过枚举类型，我们可以更直观地使用这些数值，而不必记住对应的具体数值。

#### 4.2 任意类型

在TypeScript中，我们可以使用任意类型（any）来表示允许赋值为任意类型的变量。这在需要处理未知类型的情况下非常有用，但应当谨慎使用，因为它可以绕过TypeScript的类型检查。

let myVar: any = 123;
myVar = "Hello World";
myVar = true;

在上述示例中，myVar变量被定义为any类型，因此可以随意地将不同类型的值赋给它。

#### 4.3 void类型

void类型表示没有任何类型。当一个函数没有返回值时，通常会将其返回类型标注为void。

function sayHello(): void {
    console.log("Hello!");
}

在上面的例子中，sayHello函数没有返回值，因此它的返回类型被标记为void。

#### 4.4 never类型

never类型表示那些永远不存在的值的类型，例如抛出异常、死循环等。通常情况下，我们很少直接将变量标注为never类型，而是在一些特定的场景下使用。

function error(message: string): never {
    throw new Error(message);
}

上述示例中，error函数抛出一个错误，并且该函数的返回类型被标注为never，因为该函数永远不会真正返回一个值。

### 五、 类型推断与类型断言

#### 5.1 类型推断

在TypeScript中，类型推断可以帮助我们在编写代码时省略变量的类型标注，让编译器根据赋值语句自动推断出变量的类型。这样可以减少冗余的代码，提高开发效率。下面是一个示例：

let num = 10; // TypeScript会推断num为number类型
let str = "Hello"; // TypeScript会推断str为string类型

在上面的示例中，我们并没有显式地标注变量的类型，而是让TypeScript根据赋值语句自动推断出变量的类型。

#### 5.2 类型断言

有时候，我们可能知道某个变量的类型比编译器更清楚，这时可以使用类型断言来告诉编译器变量的实际类型。类型断言有两种形式：尖括号语法和as语法。下面是一个示例：

let someValue: any = "this is a string";
let strLength: number = (someValue as string).length; // 使用as语法进行类型断言

在上面的示例中，我们将someValue断言为string类型，这样就可以访问string类型的方法和属性，比如length属性。

## 六、 自定义类型

在TypeScript中，我们可以使用接口、类型别名和类型推断来自定义类型，从而更好地描述各种数据结构和对象。

### 6.1 接口

接口是 TypeScript 中的一种概念，用于定义对象的类型。通过接口，可以明确指定对象中应该包含哪些属性以及它们的类型。下面是一个接口的示例：

interface Person {
    name: string;
    age: number;
    email?: string; // 可选属性
}

function getPersonInfo(person: Person): void {
    console.log(`${person.name} is ${person.age} years old`);
    if (person.email) {
        console.log(`Email: ${person.email}`);
    }
}

let john: Person = { name: 'John', age: 30 };
getPersonInfo(john);

在上面的例子中，我们定义了一个名为Person的接口，该接口描述了一个拥有name和age属性的对象。其中，email属性被标记为可选属性。然后我们定义了一个函数getPersonInfo，其参数person的类型为Person。在函数内部，我们根据接口中定义的类型进行了相应的处理。

### 6.2 类型别名

类型别名与接口类似，也可以用来描述对象的类型。不同之处在于，类型别名可以给任意类型起一个新名字，更加灵活。例如：

type Point = {
    x: number;
    y: number;
};

function printPoint(point: Point): void {
    console.log(`(${point.x}, ${point.y})`);
}

let p: Point = { x: 10, y: 20 };
printPoint(p);

在上面的代码中，我们使用type关键字定义了一个名为Point的类型别名，用来描述具有x和y属性的对象。然后在函数printPoint中使用了这个类型别名。

### 6.3 类型推断

除了显式定义类型，TypeScript还拥有类型推断机制。当我们没有明确指定类型时，TypeScript会根据上下文自动推断出合适的类型。例如：

let message = 'hello'; // TypeScript会推断message的类型为string

通过接口、类型别名和类型推断，我们可以更灵活地定义和使用自定义类型，从而提高代码的可读性和可维护性。

这就是在TypeScript中如何自定义类型的基本方法。