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

时间:2015-03-05 11:05:31

标签: scala

我正在努力用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) 

不行。任何想法如何做到这一点?

1 个答案:

答案 0 :(得分:9)

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

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))