8.3.2 构建组合行为

8.3.2 构建组合行为

 

    在清单 8.11 中，验证最低收入和当前工作最小年份的检查和报表函数中，有明显的重复。这些检查有类似的结构：都检查客户的某一属性是否小于最小的允许值。

    找出共性是只删除重复第一步。下一步是要看 checkJobYears 和 checkIncome 函数（连同其报表函数）的哪部分是不同的：

    ■ 检查不同的属性。

    ■ 使用不同的最小值。

    ■ 有略微不同的消息。

    要更简洁地写出代码，我们可以创建一个函数，取这三个不同的部件作为其参数值，并返回 ClientTest 记录。当我们创建检查列表时，用不同的参数值调用这个新函数两次，创建两个类似的检查。清单 8.13 显示额外的函数（lessThanTest），以及创建检查列表的新方法。

 

Listing 8.13 Creating similar tests using a single function (F# Interactive)

 

> let lessThanTest readFunc minValue propertyName =
     let report client =
       printfn "Checking '%s' of '%s' failed (less than %d)!"
                   propertyName client.Name minValue
     { Check = (fun client -> readFunc(client) < minValue)
      Report = report };;
val lessThanTest : (Client -> int) -> int -> string –> ClientTest

> let tests =
     [ (lessThanTest (fun client -> client.Income) 30000 "income")
       (lessThanTest (fun client -> client.YearsInJob)
                             2 "years in the job")
(* more tests... *) ];;
val tests : ClientTest list

 

    像往常一样，这个类型签名告诉我们很多关于这个函数的信息。LessThanTest 函数返回值为 ClientTest，包含了检查和报表函数。检查是用三个参数值生成的：

    1 读客端的一个数字属性

    2 指定必需的最小值 （在本例中，表示收入或年数）

    3 描述属性 （用于报表检查）

    这段代码首先声明一个嵌套函数 report，取客户作为参数值，打印检查未通过的原因。这个函数还使用 lessThanTest 函数的参数值，这意味着，当 report 作为结果的一部分返回时，所有这些参数将捕获在一个闭包中。当构建一个将返回的记录值时，我们指定 report 作为这个函数值的一部分，第二部分写成内嵌的，使用 lambda 函数。

    使用函数的元组或记录，在函数式编程中很常见，它反映了 F# 的开发风格。但在 C# 中，我们将使用不同的方法来实现这个示例。让我们看一下，在开发过程中，还要考虑如何在 C# 中实现这个示例，并改善当前的 F# 版本。