5.4.2 F# 中有泛型选项类型

5.4.2 F# 中有泛型选项类型

 

  在 F# 中，泛型类型本质上与 C# 中的泛型类相同，用来写更通用和可重用的类型。在选项类型的情况下，我们已经看到此需要，因为，我们希望能够使用完全相同的泛型类型，创建选项，一个值可以携带不同类型。当然，我们要写类型安全的代码，因此，我们需要知道这个选项类型到携带了哪种类型。

    正如在 C# 中，我们声明类型，有一个类型参数，作为值类型使用，保存在 Some 可选值中。可以在 F# Interactive 中输入代码，但如果这样做，将不得不重新启动它，因为，你会隐藏系统实现的类型：

 

type Option<'T> =
  | Some of 'T
  | None

 

    声明泛型类型的语法是类似于在 C# 中使用：类型参数写在尖括号中。不像在 C# 中，我们必须使用类型参数的专用名，以便类型参数的名字总是以撇号开始。

    在 C# 中，创建泛型类的实例，或者 F# 中泛型类型的值时，类型参数用创建这个值时使用的实际类型代替。在 C# 中，当调用该构造函数时，必须显式指定类型，但在 F# 中，类型参数通常是由编译器推断的。让我们看一个示例：

 

> Some("Hi there!");;
val it : Option = Some "Hi there!"

 

    在此示例中，编译器推断出我们要创建包含字符串的选项，因为，我们把字符串作为参数值。那么，可以推断，类型参数值是字符串，推导出的类型是 Option。我们将在下一节中更详细地讨论类型推断。

    我们已经看到其他写泛型类型的语法。这是因为 F# 是兼容于 OCaml，它使用不同的符号。我们将使用 .NET 语法来写泛型类型，但对于理解两种形式是有用的，因为，你偶尔也遇到 OCaml 语法。

 

泛型类型的 OCaml 语法

 

    在 OCaml 语法中，类型参数写在类型名之前，所以，我们以前的泛型选项类型的示例，可以这样写：

type 'T Option = (...)

    当创建此类型的值时，F# 还会使用这种表示法打印出它的类型。类型 Some(10) 会显示为 int Option。当声明有多个类型参数值的类型时，这些参数值都写在括号（这类似于创建元组值的语法）：

type ('T1, 'T2) OptionallyLabeledTuple = (...)

    注意，这只是语法上的差别，F# 平等地对待这两种声明。如果你声明类型时使用 OCaml 语法，然后，在使用时用 .NET 语法它（反之亦然），你的代码仍然是绝对正确。它是一个风格问题——但是，出于可读性的缘故，保持一致仍是一个好主意。与 OCaml 兼容的风格用在很多 F# 库中的基本类型声明，但是，在这本书中，我们将始终使用 .NET 风格，来声明泛型类型。

 

    我们可以声明有多个类型参数的泛型类型，与 C# 中的方式完全相同。下面的示例演示如何创建一个泛型差别联合，有两种情况，可以存储两个值，可选地为它们指定标签：

 

> type OptionallyLabeledTuple<'T1, 'T2> =
     | LabeledTuple of string * 'T1 * string * 'T2
     | UnlabeledTuple of 'T1 * 'T2;;
(...)

> LabeledTuple("Seven", 7, "Pi", 3.14);;
val it : OptionallyLabeledTuple =
LabeledTuple ("Seven", 7, "Pi", 3.14)

 

    你可以看到，当我们创建这个值，F# 编译器正确推断出两个类型参数值的类型。类型推断是 F# 的基石之一，因此，让我们看更多的例子，并与 C# 3.0 中可用的推断进行比较。