匿名函数上的 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))