TypeScript作为一种JavaScript的超集，提供了丰富的类型系统，这极大地增强了JavaScript的类型安全性和可维护性。本文将带你从基础到高级，逐步了解TypeScript的类型系统，包括类型定义与类型推断技巧。

一、TypeScript类型系统简介

TypeScript的类型系统主要包括两大类：静态类型和动态类型。静态类型在编译时进行类型检查，而动态类型在运行时进行类型检查。TypeScript属于静态类型语言，这意味着在编写代码时，需要为变量指定类型。

二、基础类型

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

  • 常量类型：number、string、boolean、null、undefined、void、symbol、BigInt
  • 数组类型：Array<T>、T[]
  • 元组类型：(T1, T2, ..., TN)
  • 枚举类型：enum
  • 类类型：class
  • 函数类型：(params: paramsType): returnType
  • 任意类型：any
  • 空类型：unknown
  • never类型：never

1. 常量类型

常量类型用于定义不变的值，如数字、字符串、布尔值等。

const age: number = 18;
const name: string = "张三";
const isStudent: boolean = true;

2. 数组类型

数组类型可以指定数组元素的类型。

let numbers: number[] = [1, 2, 3];
let strings: string[] = ["a", "b", "c"];

3. 元组类型

元组类型用于定义固定长度的数组，每个元素都有指定的类型。

let point: [number, number] = [1, 2];

4. 枚举类型

枚举类型用于定义一组命名的常量。

enum Color {
  Red,
  Green,
  Blue,
}
let c: Color = Color.Green;

5. 类类型

类类型用于定义对象的结构。

class Person {
  name: string;
  age: number;
  constructor(name: string, age: number) {
    this.name = name;
    this.age = age;
  }
}
let p: Person = new Person("张三", 18);

6. 函数类型

函数类型用于定义函数的参数和返回值类型。

function add(a: number, b: number): number {
  return a + b;
}
let result: number = add(1, 2);

7. 任意类型

任意类型可以用于任何类型的值。

let notSure: any = 4;
notSure = "maybe a string instead";
notSure = true; // okay, definitely a boolean

8. 空类型

空类型表示没有任何值。

let empty: void = undefined;

9. never类型

never类型表示永远不会成功的类型，通常用于函数抛出异常。

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

三、高级类型

TypeScript的高级类型包括泛型、接口、类型别名和联合类型等。

1. 泛型

泛型用于定义具有可变类型的函数、接口和类。

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

2. 接口

接口用于定义对象的结构，可以包含属性、方法和索引签名。

interface Person {
  name: string;
  age: number;
}
let p: Person = { name: "张三", age: 18 };

3. 类型别名

类型别名用于创建新的类型别名。

type Person = {
  name: string;
  age: number;
};
let p: Person = { name: "张三", age: 18 };

4. 联合类型

联合类型用于表示一个变量可以是多个类型之一。

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

四、类型推断

TypeScript的类型推断功能可以帮助我们自动推断变量类型，减少代码冗余。

1. 推断规则

  • 声明后赋值：如果变量声明后立即赋值，TypeScript会根据赋值表达式推断类型。
  • 函数参数：TypeScript会根据函数参数推断返回值类型。
  • 接口和类型别名：TypeScript会根据接口和类型别名定义推断变量类型。

2. 推断示例

let x = 10; // 推断为number类型
let y = x; // 推断为number类型
let z = (x: number) => x + 1; // 推断为函数类型

五、总结

TypeScript的类型系统强大而灵活，可以帮助我们编写更安全、更易维护的代码。通过本文的学习，相信你已经对TypeScript的类型系统有了深入的了解。希望你在实际项目中能够运用所学知识，提高代码质量。