探索 TypeScript 的 Infer 和高级类型推断系统

2023-10-04 13:06:19

TypeScript，作为 JavaScript 的超集，引入了类型系统，为代码提供了额外的安全性、可读性和可维护性。在 TypeScript 中，类型推断是编译器自动推断变量和表达式的类型的能力，而 Infer 类型推断机制正是这一能力的关键组成部分。

Infer 类型推断

Infer 类型推断是一种高级类型计算技术，允许我们根据函数或类型参数推断变量的类型。它使用 infer 来声明变量的类型应该从函数或类型参数中推断出来。例如：

function getLength<T>(arg: T[]): number {
  return arg.length;
}

const arr = [1, 2, 3];
const length = getLength(arr); // length 被推断为 number 类型

在上面的示例中，getLength 函数接收一个类型参数 T，并返回数组的长度。当我们调用该函数时，编译器会推断出 length 变量的类型为 number，因为 arr 是一个数字数组。

联合类型

联合类型允许我们将多个类型组合成一个新的类型，表示变量可以具有该联合类型中任何一种类型。联合类型使用 | 符号分隔。例如：

type Person = { name: string; age: number };
type Employee = { name: string; salary: number };

type PersonOrEmployee = Person | Employee;

const personOrEmployee: PersonOrEmployee = { name: 'John' };
// personOrEmployee 可以是 Person 类型或 Employee 类型

交叉类型

交叉类型允许我们将多个类型组合成一个新的类型，表示变量必须同时具有所有这些类型的特征。交叉类型使用 & 符号分隔。例如：

type PersonWithAge = Person & { age: number };

const personWithAge: PersonWithAge = { name: 'John', age: 30 };
// personWithAge 必须同时具有 Person 和 { age: number } 的特征

条件类型

条件类型允许我们根据某个条件创建新的类型。条件类型使用 extends 关键字来指定条件。例如：

type IsString<T> = T extends string ? true : false;

const isString: IsString<string> = true;
const isNumber: IsString<number> = false;

在上面的示例中，IsString 条件类型检查 T 是否扩展自 string 类型。如果是，则返回 true；否则返回 false。

泛型

泛型允许我们创建可重用的组件，这些组件可以在任何类型上工作。泛型使用尖括号 <> 来指定类型参数。例如：

interface Stack<T> {
  push(item: T): void;
  pop(): T;
}

const numberStack: Stack<number> = {
  push(item) {
    // ...
  },
  pop() {
    // ...
  },
};

const stringStack: Stack<string> = {
  push(item) {
    // ...
  },
  pop() {
    // ...
  },
};