用for-comprehensive替换平面图/图链

Question

我试图使用for理解以下内容：

val s: Seq[Option[Int]] = //...
val t: Option[Int] = //...

s.map(sv => t.flatMap(tv => sv.map(_ == tv))) 

我试过这个：

val r: Seq[Option[Boolean]] = for(
  sv <- s;
  tv <- t;
  svv <- sv
) yield svv == tv //Seq[Boolean] does not conform to Seq[Option[Boolean]]

有没有办法用< code > for-comprehensive 简洁地写进去？

Answer 1

我可能会混合一些东西以保持简单和简短:

val r: Seq[Option[Boolean]] =
  for (
    opt <- s;
    v <- t
  ) yield opt.map(_ == v)

Answer 2

在同一个for-comprehension中使用不同的集合(在这里很难抗拒使用M-word)无论如何都是不鼓励的，而且在一般情况下也不会起作用。只有Scala为这种情况定义了一些隐式转换，选项序列才会起作用(因为它们很常见)。

你最好使用两个独立的理解，一个用于序列，另一个用于选项。

val s: Seq[Option[Int]] = List(Some(1), None, Some(2))
val t: Option[Int] = Some(2)

val result = for {
  elem <- s
} yield for {
  evalue <- elem
  tvalue <- t
} yield evalue == tvalue

println(result) // List(Some(false), None, Some(true))