3.2.1元组类型（tuple）

3.2.1元组类型（tuple）

 

F# 中最简单的不可变数据结构是元组2类型。元组是一种简单类型，它把几个（可能是）不同类型的值组合在一起。下面的示例创建了一个值，它包含了组合在一起的两个值：

 

> let tp = ("Hello world!",42);;

val tp : string * int

 

创建元组值相当简单：值列表括在括号内，以逗号分隔。我们仔细地看一下代码，第一行创建一个元组，将它赋给值tp。这里用到了 F# 语言的类型推断机制，因此，不需要显式声明值的类型。F# 编译器推断出元组中的第一个元素是字符串类型，第二个是整数类型，因此，构成这个元组的类型应该是这样的：“元组包含了字符串作为第一个值，整数作为第二个值”。当然，我们不想丢失任何有关类型的信息，如果只把结果类型称为元组，就不知道它包含了一个字符串和一个整数。

第二行输出了这个表达式推导出的类型。可以看到，在 F# 中，元组类型写成 string * int。通常，元组类型写成以星号分隔的其成员的类型。在接下来的几节中，我们将看到在 F# 中如何使用元组，以及用 C# 实现同样的功能。如果不能立即明白 F# 代码，也不必担心，有了后面的 C# 示例，会让一切更清楚。

在 C# 中，虽然可以使用 .NET4.0 中已有的元组类型，但我们还是要看一下它是如何实现的，以更好地理解其内部工作原理。在 C# 中，表示元组可能要用到泛型，泛型能够以类型安全（type-safe）的方式，使实现的类型可以保存不同[类型]的值。使用泛型，相当于 F# 的 string * int 类型，用C# 代码写成 Tuple<string, int>。我们先讨论一个 F# 示例后，再去看看 C# 版本。

---------

2 tuple 中的 U 读音与 cup 中的相同。