TypeScript 中高阶类型的使用方法-JavaScript中文网-JavaScript教程资源分享门户

TypeScript是一个强类型的JavaScript超集，它允许使用静态类型注释来帮助开发者进行类型检查以及代码重构。在这篇文章中，我们将探讨TypeScript中高阶类型的使用方法，这些类型包括Type Aliases、联合类型、交叉类型、泛型和条件类型。

Type Aliases

Type Aliases（类型别名）允许我们为类型声明一个新的名称，这样我们可以清晰地表示类型并方便代码重构。下面是一个例子：

type Age = number;

const age: Age = 25;

上面的代码中，我们为number类型声明了一个Age的类型别名。然后我们创建了一个名为age的常量，用25来赋值它。我们使用Age作为类型注释来代替使用number，这可以使我们的代码更具可读性和可维护性。

Type Aliases 也可以用来声明复杂类型，例如对象和函数类型。下面是一个使用 Type Aliases 声明对象类型的例子：

// www.javascriptcn.com code example
type User = {
  id: number;
  name: string;
  email: string;
}

const user: User = {
  id: 1,
  name: 'John',
  email: 'john@example.com'
};

除此之外，Type Aliases 也可以用来声明函数类型：

type AddFunction = (x: number, y: number) => number;

const add: AddFunction = (x, y) => x + y;

console.log(add(1, 2)); // 3

联合类型

Union Types（联合类型）允许我们定义一个值可以是多个不同类型的一种，可以用 | 来分隔多个类型。下面是一个例子：

type ID = number | string;

const userId: ID = 1;
const postId: ID = 'abc';

上面的例子中，我们使用Type Aliases声明了一个类型别名ID，它可以是 number 类型或 string 类型中的一种。然后我们创建了两个常量userId和postId来表示ID值，userId的类型是number，postId的类型是string。

交叉类型

Intersection Types（交叉类型）允许我们声明一个类型是多个类型的交叉，可以用 & 来链接不同的类型。下面是一个例子：

// www.javascriptcn.com code example
type Employee = {
  id: number;
  name: string;
  isManager: boolean;
};

type Manager = {
  department: string;
};

type ManagerEmployee = Employee & Manager;

const manager: ManagerEmployee = {
  id: 1,
  name: 'John',
  isManager: true,
  department: 'IT'
};

上面的例子中，我们定义了两个类型别名Employee和Manager，然后我们创建了一个名为ManagerEmployee的交叉类型，它由Employee和Manager组成。最后我们创建了一个manager常量，它的类型是ManagerEmployee，它包含了Employee和Manager类型的属性。

泛型

TypeScript 也支持泛型，在函数和类中使用泛型可以实现代码的高度复用。通常，在函数和类名后使用<T>（或其他字母）转换成泛型类型，这意味着参数或返回值可能是任意类型。例如：

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

console.log(identity('hello')); // 'hello'
console.log(identity(123)); // 123

在上面的代码中，我们声明了一个名为identity的函数，它有一个泛型类型<T>，它接收一个类型为T的参数arg并返回arg。我们调用identity函数两次，并将不同的参数传递给它。第一次调用时，我们将字符串'hello'作为参数传递给identity函数，第二次调用时，我们将数字123作为参数传递给它。identity函数在两次调用中都返回了接受的参数，因为它返回的类型和参数类型相同。

此外，在函数和类中还可以使用具有多个类型参数和默认值的泛型。类型参数可以在参数列表和返回类型中使用。

条件类型

Conditional Types（条件类型）是一个高级类型，它允许我们根据其他类型的属性确定当前类型。条件类型通常被用来创建具有不同类型参数的函数，或者在类型转换时进行类型检查。下面是一个例子：

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

const isString1: IsString<number> = false;
const isString2: IsString<string> = true;

上面的代码中，我们使用了一个条件类型IsString，它有一个类型参数T。知道T被赋予的值是string类型还是其他类型时，我们可以用条件T extends string ? true : false来确定当前类型，如果T类型是 string，则类型为true，否则类型为false。

最后，值得注意的是，高级类型可以在TypeScript中提供很多有用的工具和手段，帮助开发者处理复杂类型问题。这些类型可以大大提高代码的可读性和灵活性，建议多掌握。

来源：JavaScript中文网，转载请注明来源 https://www.javascriptcn.com/post/67d78a9ea941bf7134d81be1

TypeScript 中高阶类型的使用方法

Type Aliases

联合类型

交叉类型

泛型

条件类型

接着读