scala匿名函数上的By-name参数

Question

我正在努力用by-name参数编写一个匿名函数.这就是我累了.

val fun = (x: Boolean, y: =>Int) => if(x) y else 0

这失败并出现以下错误.

Error:(106, 31) identifier expected but '=>' found.
    val fun = (x: Boolean, y: =>Int) => if(x) y else 0
                              ^
Error:(109, 3) ')' expected but '}' found.
  }
  ^

与标准函数相同的代码是如何工作的.

  def fun1(x: Boolean, y: =>Int) = if(x) y else 0

有什么指针吗？

- - - - - - - -编辑 - - - - - - - - -

我有两个问题.senia的答案解决了最初的案例.假设我有一个函数需要一个函数.

  def xxx[A,B](f:(A,=>B)=>B)={}

根据senia解决方案,它的工作原理.

val fun: (Int, =>Boolean) => Boolean = (x, y) => y
xxx[Int,Boolean](fun)

但是,我想摆脱中间的乐趣,并使用匿名函数调用xxx.干

xxx((Int, =>Boolean) => Boolean = (x, y) => y) 

不管用.任何想法如何做到这一点？

Answer 1

您可以指定匿名函数的类型,而不是像这样的参数类型:

val fun: (Boolean, => Int) => Int = (x, y) => if(x) y else 0

scala> fun(false, {println("!"); 2})
res1: Int = 0

scala> fun(true, {println("!"); 2})
!
res2: Int = 2

=> Int 不是正确的类型名称,它是方法声明的参数块或匿名函数类型中的名称参数的特殊语法.

请参见SLS 4.6函数声明和定义

ParamType ::= Type
            | ‘=>’ Type
            | Type ‘*’

如果您不想将匿名函数分配给变量,您可以使用类型推断,如下所示:

xxx[Int, Boolean]{ (x, y) => y }

或者以这种方式指定其类型:

xxx({ (x, y) => y }: ((Int, => Boolean) => Boolean))