5.4.2 F# 中的泛型选项类型

5.4.2 F# 中的泛型选项类型

 

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

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

 

type Option<'T> =

  |Some of 'T

  |None

 

声明泛型类型的语法与C# 中的用法类似：类型参数写在尖括号中；与 C# 中不一样的是，必须使用类型参数的专用名，因此，类型参数的名字总是以单引号（'）开头。

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

 

> Some("Hi there!");;

val it : Option<string> = Some"Hi there!"

 

在这个示例中，编译器推断出我们要创建包含字符串的选项值，因为，我们把字符串作为参数值；那么，编译器就能推断出类型参数值是字符串，进而推断出类型为 Option<string>。我们将在下一节详细讨论类型推断。

我们已经看过写泛型类型的其他语法。这是因为 F# 是兼容于 OCaml，它使用了不同的记号方法。我们将使用 .NET 语法来写泛型类型，但理解两种形式还是有用的，因为说不定也会碰到 OCaml 语法。

 

写泛型类型的 OCaml 语法

 

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

 

type 'T Option = (...)

 

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

 

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

 

注意，这只是语法上的差别，F# 认为这两种声明是一样的。如果我们声明类型时使用 OCaml 语法，然后，在使用时用 .NET 语法（反之亦然），代码仍然是绝对正确。这只是一个风格问题，但是，出于可读性的缘故，保持一致仍是一个好主意。在F# 库中很多基本类型的声明，就是使用了与 OCaml 兼容的风格；但是，在本书中，我们始终使用 .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<int,float> =

LabeledTuple ("Seven", 7,"Pi", 3.14)

 

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