方法依赖性和错误处理

Question

我正在 Lift 中制作一个小问题管理系统来学习 Scala 和 Lift。

我有一个显示属于项目的单个问题的视图。 在将数据绑定到视图模板之前，我想检查是否拥有所需的所有数据，因此我想具体检查：

• 已提供项目 ID 参数
• 项目存在且具有提供的项目 ID
• 已提供问题 ID 参数
• 提供的问题 ID 存在问题

并且这些问题需要按顺序进行评估，所以如果我现在用我目前对 Scala 的理解来编写它，我会执行以下操作：

class Project {
    def findByID(xhtml:NodeSeq): NodeSeq = 
        param("projectID") match {
            case Full(projectID) =>
                Project.findByID(projectID) match {
                    case Full(projectID) =>
                        param("issueID") match {
                            ....
                        }
                    case _ => Text("Project does not exist")
                }
            case _ => Text("projectIDNotSupplied")
        }
}

所以我想知道是否有一种更简单的方法执行这个？ 我认为 for 表达式可能能够执行类似的操作。 请注意，Project.findByID 返回一个 Box[Project]。

Answer 1

我不了解 Lift，因此无法回答任何与 Lift 相关的问题。 然而，我确实想出了一种方法来解决您的一个问题，即如何编写一系列检查然后操作操作，而不诉诸嵌套模式匹配。

这里使用的主要数据类型是 Option，但我相信它会很容易适应您的需求。 我们想要在这里完成的是执行一系列

1. 检查条件
2. ，如果成功，
3. 则继续终止，否则返回一些内容。

一旦遇到 None，代码就会执行一种短路操作，以便在操作序列返回时保留返回值。 使用时，从 Option 开始，如果 Option 是 Some，则写入“ifSome”，如果 Option 是 None，则写入“ifNone”，继续直到序列完成。 如果在序列中的任何点遇到 None，则从“isNone”的按名称调用参数返回的选项将被保留，并在调用最终“toOption”时返回。 使用“toOption”返回实际的选项结果。

查看“main”中的示例了解一些用例。 祝你好运！

object Options {

  class RichOption[A](a: Option[A]) {

    def ifSome[B](f: A => Option[B]): RichOption[B] = a match {
      case Some(x) => new RichOption(f(x))
      case None => this.asInstanceOf[RichOption[B]]
    }

    def ifNone[B](f: => Option[B]): RichOption[B] = a match {
      case Some(_) => this.asInstanceOf[RichOption[B]]
      case None => new RichNone(f)
    }

    def toOption[A] = a
  }

  class RichNone[A](a: Option[A]) extends RichOption[A](a) {

    override def ifSome[B](f: A => Option[B]): RichOption[B] = this.asInstanceOf[RichOption[B]]

    override def ifNone[B](f: => Option[B]): RichOption[B] = this.asInstanceOf[RichOption[B]]
  }

  implicit def option2RichOption[A](a: Option[A]): RichOption[A] = new RichOption(a)

  def main(args: Array[String]) {
    println(Some("hello") ifSome(s => Some(s.toUpperCase)) toOption) // prints Some(HELLO)
    println(Some("hello") ifNone(Some("empty")) toOption) // prints Some(hello)
    println(Some("hello") ifSome(s => Some(s.toUpperCase)) ifNone(Some("empty")) toOption) // prints Some(HELLO)
    println(Some("hello") ifNone(Some("empty")) ifSome(s => Some(s.toUpperCase)) toOption) // prints Some(HELLO)
    println((None: Option[String]) ifSome(s => Some(s.toUpperCase)) toOption) // prints None
    println((None: Option[String]) ifNone(Some("empty")) toOption) // prints Some(empty)
    println((None: Option[String]) ifSome(s => Some(s.toUpperCase)) ifNone(Some("empty")) toOption) // prints Some(empty)
    println((None: Option[String]) ifNone(Some("empty")) ifSome(s => Some(s.toUpperCase)) toOption) // prints Some(empty)
    println(Some("hello world") ifSome(s => Some(s.toUpperCase)) ifNone(Some("empty")) ifSome(s => Some(s.length)) ifNone(None) toOption) // prints Some(11)
    println(Some("hello world") ifSome(_ => None) ifNone(Some("goodbye world")) ifSome(s => Some(s.length)) ifNone(None) toOption) // prints Some(goodbye world)
    println((None: Option[String]) ifSome(s => Some(s.toUpperCase)) ifNone(Some("empty")) ifSome(s => Some(s.length)) ifNone(None) toOption) // prints Some(empty)
    println((None: Option[String]) ifSome(_ => None) ifNone(Some("goodbye world")) ifSome(s => Some(s.length)) ifNone(None) toOption) // prints Some(goodbye world)
  }
}

Answer 2

我不了解 Lift，但我在它的实现中看到了一些东西。 其中之一是失败方法：?~ 和 ?~!。 我不确定如何使用它们，但它似乎很有用。 另一个是open_!，用于抛出异常。

现在，Box 支持 map、flatMap、filter 和 foreach，因此它可以在 for 理解中完全使用：

for(projectID <- param("projectID");
    if Project.findByID(projectID).isDefined;
    issueID <- param("issueID");
    if Issue.findByID(issueID).isDefined)
yield ...

这不会给您带来错误消息。 对于这些，我猜测我提到的方法或其他类似 ~> 的方法可能会提供答案。

Answer 3

抱歉，我来晚了，但正如丹尼尔所说，你确实可以使用 Lift's Box 和 ?~ 来做这样的事情。 例如：

import net.liftweb.util.Box
import net.liftweb.util.Box._

class Project {
  def findByID(xhtml:NodeSeq): NodeSeq = 
    (for {
      projectID <- param("projectID") ?~ "projectIDNotSupplied"
      project <- Project.findById(projectID) ?~ "Project does not exist"
      issueID <- param("issueID") ?~ "issueIDNotSupplied"
      ...
    } yield {
      ...
    }) match {
      case Full(n) => n
      case Failure(msg, _, _) => Text(msg)
      case _ => Text("fail")
    }
}

?~ 的作用是将空框转换为带有给定字符串错误消息的失败框，但对满（成功）框不执行任何操作。 因此，如果一切成功，findByID 的返回值将为 Full，否则返回 Failure（带有给定的错误消息）。 如果您希望失败链接起来，请使用 ?~! 反而。