TypeScript 是一种由微软开发的自由和开源的编程语言，它是 JavaScript 的一个超集，添加了可选的静态类型和基于类的面向对象编程。TypeScript 的类型系统是其最强大的特性之一，它可以帮助开发者轻松实现类型安全，编写高效且易于维护的代码。以下是 TypeScript 类型系统的几个关键功能及其应用。

一、基本类型

TypeScript 提供了丰富的内置类型，包括：

  • 数字（number）：用于表示数值。
  • 字符串（string）：用于表示文本。
  • 布尔值（boolean）：用于表示真或假。
  • 数组（array）：用于存储一系列元素。
  • 元组（tuple）：固定长度的数组，每个元素可以有不同的类型。
  • 枚举（enum）：一组命名的数字常量。
  • 任意类型（any）：可以赋值为任何类型的值。
  • 未知类型（unknown）：类似于 any，但更安全。
  • void：表示没有任何返回值。
  • null 和 undefined：表示空值。

示例：

let age: number = 30;
let name: string = "张三";
let isStudent: boolean = false;
let hobbies: string[] = ["阅读", "编程"];
let coordinates: [number, number] = [100, 200];
let color: string | number = "red";
let empty: void;
let notSure: unknown;
let myVoidFunction(): void {
  console.log("这是一个没有返回值的函数");
}

二、接口（Interfaces）

接口定义了一个对象的结构，包括其属性和类型。它是一种类型合约，确保了对象的类型一致性。

示例：

interface Person {
  name: string;
  age: number;
  sayHello(): string;
}

function greet(person: Person): void {
  console.log(person.name + "，你好！");
}

let zhangSan: Person = {
  name: "张三",
  age: 30,
  sayHello(): string {
    return "你好，我是张三！";
  }
};

三、类型别名（Type Aliases）

类型别名允许你创建新的类型名称，用于替代现有的类型。

示例：

type ID = number;
type PersonInfo = {
  name: string;
  age: number;
};

function getPersonInfo(id: ID, info: PersonInfo): void {
  console.log(`ID: ${id}, Name: ${info.name}, Age: ${info.age}`);
}

getPersonInfo(1, { name: "李四", age: 25 });

四、联合类型（Union Types）

联合类型允许一个变量可以同时具有多种类型。

示例：

let input: string | number;
input = "Hello";
input = 123;

五、类型守卫（Type Guards）

类型守卫可以帮助你确保变量具有特定的类型，从而提高代码的可读性和安全性。

示例：

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

function isNumber(value: any): value is number {
  return typeof value === "number";
}

let value: any = "Hello";
if (isString(value)) {
  console.log(value.toUpperCase());
} else if (isNumber(value)) {
  console.log(value.toFixed(2));
}

六、泛型（Generics）

泛型允许你创建可重用的组件，这些组件可以接受任何类型。

示例：

function identity<T>(arg: T): T {
  return arg;
}

let output = identity<string>("我的类型是字符串");

七、高级类型

TypeScript 还提供了高级类型，如键类型、映射类型、条件类型等，它们可以帮助你更灵活地定义类型。

示例：

type StringArray = Array<string>;
type Keys = keyof Person; // 相当于 'name' | 'age'
type PersonPartial = Partial<Person>; // 相当于 { name?: string; age?: number }
type PersonReadonly = Readonly<Person>; // 相当于 { readonly name: string; readonly age: number }

总结

TypeScript 的类型系统为开发者提供了强大的工具，可以帮助你实现类型安全，提高代码质量和可维护性。通过合理地使用类型别名、接口、泛型等特性，你可以轻松地编写出高效、健壮的代码。希望本文能帮助你更好地理解 TypeScript 类型系统的强大功能。