5.2.2 元组类型和值构造函数

5.2.2 元组类型和值构造函数

 

    你已经知道元组值的类型是什么样子，我们在清单 5.1再次看到它。写类型使用星号，例如，元组类型存储整数和字符串，写成 int * string。在介绍这一章中，谈论值和类型，我们解释过一种类型是所有可能值的域。让我们使用这种观点，看一下元组类型：这种表示法如何反映由几个基本类型组成元组类型的事实？

    在这种表示法中，星号发挥着关键作用，因为，它可以作为类型构造函数 （type constructor）[1]。这意味着，你可以使用星号来从任何其他类型构造元组类型。我们前面提到过，类型指定了所有可能的值的域。使用这个术语，这个域指定了 int * string 类型的值，包含了整数和字符串的所有可能组合。在 F# 中，不必显式写出类型，很多时候是由于类型推断的奇迹，但是，看看类型是如何构造的也非常有用。

    另一方面，当编写任何使用元组的代码时，将使用值构造函数（value constructors）。这种构造函数是更接近于在 C# 中使用的构造函数。值的构造函数创建新的函数值，类似于在面向对象的构造函数创建一个类的新实例的方式。这是语法，

允许从其他、 更简单的值创建元组类型的值。例如，(1,"hello") 显示了值构造函数的用法，它创建了一个特定的值，属于指定整数和字符串的所有可能组合的这个域。要演示值和类型的构造函数之间的关系，让我们看看另一个示例。下面的代码片断显示了，我们如何使用元组表示消息，X, Y 坐标显示在屏幕上显示：

> let msgAt1 = (50, 100, "Hello world!");;
val msgAt1 : int * int * string

> let msgAt2 = ((50, 100), "Hello world!");;
val msgAt2 : (int * int) * string

    代码显示了两种不同的表示形式。在第一种情况中，我们使用有三个元素的单个元组，把所有的基本值存储在一起。如你所见，打印的类型签名反映了这些，显示了由星号分隔的三个基本类型。在第二种情况下，我们首先构建一个元组，以存储 X 和 Y 坐标，然后，再把这个值与消息组合成另一个元组。正如你所看到的，该类型再次反映了这个构造架构。这两个类型是不同的，这也是值得注意的。第一种是有三个元素的元组，而第二种是一个元组，包含了一个元组和一个字符串。这意味着，当你构建这些元组时，你应始终考虑可用选项。在这种情况下，我们最好选择第二个选项，因为，似乎是合理的，X 和 Y 值形成单组成代表坐标值。另一方面，字符串值表示消息，与坐标稍微无关。让我们看看如何正确使用元组的几个详细指导。

 

-----------

[1] 在 .NET 的术语中，类型构造函数用于，引用静态类的构造函数，在类型中初始化静态数据。在这里，我们在使用函数编程术语中，类型构造函数用来从给定的类型构建新的类型。