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

Question

我正在努力编写一个带有名称参数的匿名函数。这就是我累的地方。

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 answer解决了最初的案例。假设我有一个函数需要一个函数。

  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 不是正确的类型名称，它是方法声明或匿名函数类型的参数块中的按名称参数的特殊语法。

参见SLS4.6 函数声明和定义

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

如果您不想将匿名函数分配给变量，您可以像这样使用类型推断：

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

或者这样指定它的类型：

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