TypeScript，作为一种由JavaScript的超集，它添加了静态类型系统，极大地增强了JavaScript的类型安全性。对于从零开始学习TypeScript的开发者来说，理解其核心类型系统是迈出的第一步。本文将全面解析TypeScript的核心类型，并附带实战指南，帮助你快速掌握。

1. TypeScript类型系统的简介

TypeScript的类型系统是其核心特性之一。它允许你为变量、函数等定义类型，从而提高代码的可维护性和减少运行时错误。

1.1 基本类型

TypeScript的基本类型包括：

  • number：表示数字
  • string：表示字符串
  • boolean：表示布尔值
  • void：表示没有任何返回值
  • null和undefined：分别表示空值和未定义的值

1.2 复杂类型

TypeScript还支持复杂类型的定义，如：

  • 数组：let numbers: number[] = [1, 2, 3];
  • 元组：let x: [string, number] = ["hello", 10];
  • 接口：interface Person { name: string; age: number; }
  • 类：class Animal { name: string; constructor(name: string) { this.name = name; } }

2. 高级类型

TypeScript的高级类型提供了更强大的类型定义能力，包括：

2.1 联合类型

联合类型允许你定义一个变量可以是多个类型之一。例如：

let input: string | number;
input = "hello";  // 正确
input = 123;      // 正确

2.2 类型别名

类型别名让你为类型创建一个新的名字。例如：

type StringArray = Array<string>;
let strings: StringArray = ["hello", "world"];

2.3 泛型

泛型允许你在定义函数、接口和类时使用类型变量，从而使得它们更灵活。例如：

function identity<T>(arg: T): T {
    return arg;
}
let output = identity<string>("myString");  // 类型为string

2.4 高级泛型

高级泛型包括映射类型、条件类型、交叉类型和联合类型等。

3. 类型断言

类型断言是告诉编译器你期望变量的类型。例如：

let input = <string>"hello";

或者通过as关键字：

let input: any = "hello";
input as string; // 类型断言

4. 类型守卫

类型守卫是JavaScript的类型守卫在TypeScript中的体现。它们是用于确定变量类型的方法。例如：

function isString(input: any): input is string {
    return typeof input === "string";
}

const input = 10;
if (isString(input)) {
    console.log(input);  // input的类型是string
}

5. 实战指南

5.1 创建一个TypeScript项目

使用npm init初始化一个新的TypeScript项目，然后通过npm install安装必要的依赖。

npm init -y
npm install typescript --save-dev
npx tsc --init

5.2 编写TypeScript代码

在你的项目中，编写TypeScript代码并使用TypeScript的类型系统。例如：

let person: { name: string; age: number } = {
    name: "Alice",
    age: 30
};

5.3 编译TypeScript代码

使用tsc命令编译你的TypeScript代码，生成相应的JavaScript代码。

npx tsc

6. 总结

掌握TypeScript的核心类型系统是成为一个优秀TypeScript开发者的重要一步。通过本文的全面解析和实战指南，你应该能够开始在你的项目中使用TypeScript的类型系统。不断实践和学习，你将能够更高效地开发TypeScript代码。