Thinking in scala (6)----高阶函数----返回一个函数

2023-05-09,,

在Thinking in scala (5)----高阶函数* 里面,我们演示了如何把一个函数作为参数传递给另外一个函数。

在本文里面,我们来演示函数式编程另外一个重要的特性:返回一个函数。首先来看这么一段代码:

code piece 1:

def sum(f:Int=>Int):(Int,Int)=>Int={
       def sumF(a:Int,b:Int):Int=
         if(a>b) 0
         else f(a)+sumF(a+1,b)
       sumF
   }

一点点来看,f:Int=>Int 是sum函数接收的参数,该参数是一个函数。

":" 号后面的 (Int,Int) => Int 是sum函数的返回值,又(Int,Int) => Int是一个函数的类型:接收两个Int型的数,

返回一个Int的数。也就是说调用sum函数,其返回的值是一个函数。  这一点对于已经习惯C、C++、Java等编程语言的

程序员来说有一点难以理解。

继续看例子吧,如果执行下面的一行代码会发生什么呢?

sum(x=>x*x)(1,4)

结果会返回30。为什么是30呢? 30= 1^2+ 2^2 + 3^2 + 4^2.

首先,sum(x=>x*x) 是一个函数,并且sum(x=>x*x)的类型是(Int,Int)=>Int,正因为sum(x=>x*x)是一个函数,

所以它才可以继续接收参数(1,4).

好吧,我可能没有把这个事儿说清楚,实在是太抽象了。但是,读者应该有了一个基本的印象,那就是:

在函数式编程里面,函数f可以接收函数g作为参数,也可以返回函数h。

到这里还没完。。。。。。

Scala里面可以继续对code piece1 进行简化,如下:

code piece2:

object higherorderfuntion{
   def sum(f:Int=>Int)(a:Int,b:Int):Int={
      if(a>b) 0  else f(a)+sum(f)(a+1,b)
   }

   def fac(a:Int):Int=
   {
     def loop(a:Int,acc:Int):Int=
       if(a==0) acc
       else loop(a-1,a*acc)
     loop(a,1)
   }
   def main(args:Array[String])={
     println(sum(x=>x)(1,4))
     println(sum(x=>x*x*x)(1,4))
     println(sum(fac)(1,4))
   }

}

这里我们需要特别注意,这里sum函数的参数列表变成了两个:(f:Int=>Int)和(a:Int,b:Int)

在scala里面,函数可以有多个参数列表。比如下面的函数定义:

def f(args_1)(args_2)...(args_n)=E

E代表一个函数体,且n>1

那么上述定义等价于:

def f(args_1)(args_2)...(args_n-1)={def g(args_n)=E;g}

还是以code piece2中的sum函数为例:

def sum(f:Int=>Int)(a:Int,b:Int):Int={
      if(a>b) 0  else f(a)+sum(f)(a+1,b)
   }

等价于:

def sum(f:Int=>Int):(Int,Int)=>Int={
     def g(a:Int,b:Int):Int =
      if(a>b) 0  else f(a)+sum(f)(a+1,b)
     g
   }

这个定义和code piece1中的sum函数的定义是一致的。

Thinking in scala (6)----高阶函数----返回一个函数的相关教程结束。

《Thinking in scala (6)----高阶函数----返回一个函数.doc》

下载本文的Word格式文档,以方便收藏与打印。