什么是可辨识联合类型
在 TypeScript 中，我们可以使用联合类型来表示一个值可能是多个类型中的任意一种。例如：
type MyType = string | number | boolean;
但是，在某些情况下，我们需要根据联合类型中的某个属性来确定它的具体类型，这就是可辨识联合类型。例如：
-- -------------------- ---- ------- --------- ------ - ----- --------- ----- ------- - --------- --------- - ----- ------------ ------ ------- ------- ------- - ---- ----- - ------ - ----------
在上面的例子中，我们定义了两个接口 Square 和 Rectangle，它们都有一个属性 kind，用于区分不同的形状。然后，我们使用联合类型 Shape 来表示这两种形状。这样，当我们使用 Shape 类型的变量时，就可以根据它的 kind 属性来确定它的具体类型。
如何处理可辨识联合类型
在 TypeScript 中，我们可以使用 switch 语句来处理可辨识联合类型。例如：
function area(shape: Shape) {
switch (shape.kind) {
case "square":
return shape.size * shape.size;
case "rectangle":
return shape.width * shape.height;
}
}在上面的例子中，我们定义了一个函数 area，它接受一个 Shape 类型的参数。然后，我们使用 switch 语句来根据 shape.kind 属性来确定具体的形状，并计算它的面积。
需要注意的是，当我们使用 switch 语句处理可辨识联合类型时，必须包含所有可能的情况。如果漏掉了某种情况，TypeScript 就会给出一个编译错误。例如：
function area(shape: Shape) {
switch (shape.kind) {
case "square":
return shape.size * shape.size;
}
}上面的代码会报错，因为我们漏掉了处理 Rectangle 的情况。
示例代码
下面是一个完整的示例代码，用于演示如何处理可辨识联合类型：
-- -------------------- ---- -------
--------- ------ -
----- ---------
----- -------
-
--------- --------- -
----- ------------
------ -------
------- -------
-
---- ----- - ------ - ----------
-------- ----------- ------ -
------ ------------ -
---- ---------
------ ---------- - -----------
---- ------------
------ ----------- - -------------
-
-
----- ------- ------ - - ----- --------- ----- -- --
----- ---------- --------- - - ----- ------------ ------ --- ------- -- --
-------------------------- -- -- ---
----------------------------- -- -- ---在上面的代码中，我们定义了两个接口 Square 和 Rectangle，它们都有一个属性 kind，用于区分不同的形状。然后，我们使用联合类型 Shape 来表示这两种形状。接着，我们定义了一个函数 area，它接受一个 Shape 类型的参数，并使用 switch 语句来根据 shape.kind 属性来确定具体的形状，并计算它的面积。最后，我们定义了两个变量 square 和 rectangle，分别表示一个正方形和一个矩形，并分别调用了 area 函数来计算它们的面积。
Source: FunTeaLearn,Please indicate the source for reprints https://funteas.com/post/67da3afaa941bf713420b9b6