5.5 函数值

5.5 函数值

 

我们已经看到过把函数当作值使用的示例（第三章），当时，写过一个汇总列表元素的函数，把其他的函数作为参数值。用这种方式，我们能够把同一个汇总函数，用于不同的目的：我们先用它来计算列表中所有元素的和，后面用来找出集合中的最大元素。

处理数据集合可能是展示函数作为值使用之重要的最佳方式。必须要说的是，这个概念的重要性，远不止这种情况，在本书的其余部分将会逐步看到。我们首先来看一个命令式代码的示例，从给定集合中选出偶数，返回到另一个集合中：

 

var numbers = new [] {3,9,1,8,4};

var evens = new List<int>();

foreach(var n in numbers)

if(n%2 == 0)

  evens.Add(n);

return evens;

 

想象一下，如果要以不同的方式筛选这个集合，比如，返回所有的正数，哪些行代码需要修改。四行中有三行（不算第一行，这是初始化数据的，和最后一行，是返回结果的）都是固定格式的代码，将保持不变（代码变化的部分以粗体突出显示）。把函数当作值，并把它作为参数接受，我们可以提取代码的通用部分，作为可重复使用的方法；以后调用代码只要指定一个参数值，描述各种筛选器变化的部分，即需要应用到每个元素的判断条件。

事实上，很多的标准函数，如筛选，在 F # 中已经存在，并在 .NET 3.5 LINQ 中也添加了几乎同样的函数，来处理集合；只是有些命名不同而已。在 F# 中，能够取判断条件作为参数，并执行筛选的函数，称为筛选器（filter），而在 LINQ 中，称为条件（Where，类似于 SQL 中的 WHERE 子句）。清单 5.14 是前面的示例使用这类函数的一个实现。

 

清单 5.14 使用判断条件进行筛选

// C# version

using System.Linq;  <-- 导入 Where 扩展方法

 

var nums = new [] {4,9,1,8,6};

var evens = nums.Where(n => n%2 == 0);  [1]

PrintNumbers(evens);    <-- 输入结果到控制台

 

// F# version with output from F#Interactive

> let nums = [ 4; 9; 1; 8; 6 ];;

val nums : int list

> let evens = List.filter (fun n ->n%2 = 0) nums;;  [2]

val evens : int list = [ 4; 8; 6 ]

 

如果我们必须把判断条件写成正常的 C# 中的方法或 F# 中的函数（使用 let），代码不可能比前面的版本更短。使代码更简单的关键功能，是能够在调用 Where 方法[1]或 filter 函数[2]的内部，直接写函数（这里的判断条件）。

在 C# 中，这种符号称为 lambda 表达式，在 F# 中称为 lambda 函数。因为本书主要是关于 F# 的，我们会保持统一，使用 F# 的命名。在两种情况下的lambda 一词，都是指希腊字母，来自于 lambda 演算，我们在第二章中提到过。

 

什么是函数值？

 

在函数编程语言中的函数是来源于数学上的函数概念，在许多方面，它与有命令式编程背景的程序员直觉认为的函数，是不一样的。在命令式编程中，函数是一段程序，取得参数，执行代码，返回结果；在这个意义上的函数，可以做任何事情；最重要的是，它可以使用和修改全局状态，因此，调用同一个函数，使用相同的参数，但结果可能不同。这方面最明显的例子，可能就是伪随机数发生器，如果它始终返回相同的结果，那也就不能叫随意了！

在数学上，函数更多的是反映了参数值与结果之间的关系。这就是说，数学上的函数，如果参数值相同，返回的结果始终相同。显然，这就是我们前面示例中判断条件的工作方式；对于相同的参数值，它始终返回相同的结果（偶数为真，奇数为假）。

有这种数学方式表现的函数，称为纯函数（pure functions）。我们写的大多数函数都是纯函数，但在下一章结束时，我们会看到这个规则重要且有用的例外。你可能会想，数学上的伪随机数生成器函数到底应该是什么样子。

对于有面向对象技术背景的人来说，有另一个途径看函数：可以把函数值看作对象，实现真正简单的、只有一个方法的接口。按照这种理解，前面示例中的判断条件相当于下面的接口：

 

interface Function_Int_Bool {

  boolExecute(int arg);

}

 

在 C# 中，委派（delegates）有点类似于函数，C# 3.0 使之更接近于这个简单的概念。然而，作为在 F# 和函数语言中使用的函数概念，主要是以数学概念为基础的。从这个意义上来讲，F# 函数比接口或委派，它们只是函数，要简单得多。

 

在前面的示例中，我们已经看到 lambda 函数是一个关键因素，使简洁的函数编程风格成为可能。我们在全书中都会使用到，因此，需要仔细地看看 lambda 函数。