在 Scala 中使用一系列按名称参数进行验证？答案

【问题标题】：Validation with a sequence of by-name parameters in Scala?在 Scala 中使用一系列按名称参数进行验证？
【发布时间】：2012-10-11 05:01:42
【问题描述】：

我想对所有返回 Either[Error,Item] 的一系列操作进行验证它应该是快速失败的（在我最初的需要中），我的意思是，返回 Either[Error,Seq[Item]]。如果有错误，很明显我不希望执行以下操作。但将来我可能想收集所有错误，而不是只返回第一个。

我知道 Scalaz 可以完成这项工作，但现在我完全不了解 Scalaz 的所有部分，而且我很确定有一种更简单的方法可以在不使用 Scalaz 的情况下完成这项工作，但例如使用名称参数。

有没有办法在序列中存储按名称参数？这样我就可以创建一系列代表我的操作的按名称值？

我的意思是，某种类型的Seq[=> Either[Error,Item]] 然后我可以做一些事情，比如调用 takeWhile 或 collectFirst 或类似的东西，而不需要在创建序列之前执行所有操作？我希望这些操作仅在对序列进行迭代时执行。

谢谢

【问题讨论】：

标签： scala

【解决方案1】：

您确实可以使用Seq[() => Either[Error, Item]] 在集合创建时推迟计算。比如

val doSomething1: () => Either[Error, Item] = () => { println(1); Right(1) }
val doSomething2: () => Either[Error, Item] = () => { println(2); Right(2) }
val doSomething3: () => Either[Error, Item] = () => { println(3); Left("error") }
val doSomething4: () => Either[Error, Item] = () => { println(4); Right(3) }
val doSomething5: () => Either[Error, Item] = () => { println(5); Left("second error") }
val l = Seq(doSomething1, doSomething2, doSomething3, doSomething4, doSomething5)

（在示例中Items 是Ints，Errors 是Strings）

然后您可以使用以下递归函数处理它们在第一次失败时延迟停止：

def processUntilFailure(l: Seq[() => Either[Error, Item]]): Either[Error, Seq[Item]] = {
  l.headOption.map(_.apply() match {
    case Left(error) => Left(error)
    case Right(item)  => processUntilFailure(l.tail).right.map(_ :+ item)
  }).getOrElse(Right(Nil))
}

所以现在当我运行processUntilFailure(l)

scala> processUntilFailure(l)
1
2
3
res1: Either[Error,Seq[Item]] = Left(error)

如果你想生成一个Either[Seq[String], Seq[Int]]（处理所有操作）。你可以做一点改变：

def processAll(l: Seq[() => Either[Error, Item]]): Either[Seq[Error], Seq[Item]] = {
  l.headOption.map(_.apply() match {
    case Left(error) => processAll(l.tail) match {
      case Right(_) => Left(Seq(error))
      case Left(previousErrors) => Left(previousErrors :+ error)
    }
    case Right(item)  => processAll(l.tail).right.map(_ :+ item)
  }).getOrElse(Right(Nil))
}

您可以看到的唯一变化是模式匹配中的左大小写。运行这个：

scala> processAll(l)
1
2
3
4
5
res0: Either[Seq[Error],Seq[Item]] = Left(List(second error, error))

processAll 可以替换为l 上的通用foldLeft

val zero: Either[Seq[Error], Seq[Item]] = Right(Seq[Item]())
l.foldLeft(zero) { (errorsOrItems: Either[Seq[Error], Seq[Item]], computation: () => Either[String, Int]) =>
  computation.apply().fold(
    { (error: String) => Left(errorsOrItems.left.toOption.map(_ :+ error).getOrElse(Seq(error))) },
    { (int: Int) => errorsOrItems.right.map(_ :+ int) })
}

processUntilFailure 也可以，但不容易。因为从弃牌中提前中止是很棘手的。当您发现自己需要这样做时，这里是good answer about other possible approaches。

【讨论】：

我认为问题在于 Left("second error") 被计算，而我不希望它被计算，并且只返回发现的第一个错误:)
它不在processUntilFailure 函数中。当您使用计算列表运行它时，仅打印 1,2 和 3，这意味着永远不会评估 doSomething4 和 doSomething5。我在这里错过了什么？
是的，我看错了！最后，它与 Ptharien's Flame 提供的解决方案类似

【解决方案2】：

您应该能够使用Seq[Function0[Either[Error, Item]]] 类型完成此操作。 Function0 显然是一个零参数函数。其余的应该是不言自明的。

Scalaz 正是为此目的提供了 IO 类型，因此您实际上也可以使用它。但是，如果您刚刚开始使用 Scalaz，您可能还不想这样做。

【讨论】：