5.4 泛型值（Generic values）

5.4 泛型值（Generic values）

 

在本节，我们将讨论泛型类型[原文为generic type，泛型类型，应该可以简称为泛型]声明，可以发现，在很多方面，F# 中的泛型与C# 中的泛型很相似。到目前为止，我们唯一用 type 结构声明的类型，就是差别联合；在后面，我们会看到使用同样结构写的其他类型声明（特别是，在第七和第九章），但是，使类型成为泛型的语法，与现在将要看到的语法完全相同。

不需要事先声明的类型，比如，元组，天生就是泛型。我们可以使用带有任意其他类型的类型的构造函数，比如， int * int 或 string * int；创建元组时，可以使用有任意值的值构造函数，写成 (12，34) 或 ("Pi",3.14）。在本节，我们将学习如何使自己的类型构造函数成为泛型；首先看一下如何在 C# 中实现泛型选项类型。