Scala

Question

考虑在某些大小写匹配上编写的 flatMap。例如：

list.flatMap( v =>
    v match {
        case Cond1 => if(something) Some(Int) else None
        //..Other conditions yielding Option[Int]
        case CondN => if(somethingelse) Seq(Int) else Seq()
    })

然而，这不会编译。如果 seq 是 Option[Int] 的全部或 Seq[Int] 的全部，则 flatMap 有效。但如果 Seq 是 Options 和 Seqs 的混合，则不是。为什么会有这样的限制？这是否解决了我现在无法想到的特定歧义。

EDIT1 从 REPL

添加代码片段

scala> val a = Seq(Option(1), Seq(2,3))
a: Seq[Equals] = List(Some(1), List(2, 3))

scala> val b = Seq(Seq(1), Seq(2,3))
b: Seq[Seq[Int]] = List(List(1), List(2, 3))

scala> a.flatMap(x=>x)
<console>:9: error: type mismatch;
 found   : Equals
 required: scala.collection.GenTraversableOnce[?]
              a.flatMap(x=>x)
                           ^

scala> b.flatMap(x=>x)
res24: Seq[Int] = List(1, 2, 3)

EDIT2 在 Filippo 的回答后，我在 REPL 中尝试了以下代码并且它起作用了。

scala> val options = Seq("opt1", "opt2")
options: Seq[String] = List(opt1, opt2)

scala> options.flatMap( x => 
     |      x match {
     |      case "opt1" => Some(1)
     |      case "opt2" => Seq(2,3)
     |      case _ => None
     |      })
res27: Seq[Int] = List(1, 2, 3)

每种情况下的分辨率有何不同。更重要的是，当我使用 map 而不是 flatMap 时，结果与我创建的 Seq a 相同。

scala> options.map( x => 
 |      x match {
 |      case "opt1" => Some(1)
 |      case "opt2" => Seq(2,3)
 |      case _ => None
 |      })
res28: Seq[Equals] = List(Some(1), List(2, 3))

Answer 1

Option 是 GenTraversableOnce 但 scala 在这里需要一些帮助：

  val a: Seq[TraversableOnce[Int]] = Seq(Option(1), Seq(2,3))
  a.flatMap(x=>x)

  res0: Seq[Int] = List(1, 2, 3)

编辑添加问题后

我认为如果你的序列类型是你期望的类型，那么一切都归结为传递给 flatMap 的函数。如果 scala 在起始序列为 Seq[A] 时无法确定函数为 (A) => Traversable[A]，我认为我们应该明确一些类型。

现在，回到您的第一个示例，我将其重构为：

list.flatMap {
  case Cond1 if something     => Seq(Int)
  case CondN if somethingelse => Seq(Int)
  case _                      => Seq()
}

毫无疑问，scala 现在能够正确推断类型。

Scala - Flatmap a Seq of Options 和 Traversable

Scala - Flatmap a Seq of Options and Traversable

flatmap