第九章 控制抽象

在上一章中学习了函数值的概念，本章将要学习如何将函数值应用到创建新的控制抽象。

• 简化代码

  • 所有的函数都可以分为通用部分和非通用部分
    
    • 通用部分是函数体
    • 非通用部分必须由参数提供
  • 我们将这样的函数称为高阶函数，这使得我们有机会去组织和简化代码

        def containsNeg(nums: List[Int]):Boolean = {          var exists = false;          for(num <- nums)            if(num < 0)               exists = ture;          exists;        }

        如果我们在这里使用高阶函数exists：

    def containsNeg(nums: List[Int]):Boolean = nums.exists(_ < 0);

        就是如此的简洁！

• 柯里化

  • 柯里化的函数被应用于多个参数列表，而不仅仅一个

    def curriendSum(x: Int, y: Int) = {  x + y;}

    可以写作：

    def curriendSum(x: Int)(y: Int) = {  x + y;}

    还可以写作：

    def curriendSum(x: Int) = {  （y: Int） => x + y;}

• 编写新的控制抽象

  • 对于多个参数，先做柯里化
  • 在传入一个参数时，可以用花括号代替小括号达到更像控制抽象的效果

        def twice(x: Double, op: Double => Double) = op(op(x));

        改写：

        def twice(x: Double)(op: Double => Double) = op(op(x));

        调用

        twice(5) {          _ + 1;        }

        这样看起来就更加像是内建的控制抽象了。

• 传名参数

  • 要实现传名参数，要定义参数的类型开始与 => 而不是 ()=>
  • 需要将 ()=> 转换成 =>
  • 括号内的表达式不会先于调用函数被评估，而是创建一个函数值，其apply方法将其评估，而这个函数值则会传递给调用函数