上篇我们使用柯里化函数定义一个控制机构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内置控制结构非常象了。
感觉本站内容不错，读后有收获？小额赞助,鼓励网站分享出更好的教程