Scala如何在表达式中实现返回？

发布时间：2020-12-16 18:44:41 所属栏目：安全来源：网络整理

导读：例如,如果我们有一个类似的方法 def find[A](xs: Seq[A],p: A = Boolean): Option[A] = { xs.foreach(x = if (p(x)) return Some(x)); None;} (当然这里有一个库函数,这只是一个例子).当内部函数返回时,执行如何转义foreach？或者在 def foo(x: AnyRef): St

例如,如果我们有一个类似的方法

def find[A](xs: Seq[A],p: A => Boolean): Option[A] = {
  xs.foreach(x => if (p(x)) return Some(x));
  None;
}

(当然这里有一个库函数,这只是一个例子).当内部函数返回时,执行如何转义foreach？

或者在

def foo(x: AnyRef): String =
  process(x match {
    case (s: String) => s;
    case _           => return "";
  })

发出返回“”时,执行如何避免运行进程？

解决方法

foo示例取决于哪个

def process(s: String): String
def process(s: => String): String

它是.我假设前者,因为你建议进程不运行.这就是它在传递参数时总是有效的方式 – 首先进行参数创建工作,然后调用方法.由于您遇到了返回,因此很容易：您只需在创建参数*时从字节码调用适当的返回值,并且永远不会继续调用该方法.所以这只是一个本地回归.

查找示例涉及更多一点.让我们尝试一个由foo驱动的最简单的例子,它需要非本地回报：

class Nonlocal {
  def pr(s: => String) = { println(s); "Printed" }

  def foo(x: AnyRef): String = pr(x match {
    case (s: String) => s;
    case _           => return "";
  })
}

foo的身体相当于

import scala.runtime.NonLocalReturnControl
val temp = new AnyRef
try {
  pr(x match {
    case s: String => s
    case _         => throw new NonLocalReturnControl(temp,"")
  })
}
catch {
  case nlrc: NonLocalReturnControl[_] if (nlrc.key eq temp) =>
    nlrc.value.asInstanceOf[String]
}

要注意的关键事项是创建一个sentinel对象,以便这些东西可以任意嵌套而不会互相破坏,并且NonLocalReturnControl会返回正确的值.不出所料,与仅返回Int相比,这并不是很便宜.但是因为它创建了一个没有堆栈跟踪的异常(安全,因为它无法转义：catch块保证能够捕获它),它并没有那么糟糕 – 就像调用trig函数或用一个数组求和一样糟糕几十个条目.

另请注意,pr仅在异常获取之前部分执行.在这种情况下,它不会打印任何东西,因为它首先要做的是尝试使用s来填充实际的字符串,但是它会触发异常,从而将控制权交还给foo. (所以你从foo那里得到一个空字符串,但你不打印任何东西.)

*实际上,在字节码中,它往往是跳转到方法的末尾,加载/返回.但概念上不相关.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!