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 是选项和 Seq 的混合体，则不会。为什么会有这样的限制？这是否解决了我目前无法想到的特定歧义。

EDIT1 从 REPL 添加代码 sn-p

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)

每种情况下的分辨率有何不同。 更重要的是，当我映射而不是 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 现在能够正确推断类型。