Question

考虑这个Map[String, Any]：

val m1 = Map(("k1" -> "v1"), ("k2" -> 10))

现在让我们写一个for：

scala> for ((a, b) <- m1) println(a + b)
k1v1
k210

到目前为止一切顺利。

现在让我们指定第二个成员的类型：

scala> for ((a, b: String) <- m1) println(a + b)
k1v1

scala> for ((a, b: Integer) <- m1) println(a + b)
k210

在这里，当我指定一个类型时，会发生过滤，这很棒。

现在说我想使用数组[Any]代替：

val l1 = Array("a", 2)

在这里，事情破裂了：

scala> for (v: String <- l1) println(v)
<console>:7: error: type mismatch;
 found   : (String) => Unit
 required: (Any) => ?

我的双重问题是：

为什么第二个匹配过滤器也没有？
有没有办法在第二种情况下表达这种过滤而不使用脏isInstanceOf？

Answer 1

嗯，后一个例子不起作用，因为它没有规定。关于什么是合理的行为有一些讨论。就个人而言，我希望它能像你一样工作。问题是：

val v: String = (10: Any) // is a compile error
(10: Any) match {
    case v: String =>
} // throws an exception

如果您不相信，请加入club。 :-)这是一个解决方法：

for (va @ (v: String) <- l1) println(v)

Answer 2

为了清晰起见，特定行为的主要原因是我们希望鼓励人们添加类型注释。如果在理解中，它们可能会成为非常昂贵的过滤操作，这是我们想要避免的陷阱。但是，我同意我们应该更容易指定某些东西是一种模式。可能一对parens就足够了。

val x: String = y       // type check, can fail at compile time
val (x: String) = y     // pattern match, can fail at run time

for (x: String <- ys)   // type check, can fail at compile time
for ((x: String) <- ys) // pattern match, can filter at run time

为什么在理解中这两种模式匹配之间的行为存在差异？

2 个答案: