目录

Scala 传名参数

2018年03月13日 08:46 | 229次浏览

上篇我们使用柯里化函数定义一个控制机构withPrintWriter ,它使用时语法调用有如Scala内置的控制结构:

val file = new File("date.txt")
withPrintWriter(file){
  writer => writer.println(new java.util.Date)
}

不过仔细看一看这段代码,它和scala内置的if或while表达式还是有些区别的,withPrintWriter的{}中的函数是带参数的含有“writer=>”。 如果你想让它完全和if和while的语法一致,在Scala中可以使用传民参数来解决这个问题。

注:我们知道通常函数参数传递的两种模式,一是传值,一是引用。而这里是第三种按名称传递。

下面我们以一个具体的例子来说明传名参数的用法:

var assertionsEnabled=true
def myAssert(predicate: () => Boolean ) =
  if(assertionsEnabled && !predicate())
    throw new AssertionError

这个myAssert函数的参数为一个函数类型,如果标志assertionsEnabled为True时,mymyAssert 根据predicate 的真假决定是否抛出异常,如果assertionsEnabled 为false,则这个函数什么也不做。

这个定义没什么问题,但调用起来看起来却有些别扭,比如:

myAssert(() => 5 >3 )

还需要 ()=> ,你可以希望直接使用 5>3,但此时会报错:

scala> myAssert(5 >3 )
<console>:10: error: type mismatch;
 found   : Boolean(true)
 required: () => Boolean
              myAssert(5 >3 )

此时,我们可以把按值传递(上面使用的是按值传递,传递的是函数类型的值)参数修改为按名称传递的参数,修改方法,是使用 => 开始而不是 ()=>来定义函数类型,如下:

def myNameAssert(predicate:  => Boolean ) =
  if(assertionsEnabled && !predicate)
    throw new AssertionError

此时你就可以直接使用下面的语法来调用myNameAssert:

myNameAssert(5>3)

此时就和Scala内置控制结构一样了,看到这里,你可能会想我为什么不直接把参数类型定义为Boolean,比如:

def boolAssert(predicate: Boolean ) =
  if(assertionsEnabled && !predicate)
    throw new AssertionError

调用也可以使用

boolAssert(5>3)

和myNameAssert 调用看起来也没什么区别,其实两者有着本质的区别,一个是传值参数,一个是传名参数,在调用boolAssert(5>3)时,5>3是已经计算出为true,然后传递给boolAssert方法,而myNameAssert(5>3),表达式5>3没有事先计算好传递给myNameAssert,而是先创建一个函数类型的参数值,这个函数的apply方法将计算5>3,然后这个函数类型的值作为参数传给myNameAssert。

因此这两个函数一个明显的区别是,如果设置assertionsEnabled 为false, 然后试图计算 x/0 ==0,

scala> assertionsEnabled=false
assertionsEnabled: Boolean = false

scala> val x = 5
x: Int = 5

scala> boolAssert ( x /0 ==0)
java.lang.ArithmeticException: / by zero
  ... 32 elided

scala> myNameAssert ( x / 0 ==0)

可以看到boolAssert 抛出 java.lang.ArithmeticException: / by zero 异常,这是因为这是个传值参数,首先计算 x /0 ,而抛出异常,而 myNameAssert 没有任何显示,这是因为这是个传名参数,传入的是一个函数类型的值,不会先计算x /0 ==0,而在myNameAssert 函数体内,由于assertionsEnabled为false,传入的predicate没有必要计算(短路计算),因此什么也不会打印。如果我们把myNameAssert 修改下,把predicate放在前面:

scala> def myNameAssert1(predicate:  => Boolean ) =
     |   if( !predicate && assertionsEnabled )
     |     throw new AssertionError
myNameAssert1: (predicate: => Boolean)Unit

scala> myNameAssert1 ( x/0 ==0)
java.lang.ArithmeticException: / by zero
  at $anonfun$1.apply$mcZ$sp(<console>:11)
  at .myNameAssert1(<console>:9)
  ... 32 elided

这个传名参数函数也抛出异常(你可以想想是为什么?)

前面的withPrintWriter 我们暂时没法使用传名参数,去掉writer=>,否则就难以实现“租赁模式”,不过我们可以看看下面的例子,设计一个withHelloWorld控制结构,这个withHelloWorld总打印一个“hello,world”

import scala.io._
import java.io._
def withHelloWorld ( op: => Unit) {
  op   
  println("Hello,world")
}


val file = new File("date.txt")
withHelloWorld{
  val writer=new PrintWriter(file)
  try{
   writer.println(new java.util.Date)
  }finally{
    writer.close()
  }
}

withHelloWorld {
  println ("Hello,Guidebee")
} 

-----

Hello,world 
Hello,Guidebee
Hello,world

可以看到withHelloWorld 的调用语法和Scala内置控制结构非常象了。



感觉本站内容不错,读后有收获?小额赞助,鼓励网站分享出更好的教程