在当今的软件开发领域，TypeScript作为一种JavaScript的超集，以其强大的类型系统而闻名。它不仅提供了类型安全，还极大地提高了代码的可维护性和稳定性。本文将深入探讨TypeScript的类型系统，从基础类型到复杂泛型，帮助开发者解锁项目稳定与易维护之道。

一、基础类型

TypeScript提供了丰富的基础类型，包括：

  • 布尔值（boolean）：表示真或假的值。
  • 数字（number）：表示整数和浮点数。
  • 字符串（string）：表示文本。
  • 数组（array）：一组有序的元素集合。
  • 元组（tuple）：固定长度的数组，每个元素可以有不同类型。
  • 枚举（enum）：一组命名的数字值。
  • 任意类型（any）：可以赋值为任何类型。
  • 未知类型（unknown）：类型安全的“未知”类型。
  • void：表示没有任何返回值。
  • null和undefined：分别表示空值。

示例：

let isDone: boolean = false;
let age: number = 26;
let name: string = "张三";
let hobbies: string[] = ["足球", "篮球"];
let x: [string, number];
x = ["张三", 26];
let color: string | number;
color = "红色"; // OK
color = 255; // OK
let u: unknown = 4;
let n: null = null;
let v: undefined = undefined;

二、高级类型

TypeScript的高级类型包括接口（interface）、类型别名（type alias）和联合类型（union type）等。

接口

接口是一种类型声明，用于定义对象的形状。它描述了一个对象必须具有的属性和方法。

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

function greet(person: Person): void {
  console.log(`你好，${person.name}，你今年${person.age}岁。`);
}

let user: Person = {
  name: "张三",
  age: 26
};

greet(user);

类型别名

类型别名提供了重命名现有类型的功能。

type User = {
  name: string;
  age: number;
};

let user: User = {
  name: "张三",
  age: 26
};

联合类型

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

let isDone: boolean | string = true;
isDone = "false";

三、泛型

泛型是TypeScript提供的一种强大的类型系统特性，它允许在编写代码时延迟指定具体类型。

泛型基础

泛型允许你定义一个可以接受任何类型的函数、接口或类。

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

let output = identity<string>("你的输出");

泛型接口

泛型接口允许你定义一个具有泛型的接口。

interface GenericIdentityFn<T> {
  (arg: T): T;
}

let myIdentity: GenericIdentityFn<number> = identity;

泛型类

泛型类允许你在类级别使用泛型。

class GenericNumber<T> {
  zeroValue: T;
  add: (x: T, y: T) => T;
}

let myGenericNumber = new GenericNumber<number>();
myGenericNumber.zeroValue = 0;
myGenericNumber.add = function(x, y) { return x + y; };

四、高级泛型

映射类型

映射类型允许你从现有类型创建一个新的类型。

type mappedType = {
  [Property in keyof T]: T[Property];
};

interface T {
  a: number;
  b: string;
}

type mapped = mappedType<T>;

条件类型

条件类型允许你根据条件表达式返回不同的类型。

type ConditionalType<T> = T extends string ? string : number;

let x: ConditionalType<string> = "你好";
let y: ConditionalType<number> = 10;

泛型约束

泛型约束允许你指定泛型类型必须具有某些属性或方法。

function identity<T extends string | number>(arg: T): T {
  return arg;
}

identity(26); // OK
identity("张三"); // OK
identity(26 as any); // Error

五、总结

TypeScript的类型系统非常强大，它可以帮助开发者编写更安全、更易于维护的代码。通过理解并运用基础类型、高级类型和泛型，你可以解锁项目稳定与易维护之道。希望本文能帮助你更好地掌握TypeScript的类型系统。