5.1.2 认识值和数据

5.1.2 认识值和数据

 

值通常用于局部，在任何时候，都需要先创建再使用。我们说过，元组是经常使用的复合值之一；另一个例子，是我们将在 5.3.4 节讨论的 option 类型，它有两种选择：一个是实际值，另一个是值缺失时的指定值。当使用选项值时，如果没有检查两种情况，编译器会警告，因此，NullReferenceException 异常没有危险。

值通常用于解决一般的编程任务，如表示缺少一些参数值；还可以是很简单的（局部使用）的实用程序，比如，值既可能包含 ID，也可能是名字，作为搜索函数参数值。另一方面，数据通常更大，表示的信息可以为程序各部分之间所共享；编程语言并不会区分两者，但是，在我们描述中，偶尔会区分。

在这一章，我们将讨论局部使用值的方法，包括基本的 F# 类型声明。在第七章，我们将继续这个讨论，届时，介绍其余的类型声明，通常表示整个程序使用的数据。

 

注意

 

到目前为止，我们使用术语“值”和“类型”一直都相当含糊，所以，我们需要澄清一下。举一个数字的例子，整数是类型，而 43 则是这个类型的值。类型描述了值的整个域，值始终是特定类型域中的一个元素。

 

这点理论就足够了。我们先看一下第一种组合值的方法，这应该很熟悉了，使用元组。