Scala中的函数式编程

浅浅的花香味﹌ 2022-04-15 00:35 283阅读 0赞

# Scala中的函数式编程 #

Scala程序设计 第2版 - 原版.pdf 下载：[https://download.csdn.net/download/u014646662/10805074][https_download.csdn.net_download_u014646662_10805074]

作为一门面向对象与函数式的混合范式语言，Scala 并不强制要求函数必须是纯函数，也不要求变量不可变。尽管它的确推荐你在任何可能的情况下这么做。

以下是几个高阶函数，我们将其组合在一起，用它来对一个整数列表进行遍历，过滤出其中的偶数，对每个偶数乘以2，再使用reduce 函数将各个整数乘在一起：

object Test extends App {
      val l = (1 to 10) filter (_ % 2 == 0) map (_ * 2) reduce (_ * _)
      println(l)
    }
    
    输出：
    122880

\_ % 2 == 0，\_ \* 2，与\_ \* \_ 是函数字面量。前两个函数只有一个参数，赋值给占位符\_；最后一个函数带两个参数，该函数本身是reduce 函数的参数。

reduce 函数将各个元素做累乘，也就是说它将整数的集合reduce 为一个值。reduce 函数带两个参数，均赋值给了占位符\_。其中一个参数是集合中的当前元素，另一个参数就是累乘值，是上一次调用reduce函数得到的部分元素的累乘结果。（第一个参数是累乘参数，还是第二个参数是累乘参数取决于具体实现）对传入的函数的要求是：其计算必须满足结合律，类似乘法与加法，因为我们不保证集合中元素的计算顺序。于是，我们只用了一行代码，没有用可变的计数器，也没有用可变变量作为累乘结果，就“循环”遍历了列表得出结果。

把代码稍微修改一下：

object Test extends App {
      var factor = 2
      val multiplier = (i: Int) => i * factor
      var l = (1 to 10) filter (_ % 2 == 0) map multiplier reduce (_ * _)
      println(l)
      factor = 3
      l = (1 to 10) filter (_ % 2 == 0) map multiplier reduce (_ * _)
      println(l)
    }
    
    输出：
    122880
    933120

我们定义一个名为factor 的变量，作为累乘因子。而之前的匿名函数\_ \* 2 则替换为一个名为multiplier 的变量，变量的值由factor 决定。注意，multiplier 事实上也是一个函数。由于函数在Scala 中是第一等的，因此我们定义了表示函数的变量。不过，这不是简单的替换，在这里multiplier 引用了factor，而不是将其硬编码为2。注意看我们使用两个不同的factor 值时，程序的运行结果。首先我们的输出值为122880，与之前相同，但接着输出值为933120。

尽管multiplier 是一个不可变的函数字面量，当factor 改变时，multiplier 的行为也跟着改变。在multiplier 函数中有两个变量i 和factor。i 是一个函数的参数，所以每次调用时，i都绑定了一个新的值。然而，factor 并不是multiplier 的参数，而是一个自由变量，是一个当前作用域中某个值的引用。所以，编译器创建了一个闭包，用于包含（或“覆盖”）multiplier与它引用的外部变量的上下文信息，从而也就绑定了外部变量本身。这就是factor 变化时，multiplier 也跟着变化的原因。Multiplier 引用了factor，每次调用时都重新读取factor 的值。如果函数没有外部引用，那它就只是包含了自身，不需要外部上下文信息。

即使factor 处于某个局部作用域（如某个方法）中，而我们将multiplier 传递给其他作用域（如另一个方法）中时，这一机制仍然有效。该自由变量factor 的有效性一直伴随multiplier 函数：

object Test extends App {
      def m1(multiplier: Int => Int) = {
        (1 to 10) filter (_ % 2 == 0) map multiplier reduce (_ * _)
      }
    
      def m2: Int => Int = {
        val factor = 2
        val multiplier = (i: Int) => i * factor
        multiplier
      }
    
      println(m1(m2))
    }
    
    输出：
    122880

我们调用m2， 返回了一个类型为Int => Int 的函数。返回的内部值是multiplier，multiplier 引用了m2 中定义的变量factor，一旦m2 返回，就离开了factor 变量的作用域。然后调用m1，将m2 的返回值传递给它。尽管factor 变量已经离开了m1 的作用域，但程序的输出与之前的例子相同，仍为122880。m2 返回的函数事实上是一个闭包，它包含了对factor 的引用。

三个关键字

• 函数  
一种具有名或匿名的操作。其代码直到被调用时才执行。在函数的定义中，可能有也可能没有引用外部的未绑定变量。  
• Lambda  
一种匿名函数。在它的定义中，可能有也可能没有引用外部的未绑定变量。  
• 闭包  
是一个函数，可能匿名或具有名称，在定义中包含了自由变量，函数中包含了环境信息，以绑定其引用的自由变量。

对人工智能感兴趣的同学，可以点击以下链接：

[现在人工智能非常火爆，很多朋友都想学，但是一般的教程都是为博硕生准备的，太难看懂了。最近发现了一个非常适合小白入门的教程，不仅通俗易懂而且还很风趣幽默。所以忍不住分享一下给大家。点这里可以跳转到教程。][Link 1]

[https://www.cbedai.net/u014646662][Link 1]

[https_download.csdn.net_download_u014646662_10805074]: https://download.csdn.net/download/u014646662/10805074
[Link 1]: https://www.cbedai.net/u014646662