联合类型是一种功能强大的特性，可以在TypeScript中帮助我们编写更具表现力和可读性的代码。而被区分的联合类型更是将其提升到了一个全新的层次。通过巧妙地使用被区分的联合类型，我们可以编写出更易于使用和维护的代码，提高开发效率和代码质量。
在TypeScript中，被区分的联合类型是指一组具有共同特征的类型，这些类型可以通过一个公共的属性来区分。这个公共属性被称为“标签”或“类型标记”，它可以是字符串、数字或一个联合类型。
让我们以一个简单的例子来说明被区分的联合类型的使用场景。假设我们正在编写一个应用程序，用于处理各种形状的图形。在过去，我们可能会使用一个枚举类型来表示不同的图形类型，然后使用一个通用的形状接口来表示各种具体的形状。
然而，使用被区分的联合类型，我们可以更加优雅地解决这个问题。首先，我们需要定义一个形状的联合类型，其中每个形状都有一个类型标记来区分它们。比如，我们可以定义一个名为Shape的联合类型，其中包含了三个形状：圆形、矩形和三角形。
“`typescript
type Shape =
| { kind: “circle”; radius: number }
| { kind: “rectangle”; width: number; height: number }
| { kind: “triangle”; base: number; height: number };
“`
在上面的代码中，我们使用字符串类型的标签来区分不同的形状。这样一来，我们就可以根据标签来推断每个形状所对应的具体类型。
接下来，我们可以使用被区分的联合类型来声明一个处理形状的函数。在这个函数中，我们只需要使用类型守卫来根据不同的标签进行相应的处理。这样，我们就可以实现不同的形状处理逻辑，并在编译时获得类型检查的好处。
“`typescript
function calculateArea(shape: Shape): number {
switch (shape.kind) {
case “circle”:
return Math.PI * shape.radius ** 2;
case “rectangle”:
return shape.width * shape.height;
case “triangle”:
return 0.5 * shape.base * shape.height;
}
}
“`
上述代码中的calculateArea函数接受一个Shape类型的参数，并根据不同的形状计算其面积。由于我们使用了类型守卫，TypeScript会在编译时检查我们是否正确处理了所有可能的形状，并在需要时给出警告或错误。
通过使用被区分的联合类型，我们可以编写出更易于使用和维护的类型定义和函数逻辑。在上述例子中，我们可以轻松地添加更多的形状，而不需要修改大量的代码。这种可扩展性和可维护性使得被区分的联合类型成为编写TypeScript代码的有力工具。
总结一下，被区分的联合类型是一种在TypeScript中编写易于使用和维护的类型的强大技巧。通过定义具有标签属性的联合类型，我们可以利用类型守卫来处理不同的类型，并在编译时获得类型检查的好处。这种技术为我们提供了更高的开发效率和代码质量，使得我们的应用程序更加健壮和可扩展。
如果你想要了解更多有关被区分的联合类型的信息，可以参考以下网址：https://spin.atomicobject.com/discriminated-unions-typescript/
了解更多有趣的事情：https://blog.ds3783.com/