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

Posted 2023-04-14

【中文标题】匿名函数上的scala By-name参数

【英文标题】：scala By-name parameter on a anonymous function

【发布时间】：2015-03-05 11:05:31

【问题描述】：

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

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) 

不会工作。任何想法如何做到这一点？

【参考方案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))

【讨论】：

您好，您的解决方案有效。不过我还有一件事。编辑了原始帖子。你能帮帮我吗？

非常感谢您的帮助。