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

本篇內(nèi)容主要講解“Scala中的閉包和柯里化是什么意思”，感興趣的朋友不妨來(lái)看看。本文介紹的方法操作簡(jiǎn)單快捷，實(shí)用性強(qiáng)。下面就讓小編來(lái)帶大家學(xué)習(xí)“Scala中的閉包和柯里化是什么意思”吧!

首先要區(qū)分Scala函數(shù)與方法的區(qū)別，這在Scala中是兩個(gè)不同概念，只有理解了這兩個(gè)概念才能理解柯里化。

方法

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

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

scala> add(1, 2)

res0: Int = 3

函數(shù)

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

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

根據(jù)內(nèi)容可以看出add_f是一個(gè)函數(shù)Function

scala> add_f(1, 2)

res1: Int = 3

首先應(yīng)該要知道=號(hào)右邊的內(nèi)容 (x: Int, y: Int) => x + y是一個(gè)函數(shù)體

方法只能用def接收，函數(shù)可以用def接收，也可以用val接收。

當(dāng)函數(shù)用def來(lái)接收之后，不再顯示為function，轉(zhuǎn)換為方法

方法可以省略參數(shù)，函數(shù)不可以。函數(shù)可以作為方法的參數(shù)。

scala> val a = () => 100

a: () => Int = <function0>

scala> val a = => 100

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

看這里: val a = => 100 // 當(dāng)函數(shù)參數(shù)為空時(shí)報(bào)錯(cuò)

理解閉包

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

addBase: (x: Int)Int => Int

(y:Int) => x + y 是一個(gè)函數(shù)體只是左右省略了花括號(hào)！

add可以理解為返回值為函數(shù)的方法

當(dāng)給方法具體參數(shù)時(shí)，返回一個(gè)具體的函數(shù)，方法參數(shù)不同時(shí)，返回的函數(shù)也不同。例如

看下面：

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

這時(shí)就可以引入閉包的概念了。

在塊中可以參照外部局部變量的方法，并說(shuō)明塊不只是簡(jiǎn)單的代碼，而且把外部“環(huán)境”也包括了進(jìn)來(lái)，像這樣的塊稱為閉包。通常的局部變量在方法執(zhí)行結(jié)束時(shí)就不存在了，但是如果被包括進(jìn)了閉包，那么在閉包存在的期間，局部變量也會(huì)一直存在。

也就是說(shuō)，函數(shù)體受外部環(huán)境所影響，一段封閉的代碼塊將外部環(huán)境(函數(shù)外部的上下文環(huán)境)包括進(jìn)來(lái)，就是閉包。

最后提到柯里化

柯里化指的是將原來(lái)接受N個(gè)參數(shù)的方法變成新的接受一個(gè)參數(shù)的函數(shù)的過(guò)程。

其實(shí)上面閉包的代碼就是柯里化的過(guò)程。以下是柯里化第二種寫(xiě)法。

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

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

scala> add(2)(3) //直接調(diào)用試試

res5: Int = 5

柯里化調(diào)用試試，繼續(xù)執(zhí)行下面

scala> val addOne = add(1) _

addOne: Int => Int = <function1>

scala> addOne(3)

res6: Int = 4

繼續(xù)執(zhí)行下面

scala> val addTwo = add(2) _

addTwo: Int => Int = <function1>

scala> addTwo(3)

res7: Int = 5

擴(kuò)展上面的柯里化過(guò)程

(個(gè)人理解柯里化和復(fù)合函數(shù)有點(diǎn)類似):

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

 

//返回值理解為一個(gè)函數(shù)

scala> val addOne = add(100)_

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

 

//返回值理解為一個(gè)函數(shù)

scala> val addTwo = addOne(200)

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

//返回值已經(jīng)不再是一個(gè)函數(shù)

scala> val sum = addTwo(300)

sum: Int = 600

百度百科定義：在計(jì)算機(jī)科學(xué)中，柯里化（Currying）是把接受多個(gè)參數(shù)的函數(shù)變換成接受一個(gè)單一參數(shù)(最初函數(shù)的第一個(gè)參數(shù))的函數(shù)，并且返回接受余下的參數(shù)且返回結(jié)果的新函數(shù)的技術(shù)。這個(gè)技術(shù)由 Christopher Strachey 以邏輯學(xué)家 Haskell Curry 命名的，盡管它是 Moses Schnfinkel 和 Gottlob Frege 發(fā)明的。

從數(shù)學(xué)的角度講，這是一個(gè)對(duì)函數(shù)消元求解的過(guò)程：

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

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

def z=g(1)

z=2

那么z也可以寫(xiě)成這樣：def z=(x:Int)=>(y:Int)=>x+y

到此，相信大家對(duì)“Scala中的閉包和柯里化是什么意思”有了更深的了解，不妨來(lái)實(shí)際操作一番吧！這里是億速云網(wǎng)站，更多相關(guān)內(nèi)容可以進(jìn)入相關(guān)頻道進(jìn)行查詢，關(guān)注我們，繼續(xù)學(xué)習(xí)！