scala 闭包/匿名函数中的多个返回点

Question

据我了解，Scala 中无法在匿名函数中拥有多个返回点，即

someList.map((i) => {
    if (i%2 == 0) return i // the early return allows me to avoid the else clause
    doMoreStuffAndReturnSomething(i) // thing of this being a few more ifs and returns
})

引发错误：返回方法定义之外。 （如果不提出这个问题，代码将无法像我希望的那样工作。）

我可以采取的一种解决方法如下

someList.map({
    def f(i: Int):Int = {
        if (i%2 == 0) return i
        doMoreStuffAndReturnSomething(i)
    }
    f
})

，但是，我想知道是否还有另一种“接受” ' 这样做的方式。也许可以不给内部函数命名？

（一个用例是在循环内模拟一些有价值的continue 构造。）

编辑

请相信我，需要避免使用else语句，因为， doMoreStuff 部分实际上可能看起来像：

val j = someCalculation(i)
if (j == 0) return 8
val k = needForRecalculation(i)
if (k == j) return 9
finalRecalc(i)
...

当你只有一个 if–else 结构可用时，很容易搞乱。

当然，在我一开始给出的简单示例中，仅使用 else 会更容易。抱歉，我以为这已经很清楚了。

Answer 1

如果你的匿名函数那么复杂，我会让它更明确。匿名函数不适合比几行更复杂的事情。您可以通过在 using 方法中声明它来将其设为私有方法。

def myF(i:Int):Int = {
    if (i%2 == 0) return i
    doMoreStuffAndReturnSomething(i)
}
someList.map(myF(_))

这是您的解决方法的变体，但更干净。它们都将其保留在本地方法范围内。

Answer 2

在您的代码注释中，您写道您希望避免使用 else 关键字，但恕我直言，这正是您想要的，甚至还短了两个字符;-)

someList.map((i) => {
    if (i%2 == 0) i else
    doMoreStuffAndReturnSomething(i)
})

Answer 3

您给出的示例可以通过 if 语句轻松解决。这样做不会产生绩效或其他处罚。

但是您可能会遇到其他情况，大致类似于

if (test) {
  if (anotherTest) {
    val a = someComputation()
    if (testOf(a)) return otherComputation()
  }
  else if (yetAnotherTest) return whatever()
}
bigComputation()

如果您想避免将其转换为不带返回的形式所需的 if 语句和/或代码重复的混乱，那么有几种方法可以处理这种情况。

您可以使用 Option 或 Either 做各种偷偷摸摸的事情来保持状态流动（使用 orElse 和 fold ）这样您就可以只进行您需要的计算。

你最好按照你的建议创建一个 def 。但为了进行比较，请考虑选项包装样式：

i => {
  ( if ((i%2)==0) Some(i) 
    else None
  ).getOrElse(doStuffAndReturn(i))
}

在上面的大型示例中，这种样式会给出

( if (test) {
    if (anotherTest) {
      val a = someComputation()
      if (testOf(a)) Some(otherComputation()) else None
    }
    else if (yetAnotherTest) Some(whatever())
    else None
}).getOrElse(bigComputation())

个人而言，我不认为它更清晰（而且肯定不会更快），但它是可能的。

Answer 4

我认为匿名函数中返回点的主要问题是匿名函数可能会出现在人们通常不会想到的地方。因此，不清楚 return 语句实际上属于哪个闭包。这个问题是通过明确要求 def - return* 对应关系来解决的。

或者，需要在要返回的语句周围有警卫。 breakable—break 但遗憾的是无法返回值。一些基于延续的解决方案将能够实现该目标，尽管我想等待一些普遍接受和图书馆。