高阶函数及 DRY.pdfVIP

⾼阶函数与 DRY 前⼏章介绍了 Scala 容器类型的可组合性特征。接下来，你会发现，Scala 中的⼀等公 民—— 数也具有这⼀性质。 组合性产⽣可重⽤性，虽然后者是经由⾯向对象编程⽽为⼈熟知，但它也绝对是纯 数的固有性质。 （纯 数是指那些没有副作⽤且是引⽤透明的 数） ⼀个明显的例⼦是调⽤已知 数实现⼀个新的 数，当然，还有其他的⽅式来重⽤已 知 数。这⼀章会讨论 数式编程的⼀些基本原理。你将会学到如何使⽤⾼阶 数， 以及重⽤已有代码时，遵守 DRY 原则。 ⾼阶函数 和⼀阶 数相⽐，⾼阶 数可以有三种形式： 1. ⼀个或多个参数是 数，并返回⼀个值。 2. 返回⼀个 数，但没有参数是 数。 3. 上述两者叠加：⼀个或多个参数是 数，并返回⼀个 数。 看到这⾥的读者应该已经见到过第⼀种使⽤：我们调⽤⼀个⽅法，像 map 、 filter 、 flatMap ，并传递另⼀个 数给它。传递给⽅法的 数通常是匿名 数，有时 候，还涉及⼀些代码冗余。 这⼀章只关注另外两种功能：⼀个可以根据输⼊值构建新的 数，另⼀个可以根据现 有的 数组合出新的 数。这两种情况都能够消除代码冗余。 函数⽣成 你可能认为依据输⼊值创建新 数的能⼒并不是那么有⽤。 数组合⾮常重要，但在 这之前，还是先来看看如何使⽤可以产⽣新 数的 数。 假设要实现⼀个免费的邮件服务，⽤户可以设置对邮件的屏蔽。我们⽤⼀个简单的样 例类来代表邮件： case class Email( subject: String, text: String, sender: String, recipient: String ) 想让⽤户可以⾃定义过滤条件，需有⼀个过滤 数——类型为 Email = Boolean 的谓词 数，这个谓词 数决定某个邮件是否该被屏蔽：如果谓词成真，那这个邮件 被接受，否则就被屏蔽掉。 type Email ilter = Email = Boolean def newMails orUser(mails: Seq[Email], f: Email ilter) = mails.fil 注意，类型别名使得代码看起来更有意义。 现在，为了使⽤户能够配置邮件过滤器，实现了⼀些可以产⽣ Email ilter 的⼯⼚ ⽅法： val sentByOneOf: Set[String] = Email ilter = senders = email = senders.contains(email.sender) val notSentByAnyOf: Set[String] = Email ilter = senders = email = !senders.contains(email.sender) val minimumSize: Int = Email ilter = n = email = email.text.size = n val maximumSize: Int = Email ilter = n = email = email.text.size = n 这四个 vals 都是可以返回 Email ilter 的 数，前两个接受代表发送者的 Set[String] 作为输⼊，后两个接受代表邮件内容长度的 Int 作为输⼊。 可以使⽤这些 数来创建 Emial ilter ： val email ilter: Email ilter = notSentByAnyOf(Set(johndoe@examp val mails = Email( subject = Its me again, your stalker friend!, text = Hello my friend! How are you?, sender = johndoe@, recipient = me@) :: Nil newMails orUser(mails, email ilter) // returns an empty list 这个过滤器过滤掉列表⾥唯⼀的⼀个元素，因为⽤户屏蔽了来⾃ johndoe@ 的邮件。可以⽤⼯⼚⽅法创建任意的 Email ilter 数，这取决于⽤户的需求了。 重⽤已有函数 当前的解决⽅案有两个问题。第⼀个是⼯⼚⽅法中有重复代码。上⽂提到