为什么可以在REPL中声明具有相同名称的变量？

Question

scala> val hi = "Hello \"e"
hi: String = Hello "e


scala> val hi = "go"
hi: String = go

在同一个REPL会话中,为什么它允许我声明具有相同名称的变量hi？

scala> hi
res1: String = go

scala> hi="new"
<console>:8: error: reassignment to val
   hi="new"
     ^

这个错误我明白我们不能重新分配val

Answer 1

REPL的有趣设计特征是您的两个定义被翻译为:

object A {
  val greeting = "hi"
}
object B {
  val greeting = "bye"
}

后续用法将导入最后一个定义:

object C {
  import B.greeting
  val message = s"$greeting, Bob."  // your code
}

您可以通过以下方式见证确切的包装策略scala -Xprint:parser:

object $iw extends scala.AnyRef {
  def <init>() = {
    super.<init>();
    ()
  };
  import $line4.$read.$iw.$iw.greeting;
  object $iw extends scala.AnyRef {
    def <init>() = {
      super.<init>();
      ()
    };
    val message = StringContext("", ", Bob.").s(greeting)
  }
}

Answer 2

在第一段代码中，我相信这是 REPL 的一个“功能”，允许您重新定义hi. 假设您正在 REPL 中构建一小段代码，那么返回并更改先前的定义可能会有所帮助，而无需重写其他定义以使用不同的值。

error: x is already defined as value x下面的代码在编译时会报错scalac。

class Foo{
  val x = "foo"
  val x = "foo"
}

在第二段代码中，您尝试重新分配val无法更改的值。这就是您所期望的。