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 a member of 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

由于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 语言规范可用here（第一个链接）。相关部分位于第 A 章（Scala 语法摘要）的第 161 页。