本文共 3567 字，大约阅读时间需要 11 分钟。
Scalaz中的Validation是一个强大的功能，用于处理数据验证和错误处理。它在很多方面与 Scala的标准库/（即Either）有相似之处，但又有显著的区别。Validation不仅提供了基本的验证功能，还通过其Applicative特性，允许同时处理多个Validation，并返回多个异常信息。以下将深入探讨Validation的核心功能、与/的区别以及其实际应用场景。
Validation在Scalaz中定义为：
sealed abstract class Validation[+E, +A] extends Product with Serializable { // 其他定义已省略... def isSuccess: Boolean = this match { case Success(_) => true case Failure(_) => false } // 其他方法已省略...} Validation有两个状态：Success和Failure。Success表示验证成功，返回一个值；Failure表示验证失败，返回一个异常信息。与/（Either）相比，Validation的主要特点在于它支持多个异常信息的返回。
虽然Validation和/在某些方面非常相似，但它们在处理多个异常信息时有显著差异。与/不同之处在于，Validation通过其Applicative特性，可以在同一个操作中处理多个Validation，并返回多个异常信息。
Validation提供了丰富的操作符API，包括：
orElse：如果当前Validation是成功，则返回当前Validation；如果失败，则返回另一个Validation。swap：交换Validation的状态，即将Success转换为Failure，反之亦然。ap：应用函数在当前Validation的成功路径上，同时处理可能的错误。这些操作符使得Validation在处理复杂的验证逻辑时非常灵活。
Validation的两个状态定义如下：
final case class Success[A](a: A) extends Validation[Nothing, A]final case class Failure[E](e: E) extends Validation[E, Nothing]
这些状态定义使得Validation能够方便地处理成功和失败两种情况。
Validation是一个Monad，它支持在for-comprehension中实现 Failure立即退出的功能。例如：
for { a <- Success(3) b <- Success(2)} yield a + b 上述代码返回一个Success(5)的Validation。
如果其中任何一个步骤返回Failure，则整个Validation也会返回Failure。
Scalaz为Validation提供了丰富的注入方法，例如：
success：创建一个成功的Validation。failure：创建一个失败的Validation。successNel：创建一个携带NonEmptyList的成功Validation。failureNel：创建一个携带NonEmptyList的失败Validation。这些方法使得开发者能够更方便地构建Validation实例。
假设我们需要同时验证几个值，并返回所有异常信息，可以使用Validation的组合操作符|@|：
((3.success : Validation[String, Int]) |@| ("oh, error1! ".failure : Validation[String, Int]) |@| (2.success : Validation[String, Int]) |@| ("oh, error2 again!".failure : Validation[String, Int])) {_ + _ + _ + _} 上述代码将返回一个Failure，携带所有异常信息。例如：
Failure("oh, error1! oh, error2 again!") 如果需要将异常信息存储在NonEmptyList中，可以使用failureNel方法：
((3.successNel : ValidationNel[String, Int]) |@| ("oh, error1! ".failureNel : ValidationNel[String, Int]) |@| (2.successNel : ValidationNel[String, Int]) |@| ("oh, error2 again!".failureNel : ValidationNel[String, Int])) {_ + _ + _ + _} 上述代码将返回一个Failure，携带所有异常信息：
Failure(NonEmptyList("oh, error1!", "oh, error2 again!")) NonEmptyList是Scalaz中用于表示不为空列表的数据结构。它可以与Validation结合使用，方便地将异常信息存储和处理。
例如：
val nel = 2 :@: 4 :@: 3.wrapNel
上述代码将返回一个NonEmptyList，包含元素2、4和3。
如果需要将其转换为标准的List，可以使用list方法：
nel.list
这将返回一个标准的List[2, 4, 3]。
尽管Validation支持flatMap方法，但它已经被弃用。用户被鼓励使用Scalaz的标准库/或直接使用Validation的其他方法。例如，可以使用ap方法来处理多个Validation。
@deprecated("flatMap does not accumulate errors, use `scalaz.\/` or `import scalaz.Validation.FlatMap._` instead", "7.1")@inline implicit def ValidationFlatMapDeprecated[E, A](d: Validation[E, A]): ValidationFlatMap[E, A] = new ValidationFlatMap(d) 用户被建议使用Scalaz的标准库/来处理错误积累问题。
Validation实现了Applicative功能，通过ap方法可以在成功路径上应用函数，并处理失败路径上的异常。例如：
def ap[EE: Semigroup[EE], B](x: => Validation[EE, A => B])(implicit E: Semigroup[EE]): Validation[EE, B] = (this, x) match { case (Success(a), Success(f)) => Success(f(a)) case (e @ Failure(_), Success(_)) => e case (Success(_), e @ Failure(_)) => e case (Failure(e1), Failure(e2)) => Failure(E.append(e2, e1))} 上述方法允许开发者在Validation的成功路径上应用函数，并将多个异常信息合并到一个Failure中。
Validation是Scalaz中处理数据验证和错误处理的强大工具。它通过其Applicative特性，支持同时处理多个Validation，并返回多个异常信息。与/相比，Validation的主要优势在于其更灵活的错误处理能力。通过合理使用Validation及其注入方法，开发者可以构建更高效、更健壮的错误处理逻辑。
转载地址：http://wfefz.baihongyu.com/