scala - 为什么 Scala 支持多名称定义以及为每个定义计算的表达式？

Question

对于大多数语言，我不会问“他们为什么这样做 X？”因为它通常基于意见。

对于像 C++ 这样的语言，通常的答案是引用一些规范，只能说有人在做出特定选择之前可能经过深思熟虑(但本可以做出不同的选择)。

Scala 是不同的 - 通常答案是指出您可以根据一些更简单的结构 Y 和 Z 来考虑 X，因此在这种情况下，X 的公式是有意义的。

既然如此，我会问为什么 Scala 允许引入多个名称并为每个名称计算一次给定表达式的定义？

如果您让 Java 程序员猜测这里会发生什么，他们可能会猜错:

var x, y, z = 3

即他们猜测只有 z 被分配了一个值。

如果您解释了 val，然后告诉他们以下内容是合法的:

val x, y, z = 3

然后他们可能会猜测更多正在发生，因为显然 x 和 y 必须在此行之后有值，因为以后不能为它们分配不同的值。

他们可能会假设 x 和 y 为其类型采用默认值，例如0 表示整数，但由于这里没有明确的类型，所以这是一个飞跃。

他们可能会假设它被处理为:

val z = 3
val x = z
val y = z

当 = 左边的表达式产生原始值或不可变对象(immutable对象)时，这并不重要。但以下内容可能会让他们怀疑:

val x, y, z = new StringBuilder

为什么有人要为同一个 StringBuilder 实例引入三个名称？

如果您向他们展示以下内容，他们可能会从构造中猜出在他们运行代码之前发生了一些奇怪的事情:

var i = 0

def f: Int = {
  i += 1
  println(i)
  i
}

val x, y, z = f

人们最终意识到，看起来只与 z 相关联的表达式实际上对每个名称都求值一次，即上面的等价于:

val x = f
val y = f
val z = f

那么，谈论习惯了另一种语言的程序员可能会怎么想，是不是很有趣？

嗯，大多数人都是从其他地方接触到像 Scala 这样的语言的，因此在某种程度上，除非有充分的理由，否则应该避免可能造成混淆的结构。

乍一看，这个功能似乎并没有提供太多，它避免了你必须重复自己，但是为了这么小的 yield 添加这个相当困惑的语法糖似乎很奇怪。

那么在某些情况下它会带来真正的好处吗？或者这里没有真正的收获，但是例如我们与其他地方建立的更广泛的模式保持某种逻辑一致性？

Answer 1

有一个案例使用了这个令人惊讶的特性:当定义一个 scala.Enumeration 时:

object Weekday extends scala.Enumeration {
  val Monday, Tuesday, Wednesday, Thursday, Friday = Value
}

它调用 Value(从 Enumeration 继承的 def)5 次，每个枚举字段一次。实际上，这会为每个字段分配一个新的 Enumeration#Value 实例，这显然是使枚举有用所需要的。

如果没有这个多任务功能，你将不得不写:

object Weekday extends scala.Enumeration {
  val Monday = Value
  val Tuesday = Value
  val Wednesday = Value
  val Thursday = Value
  val Friday = Value
}

除了在 Enumeration 声明中，我从未见过在其他任何地方使用过多重赋值功能。

就语言设计而言，这是否是个好主意是一个主观问题，因此不适合讨论它。