码迷,mamicode.com
首页 > 其他好文 > 详细

函数与闭包

时间:2016-11-08 17:33:06      阅读:275      评论:0      收藏:0      [点我收藏+]

标签:常用   apply   是什么   oat   数组   调用   require   集合类   嵌套   

scala中函数4种的表现形式{

  对象中的函数,

  内嵌在函数的函数,

  函数字面量,

  函数值

1)对象中的函数

  不解释。

2)内嵌在函数中函数

  控制helper函数的方式 一般限制访问级别private。scala可以通过内嵌方式控制(前者同样生效),类似方法中的变量(本地变量)。

  本地函数可以访问外层的函数参数等。scala的嵌套和作用域思想是什么???为何嵌套和作用域的思想对于函数是一等公民的语言中及其重要???

3)一等函数:函数字面量与函数值

  什么是函数字面量?基本类型绝大部分都可以通过字面量来表示,比如 4,12 表示一个int值 2.3 表示double值等,函数也可以通过这种字面量来表示一个值(函数值)。而def形式是在定义一个函数,并不是一个值。再例如 val a:Int = 3定义Int类型的a,5是Int类型的值。

  一等函数,不仅可以通过定义和调用使用它们,还可以写成函数字面量,当作值来传递。

  函数字面量被编译进类,并在运行时形成对象(及函数值)。

  函数字面量和函数值的区别:源码与运行时。如同蓝图与建筑,类与对象。(这里函数字面量就是类,函数值就是对象

  函数值既是对象又是函数

val increase = (x: Int) => x + 1  //像对象一样传值给变量
increase(10)    //像函数一样调用参数

   函数字面量中的方法部分可以用{}

val increase = (x: Int) => {
    val y = x + 1
    y +1
}

   既然函数作为值,就可以传递给函数,形成高阶函数。

  栗子:集合类中的两个方法foreach与filter同是以函数作为参数的函数。

 

 

目标类型化 缩减函数字面量的无用字符??

占位符 _ 一个占位符只能表示一个函数参数,且这个函数参数在函数体中只能被用到一次

  栗子:(x:Int) => x+1    写成  _ + 1 

     (x:Int,y:Int) => x+y   写成  (_:Int) + (_:Int) 不简洁,但是如果是某一函数调用两个参数的函数时,可以通过类型推断(?)直接写成xx.yy(_ + _) 

 

部分应用函数

1.通过部分应用函数将def转换为函数值

def sum(a:Int,b:Int,c:Int) = a+b+c
val temp_sum = sum _

2.当指定了一些函数参数时候 部分应用函数的占位符还需要添加类型

scala> val mysum = sum(1,_,_)
<console>:11: error: missing parameter type for expanded function ((x$1, x$2) => sum(1, x$1, x$2))
       val mysum = sum(1,_,_)
                         ^
<console>:11: error: missing parameter type for expanded function ((x$1: <error>, x$2) => sum(1, x$1, x$2))
       val mysum = sum(1,_,_)
                           ^

scala> val mysum = sum(1,_:Int,_:Int)
mysum: (Int, Int) => Int = <function2>

 3. 1和2的原理是编译器将函数编译成类,mysum(2,3)其实在调用mysum.apply(2,3)。 apply方法?

 

闭包

自由变量与绑定变量 

闭包是函数值。通过自由变量创建的函数值称为闭包。

闭包捕获自由变量而不是变量所指向的值。所以变量的改变会影响闭包,同样闭包的也能改变自由变量。

scala> var s = 10
s: Int = 10

scala> val mydef = (a:Int) => a + s
mydef: Int => Int = <function1>

scala> mydef(1)
res0: Int = 11

scala> s = 12
s: Int = 12

scala> mydef(1)
res1: Int = 13

 

scala> val sumList = List(1,2,-1,-2,4)
sumList: List[Int] = List(1, 2, -1, -2, 4)

scala> var sum  = 0
sum: Int = 0

scala> sumList.foreach(sum += _)

scala> sum
res3: Int = 4

 

个人理解 当闭包的自由变量是函数参数时。每一次函数传参都会形成新的闭包。由于函数参数是val 所以函数体内形成的闭包的自由变量恒定。

 

重复参数

定义重复参数只要在类型后面加*

scala> def sum(a:Int*) = a.sum
sum: (a: Int*)Int

scala> sum(1)
res4: Int = 1

scala> sum(1,3,4)
res5: Int = 8

形成的类型其实是数组。所以可以调用数组sum方法。

然而不能传数组给sum函数,需要将数组转为arr: _*形式(这种形式是告诉编译器把数组中的每一个参数传给函数)

scala> val arr = Array(1,2,3,4,5,6,7,8,9)
arr: Array[Int] = Array(1, 2, 3, 4, 5, 6, 7, 8, 9)

scala> sum(arr)
<console>:13: error: type mismatch;
 found   : Array[Int]
 required: Int
       sum(arr)
           ^

scala> sum(arr: _*)
res7: Int = 45

 

指定名字的调用参数

scala> def speed(distance: Float, time: Float): Float = distance / time
speed: (distance: Float, time: Float)Float
scala> speed(100, 10) res9: Float = 10.0 scala> speed(distance=100,time=10) res10: Float = 10.0 scala> speed(time=10,distance=100) res11: Float = 10.0

 一般常用方式是默认顺序+指定参数 配合使用 (没记错的话,Spark中比较常见)

 

默认的参数值

scala> def printTime(out:java.io.PrintStream = Console.out) = out.println("time = " + System.currentTimeMillis())
printTime: (out: java.io.PrintStream)Unit

scala> printTime()
time = 1478591319201

scala> printTime(Console.err)
time = 1478591327893

 然而默认的参数值常常与指定参数配合使用 

scala> def printTime2(out: java.io.PrintStream = Console.out, divisor: Int = 1) = out.println("time = " + System.currentTimeMillis()/divisor)
printTime2: (out: java.io.PrintStream, divisor: Int)Unit

scala> printTime2(out = Console.err)
time = 1478591428641

scala> printTime2(divisor = 1000)
time = 1478591435

 

 

 

 

 

尾递归:scala编译器对尾递归进行了特殊处理,使得与指令形式的while效率相当。但由于JVM的限制使得尾递归并不能完全支持(间接尾递归,函数值的尾递归),支持直接尾递归。

 

函数与闭包

标签:常用   apply   是什么   oat   数组   调用   require   集合类   嵌套   

原文地址:http://www.cnblogs.com/bainily/p/6041458.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!