Scala：对于无案例的`for`模式匹配中的奇怪行为

发布时间：2020-12-16 19:08:01 所属栏目：安全来源：网络整理

导读：循环模式匹配中的奇怪行为： scala val a = Seq(Some(1),None)a: Seq[Option[Int]] = List(Some(1),None)scala for (Some(x) - a) { println(x) }1scala for (None - a) { println("none") }nonenone 为什么在第二个例子中产生两个输出’none’？也许这个例

循环模式匹配中的奇怪行为：

scala> val a = Seq(Some(1),None)
a: Seq[Option[Int]] = List(Some(1),None)

scala> for (Some(x) <- a) { println(x) }
1

scala> for (None <- a) { println("none") }
none
none

为什么在第二个例子中产生两个输出’none’？也许这个例子是合成的,不实用,但这种行为是不可预期的.这个bug还是功能？

解决方法

你知道什么,这是一个bug：

https://issues.scala-lang.org/browse/SI-9324

scala> val vs = Seq(Some(1),None)
vs: Seq[Option[Int]] = List(Some(1),None)

scala> for (n @ None <- vs) println(n)
None

丑陋的规范：

http://www.scala-lang.org/files/archive/spec/2.11/06-expressions.html#for-comprehensions-and-for-loops

比较中途分配,没有出现错误：

scala> for (v <- vs; None = v) println(v)
scala.MatchError: Some(1) (of class scala.Some)
  at $anonfun$1.apply(<console>:9)
  at $anonfun$1.apply(<console>:9)
  at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:245)
  at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:245)
  at scala.collection.immutable.List.foreach(List.scala:381)
  at scala.collection.TraversableLike$class.map(TraversableLike.scala:245)
  at scala.collection.immutable.List.map(List.scala:285)
  ... 33 elided

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!