Scala中的闭包和柯里化是什么意思

发布时间:2021-06-25 10:19:48 作者:chen
来源:亿速云 阅读:245

本篇内容主要讲解“Scala中的闭包和柯里化是什么意思”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让小编来带大家学习“Scala中的闭包和柯里化是什么意思”吧!

首先要区分Scala函数与方法的区别,这在Scala中是两个不同概念,只有理解了这两个概念才能理解柯里化。

方法

scala> def add(x:Int, y: Int) = x + y

add: (x: Int, y: Int)Int

scala> add(1, 2)

res0: Int = 3

函数

scala> val add_f = (x: Int, y: Int) => x + y

add_f: (Int, Int) => Int = <function2>

根据内容可以看出add_f是一个函数Function

scala> add_f(1, 2)

res1: Int = 3

首先应该要知道=号右边的内容 (x: Int, y: Int) => x + y是一个函数体

方法只能用def接收,函数可以用def接收,也可以用val接收。

当函数用def来接收之后,不再显示为function,转换为方法

方法可以省略参数,函数不可以。函数可以作为方法的参数。

scala> val a = () => 100

a: () => Int = <function0>

scala> val a = => 100

<console>:1: error: illegal start of simple expression

看这里: val a = => 100 // 当函数参数为空时报错

理解闭包

scala> def add(x:Int) = (y:Int) => x + y

addBase: (x: Int)Int => Int

(y:Int) => x + y 是一个函数体只是左右省略了花括号!

add可以理解为返回值为函数的方法

当给方法具体参数时,返回一个具体的函数,方法参数不同时,返回的函数也不同。例如

看下面:

scala> val addOne = add(1)

addOne: Int => Int = <function1>

scala> addOne(3)

res2: Int = 4

再看:

scala> val addTwo = add(2)

addTwo: Int => Int = <function1>

scala> addTwo(3)

res3: Int = 5

这时就可以引入闭包的概念了。

在块中可以参照外部局部变量的方法,并说明块不只是简单的代码,而且把外部“环境”也包括了进来,像这样的块称为闭包。通常的局部变量在方法执行结束时就不存在了,但是如果被包括进了闭包,那么在闭包存在的期间,局部变量也会一直存在。

也就是说,函数体受外部环境所影响,一段封闭的代码块将外部环境(函数外部的上下文环境)包括进来,就是闭包。

最后提到柯里化

柯里化指的是将原来接受N个参数的方法变成新的接受一个参数的函数的过程。

其实上面闭包的代码就是柯里化的过程。以下是柯里化第二种写法。

scala> def add(x:Int)(y:Int) = x + y

add: (x: Int)(y: Int)Int

scala> add(2)(3) //直接调用试试

res5: Int = 5

柯里化调用试试,继续执行下面

scala> val addOne = add(1) _

addOne: Int => Int = <function1>

scala> addOne(3)

res6: Int = 4

继续执行下面

scala> val addTwo = add(2) _

addTwo: Int => Int = <function1>

scala> addTwo(3)

res7: Int = 5

扩展上面的柯里化过程

(个人理解柯里化和复合函数有点类似):

scala> def add(x:Int)(y:Int)(z:Int) = {x+y+z}

add: (x: Int)(y: Int)(z: Int)Int

 

scala> add(10)(20)(30)

res1: Int = 60

 

//返回值理解为一个函数

scala> val addOne = add(100)_

addOne: Int => (Int => Int) = $$Lambda$1131/181022659@36df4c26

 

//返回值理解为一个函数

scala> val addTwo = addOne(200)

addTwo: Int => Int = $$Lambda$1134/1397187309@6c421123

//返回值已经不再是一个函数

scala> val sum = addTwo(300)

sum: Int = 600

百度百科定义:在计算机科学中,柯里化(Currying)是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 Haskell Curry 命名的,尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。

从数学的角度讲,这是一个对函数消元求解的过程:

def f(x:Int,y:Int)=x+y

def g(x:Int)=f(x,1)

def z=g(1)

z=2

那么z也可以写成这样:def z=(x:Int)=>(y:Int)=>x+y

到此,相信大家对“Scala中的闭包和柯里化是什么意思”有了更深的了解,不妨来实际操作一番吧!这里是亿速云网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习!

推荐阅读:
  1. Scala系列之柯里化
  2. Javascript currying柯里化是什么

免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:is@yisu.com进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。

scala

上一篇:zookeeper的概念和作用是什么

下一篇:php如何实现分页页码显示算法

相关阅读

您好,登录后才能下订单哦!

密码登录
登录注册
其他方式登录
点击 登录注册 即表示同意《亿速云用户服务条款》