2.4.2 差别联合类型（discriminated union type）

2.4.2 差别联合类型（discriminated union type）

在这一节，我们将关注差别联合（discriminated union）类型，它是一种基本的函数式类型。我们先用一个示例来说明了它的用处。假设要写一个处理形状图形的应用程序，我们将使用简化的形状表示，因此，就选择矩形、椭圆（由矩形边框的顶点定义），和由两个形状组合的形状。

如果使用面向对象的概念考虑这个问题，可能需要一个抽象类来表示形状（称它 Shape），和三个派生类表示三种不同的情况（椭圆、矩形和组合，Ellipse、Rectangle 和 Composed）。使用面向对象的概念，我们现在用四个类来描述这个问题。另外，我们还不知道用这些形状来做什么，有可能会把它们画出来，但还不知道需要哪些参数值来绘制，因此，也就无法写出 Shape 类的任何抽象方法。

我们最初的想法是比这种成熟的类层次结构更简单：只需要表示三种不同情况下的形状。我们想要定义一个简单的数据结构，用来表示形状，F# 正是这样做的：

type Shape =

|Rectangle of Point * Point

|Ellipse of Point * Point

|Composed of Shape * Shape

这段代码创建了差别联合类型 Shape，它更接近于我们最初开始描述这个问题时的意图。可以看到，这个类型声明包含三个例，涵盖了三种可能的形状表示。在 F# 中使用这个类型的值时，只要这样写代码，比如，Rectangle(pt1,pt2) 创建矩形。不同于在 C 语言中的联合（unions），这个值被标记了，这样，我们总是知道它代表了哪个选项。在下一节，我们会看到，这一点对于处理差别联合的值是相当的重要。

使用F# 进行开发，通常是先设计保存程序数据所需要的数据结构，我们将在第七章至第九章加详细探讨这一问题。在下一节，我们将介绍模式匹配，这个概念能使许多典型的函数编程任务更容易。虽然模式匹配看上去是与类型不相关的概念，但是，你会发现，它们之间是有一些重要的联系的，就不说其他事情，模式匹配是能够用来实现处理差别联合的函数。