Scala中的闭包和柯里化是什么意思
本篇内容主要讲解“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 =
根据内容可以看出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 =
scala> val a = => 100
: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 =
scala> addOne(3)
res2: Int = 4
再看：
scala> val addTwo = add(2)
addTwo: Int => Int =
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 =
scala> addOne(3)
res6: Int = 4
继续执行下面
scala> val addTwo = add(2) _
addTwo: Int => Int =
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中的闭包和柯里化是什么意思”有了更深的了解，不妨来实际操作一番吧！这里是创新互联网站，更多相关内容可以进入相关频道进行查询，关注我们，继续学习！
网站题目：Scala中的闭包和柯里化是什么意思
URL地址：http://cdiso.cn/article/ihchse.html
