Scala 的 for 推导式：重要特征还是语法糖？

Question

当我第一次开始研究 Scala 时，我喜欢 for 推导式的外观。它们似乎有点像我在 Java 5 中习惯的 foreach 循环，但有功能限制和很多漂亮的语法。

但当我吸收了 Scala 风格后，我发现每次我可以使用 for 压缩时，我都会使用 map、flatMap、filter、reduce 和 foreach 来代替。这样，代码的意图对我来说似乎更清晰，潜在的隐藏惊喜更少，而且它们通常也更短的代码。

据我所知，for 理解总是被编译成这些方法，所以我想知道：它们实际上是用来做什么的？我是否错过了一些功能性的重新评估（这不是第一次）？ for 理解是否可以做其他功能不能做的事情，或者至少会笨拙得多？它们在特定用例下表现出色吗？这真的只是个人品味问题吗？

Answer 1

请参阅此问题。简而言之，for 推导式可以更具可读性。特别是，如果您有许多嵌套生成器，则您所做的实际范围会变得更加清晰，并且不需要巨大的缩进。

Answer 2

for 理解的另一个重要用途是用于内部 DSL。 ScalaQL 就是一个很好的例子。它可以把这个变成

val underAge = for { 
  p <- Person 
  c <- Company 
  if p.company is c 
  if p.age < 14 
} yield p 

这个

SELECT p.* FROM people p JOIN companies c ON p.company_id = c.id WHERE p.age < 14 

，甚至更多。

Answer 3

for 推导式是语法糖，但这并不意味着它们不重要。它们通常比扩展形式更简洁，这很好，但也许更重要的是它们帮助命令式语言的程序员使用函数式构造。

当我第一次开始使用 Scala 时，我经常使用 for 推导式，因为它们很熟悉。然后我几乎完全停止了，因为我觉得使用底层方法更明确，因此更清晰。现在我又回到使用 for 理解，因为我认为它们更好地表达了我正在做的事情的意图，而不是做事的手段。

Answer 4

在某些情况下，推导式可以更好地表达意图，因此当它们这样做时，请使用它们。

另请注意，使用 for 推导式，您可以免费获得模式匹配。例如，使用 for 理解式迭代 Map 比使用

简单得多： for ((key, value) <- map) println (key + "-->" + value)：

foreach

map foreach { case (key, value) =>; println(键+“-->”+值)}

Answer 5

你是对的。 for 理解是语法糖。我相信一旦你习惯了它们，底层的方法就会更简洁、更容易阅读。

比较以下等效语句：

1. for (i <- 1 to 100; if (i % 3 == 0)) yield Math.pow(i, 2)
2. (1 to 100).filter(_ % 3 == 0).map(Math.pow(_, 2))

在我看来，#1 中添加分号分散了人们对这是一个单链语句的感觉。还有一种感觉是 i 是一个 var（是 1，还是 99，还是介于两者之间的值？），这有损于其他函数式风格。

选项 2 显然是对对象的一系列方法调用。链条中的每个环节都明确说明其责任。没有中间变量。

也许包含推导式是为了方便开发人员从 Java 过渡。无论如何，选择哪一个取决于风格和偏好。