scala – 关于call-by-name和0-arity函数之间差异的一些问题

def printAndGet[T](f: => T) = {
  val res = f
  println(res + " printed") 
  res
}

scala> :paste
// Entering paste mode (ctrl-D to finish)

val k = printAndGet {
  val a = 5
  5 * a 
}

// Exiting paste mode,now interpreting.

25 printed
k: Int = 25

2)=> T只能是方法或函数的参数.实际上=> T和()=> T不可互换：

scala> def aaa(f: => String) = f
aaa: (f: => String)String

scala> val a: Function1[() => String,String] = aaa _
<console>:8: error: type mismatch;
 found   : (=> String) => String
 required: (() => String) => String
       val a: Function1[() => String,String] = aaa _
                                                ^

感谢@ som-snytt,发现这个：

scala> object O { def f(i: Int) = i; def f(i: => Int) = i + 1 }
defined object O

scala> O.f(5)
res12: Int = 5

scala> O.f(5: (=> Int))
<console>:1: error: no by-name parameter type allowed here
       O.f(5: (=> Int))
           ^

即使这个应该工作,如果它编译 – 但它没有(scala 2.11.2,2.11.5 REPL只是崩溃)：

scala> val k: (=> Int) => Int = O.f _
k: (=> Int) => Int = <function1>

scala> k(5) //should be 6
res18: Int = 5 //WTF?

最后一个看起来像个bug

3)不完全是,如果你想要相同,只需转换=> T into()=> T：

scala> def aaa(f: => String) = {f _}
aaa: (f: => String)() => String

字节码也可能不同.例如,编译器更可能内联代码来自=> T没有为它生成lambda.所以,关键的区别是()=> T实际上是一个对象(一等公民),=> T不是.

4)参见1,但有时您可能需要确保用户知道计算可能会延迟 – ()=> T更好.

5)它是类型签名的一部分,只需看看以下的eta扩展：

scala> def aaa(f: => String) = {f}
aaa: (f: => String)String

scala> aaa _ //convert method into a function
res7: (=> String) => String = <function1>

scala> val a: ( => String) =>  String = aaa _
a: (=> String) => String = <function1>

但是scala不承认它是独立类型：

scala> val a: Function1[( => String),String] = aaa _
<console>:1: error: no by-name parameter type allowed here
       val a: Function1[( => String),String] = aaa _
                          ^