TypeScript联合类型

2024-02-09 18:24:21

当然，以下是关于 TypeScript 联合类型的文章：

联合类型是什么？

联合类型是一种将多个类型组合成一个单一类型的数据类型。它允许我们创建可以包含不同类型值的变量或参数。联合类型使用竖线（|）分隔其各个成员类型。

例如，我们可以创建一个可以包含字符串或数字的联合类型：

type StringOrNumber = string | number;

联合类型有什么用？

联合类型有很多用途。我们可以在函数参数中使用它们，以便该函数可以接受多种不同类型的值。我们还可以使用它们来创建更灵活的类型注解，以便我们可以使用多种类型的值来初始化变量。

例如，我们可以创建一个接受字符串或数字参数的函数：

function add(x: StringOrNumber, y: StringOrNumber): StringOrNumber {
  if (typeof x === "string" || typeof y === "string") {
    return x + y;
  } else {
    return x + y;
  }
}

我们还可以在类型注解中使用联合类型来指示变量可以具有多种类型。例如，我们可以创建一个可以存储字符串或数字的变量：

let myVariable: StringOrNumber;

联合类型与交叉类型

联合类型与交叉类型非常相似。但是，它们之间存在一些关键差异。联合类型允许我们创建可以包含不同类型值的变量或参数。交叉类型允许我们创建可以包含具有所有成员类型特性的值的变量或参数。

例如，我们可以创建一个可以包含字符串和数字的联合类型：

type StringOrNumber = string | number;

我们还可以创建一个可以包含具有字符串和数字特性的交叉类型：

type StringAndNumber = string & number;

联合类型的兼容性

联合类型与其他类型之间的兼容性取决于联合类型的各个成员类型。如果联合类型的任何一个成员类型与另一个类型兼容，那么联合类型与另一个类型兼容。

例如，字符串或数字联合类型与字符串类型兼容，因为字符串类型是联合类型的成员类型。

type StringOrNumber = string | number;
type String = string;

StringOrNumber兼容String

联合类型的保护

在使用联合类型时，有时我们需要确定联合类型的具体类型。我们可以在 TypeScript 中使用类型保护来做到这一点。

类型保护有两种主要方式：

类型断言
typeof运算符

类型断言

类型断言是一种显式地将值转换为特定类型的方式。我们可以使用尖括号（<>）来指定要转换的值的类型。

type StringOrNumber = string | number;

let myVariable: StringOrNumber = "Hello";

// 使用类型断言将myVariable转换为string类型
let myString: string = <string>myVariable;

typeof运算符

typeof运算符返回一个值的类型。我们可以使用typeof运算符来确定联合类型中值的具体类型。

type StringOrNumber = string | number;

let myVariable: StringOrNumber = "Hello";

// 使用typeof运算符确定myVariable的类型
if (typeof myVariable === "string") {
  // do something
} else {
  // do something else
}