scala 关键字优先级

Question

scala 中如何定义“关键字优先级”？

考虑这段代码：

for(i <- 1 to 10) yield i

这没关系，我得到一个从 1 到 10 的 Seq，但是当我尝试立即匹配时：

for(i <- 1 to 10) yield i match {case x => x.head}

出现编译错误：error: value head is not Int 的成员。

我可以将 for ... yield 括在括号中以赋予其优先级：

{for(i <- 1 to 10) yield i} match {case x => x.head}

但我仍然想知道第二个示例代码是如何解释的。我希望第二个示例也能正常工作，而无需用括号括起来。

任何人都可以向我解释它或指出我在规范中的正确章节吗？

Answer 1

第二个示例解释为：

for(i <- 1 to 10) yield { i match {case x => x.head} } // won't compile

for 的近似语法如下：

for (Enumerators) yield Expr

Since i match { case x => x.head } 解析为有效的表达式（令牌明智），这就是编译器将如何看待它。因此，如果 Expr 看起来像一个表达式，那么它就会被处理。根据这个推理，以下语句是有效的：

for(i <- 1 to 10) yield for(j <- 1 to 2) yield (i, j)
for(i <- 1 to 10) yield if (i % 2 == 0) 'a' else 'b'
for(i <- 1 to 10) yield try { 1 / (i - 5) } catch { case _ => }

并且它们都等同于

for(i <- 1 to 10) yield { for(j <- 1 to 2) yield (i, j) }
for(i <- 1 to 10) yield { if (i % 2 == 0) 'a' else 'b' }
for(i <- 1 to 10) yield { try { 1 / (i - 5) } catch { case _ => } }

注意：Scala 语言规范可用 这里（第一个链接）。相关部分位于 A 章（Scala 语法摘要）的第 161 页。